Electronic Books

Total Books: 421 - 440 /2672

Automated Deduction – CADE-21

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

Automated Deduction – CADE-21

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

Automated Machine Learning

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

Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods

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

Automated Reasoning with Analytic Tableaux and Related Methods

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

Automated Reasoning with Analytic Tableaux and Related Methods

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

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automatic video editor / Naeem Alhomsi ; Yahea Najibeh ; Yasser Nourallah ; Ahmad Sukkar

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

Automation in Construction toward Resilience : Robotics, Smart Materials and Intelligent Systems / Ehsan Noroozinejad Farsangi, Mohammad Noori, Tony T.Y. Yang

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

Automotive Production Systems and Standardisation

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

Autonomous Intelligent Systems: Agents and Data Mining

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

Autonomous Navigation in Dynamic Environments

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

Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

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

Autotuning of PID Controllers

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

Barcelona : urban architecture and community since 2010 / Sandra Hofmeister, Heide Wessely

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

Bargaining Power Effects in Financial Contracting

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

Barriers and Biases in Computer-Mediated Knowledge Communication

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

Total Books: 421 - 440 /2672