Electronic Books

Total Books: 401 - 420 /1146

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...

The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...

The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...

The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...

The papers are organized in topical sections on recognition, statistical models and visual learning, 3D reconstruction and ...

Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...

Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...

Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...

Explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications ...

Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...

The purpose of this book is to submit the workshop, “Computer Vision for Biomedical Image Applications: Current Techniques ...

The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...

Total Books: 401 - 420 /1146