Electronic Books

Total Books: 241 - 260 /1636

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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