Electronic Books

Total Books: 241 - 260 /1636

Asymptotics for Dissipative Nonlinear Equations

Many of problems of the natural sciences lead to nonlinear partial differential equations. However, only a few of them have ...

Atmospheric Icing of Power Networks

Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the ...

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint

The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint

The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...

Augmented Humanity Being and Remaining Agentic in a Digitalized World

This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of ...

Augmented Reality, Virtual Reality, and Computer Graphics

he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...

Augmented Reality, Virtual Reality, and Computer Graphics

The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...

Aulton's Pharmaceutics : The Design and Manufacture of Medicines / Kevin Taylor, Michael Aulton

Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. ...

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

Automated Nanohandling by Microrobots

Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Autonomes Fahren : Technische, rechtliche und gesellschaftliche Aspekte = Autonomous Driving : Technical, Legal and Societal Aspects

This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Autonomous Intelligent Systems: Agents and Data Mining

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

Autonomous Navigation in Dynamic Environments

The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...

Total Books: 241 - 260 /1636