he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suiteThe 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suiteThe idea for this book emerged from a conversation between Vivian Forbes and Charles Eaton following two seminars held in ...
Lire la suiteThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suiteThis book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Lire la suiteComputer 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 suiteEnterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
Lire la suiteThis book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...
Lire la suiteThe autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...
Lire la suiteThis book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Lire la suiteAvalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...
Lire la suiteWe are living in the age of the superhero and we cannot deny it. 'Avengers Assemble!' is a vibrant and theoretically informed ...
Lire la suiteThe 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 suiteAxions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...
Lire la suiteThe aim of this study is to contribute to this understanding by answering the following questions: How do banks adjust capital ...
Lire la suiteThis handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...
Lire la suite