Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lee mas
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lee mas
Automated Machine Learning
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Lee mas
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee mas
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 ...
Lee masAutomatic 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 ...
Lee mas
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, ...
Lee mas
Automotive Production Systems and Standardisation
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...
Lee mas
Autonomous Intelligent Systems: Agents and Data Mining
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Autotuning of PID Controllers
Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective ...
Lee mas
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 ...
Lee mas
Bargaining Power Effects in Financial Contracting
The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...
Lee mas
Barriers and Biases in Computer-Mediated Knowledge Communication
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...
Lee mas
