Electronic Books

Total Books: 421 - 440 /2672

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 constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

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

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

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

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

The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...

The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...

Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective ...

Highlights some of the most exciting structures built in Barcelona since 2010, bringing readers on a guided tour of surprising ...

The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...

This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...

Total Books: 421 - 440 /2672