Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيد
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
اقرأ المزيد
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
اقرأ المزيد
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
اقرأ المزيد
Computer Vision - ECCV 2002
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3951)
The papers are organized in topical sections on recognition, statistical models and visual learning, 3D reconstruction and ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3952)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3953)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Computer Vision -- ECCV 2006 (vol. # 3954)
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
اقرأ المزيد
Computer Vision : Algorithms and Applications / Richard Szeliski
Explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications ...
اقرأ المزيدComputer Vision and Internet of Things : Technologies and Applications / Lavanya Sharma, Mukesh Carpenter
Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...
اقرأ المزيد
Computer Vision for Biomedical Image Applications
The purpose of this book is to submit the workshop, “Computer Vision for Biomedical Image Applications: Current Techniques ...
اقرأ المزيد
Computer and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...
اقرأ المزيد
Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدComputing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
اقرأ المزيد
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
اقرأ المزيد
