Electronic Books

Total Books: 461 - 480 /3254

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 idea for this book emerged from a conversation between Vivian Forbes and Charles Eaton following two seminars held in ...

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 ...

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 includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...

The autonomic communication paradigm has been defined mainly through the Autonomic Communications Forum (ACF) and particularly ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...

We are living in the age of the superhero and we cannot deny it. 'Avengers Assemble!' is a vibrant and theoretically informed ...

The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems ...

This book provides a view into the state-of-the-art research on aviation noise and related annoyance. The book will primarily ...

Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...

The aim of this study is to contribute to this understanding by answering the following questions: How do banks adjust capital ...

This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...

Total Books: 461 - 480 /3254