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