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