Electronic Books

Total Books: 401 - 420 /1146

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 ...

Total Books: 401 - 420 /1146