he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suite
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suite
The idea for this book emerged from a conversation between Vivian Forbes and Charles Eaton following two seminars held in ...
Lire la suite
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suite
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Lire la suite
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suite
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Lire la suite
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Lire la suiteSearching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...
Lire la suite
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
Lire la suite
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...
Lire la suite
The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...
Lire la suite
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Lire la suite
Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...
Lire la suite
We are living in the age of the superhero and we cannot deny it. 'Avengers Assemble!' is a vibrant and theoretically informed ...
Lire la suite
The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems ...
Lire la suiteThis book provides a view into the state-of-the-art research on aviation noise and related annoyance. The book will primarily ...
Lire la suite
Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...
Lire la suite
The aim of this study is to contribute to this understanding by answering the following questions: How do banks adjust capital ...
Lire la suite
This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...
Lire la suite