Electronic Books

Total Books: 1101 - 1120 /9857

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...

Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

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

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

Our project would give anyone who would like to start an E-business to Customize their app and generate their own E-market ...

Searching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...

Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...

Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

Total Books: 1101 - 1120 /9857