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 ...
اقرأ المزيد