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 ...
اقرأ المزيد
The uniquely beautiful light display of an aurora is the result of charged particles colliding with tenuous atmospheric oxygen ...
اقرأ المزيد
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the ...
اقرأ المزيد
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
اقرأ المزيد
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
اقرأ المزيدSearching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...
اقرأ المزيد
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
اقرأ المزيدThis book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...
اقرأ المزيد
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
اقرأ المزيد
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
اقرأ المزيد
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
اقرأ المزيد
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
اقرأ المزيد
Autonomy in the Law considers one of the most important benefits of the rule of law. Juxtaposing European and American conceptions ...
اقرأ المزيد
Autonomy and Human Rights in Healthcare: An International Perspective is a group of essays published in memory of David Thomasma, ...
اقرأ المزيد