Many of problems of the natural sciences lead to nonlinear partial differential equations. However, only a few of them have ...
Lee mas
Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the ...
Lee mas
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...
Lee mas
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...
Lee mas
This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of ...
Lee mas
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lee mas
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lee mas
Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. ...
Lee mas
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lee mas
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
Lee mas
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lee masThis book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...
Lee mas
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Lee mas
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
Lee mas
The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...
Lee mas