25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A Computational Model of Natural Language Communication
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
اقرأ المزيد
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
اقرأ المزيدA Short Course in Soil–Structure Engineering of Deep Foundations, Excavations and Tunnels
A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
Abord Clinique des Urgences au Domicile du Patient = Emergency Clinic at the Patient's Home
The general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught ...
اقرأ المزيد
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيد
Abstraction, Reformulation and Approximation
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
اقرأ المزيد
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
اقرأ المزيد
Adaptive Cooperation between Driver and Assistant System : Improving Road Safety
One of the next challenges in vehicular technology field is to improve drastically the road safety. Current developments ...
اقرأ المزيد
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...
اقرأ المزيد
Addition Reactions with Unsaturated Hydrocarbons / Ruimao Hua
Addition Reactions with Unsaturated Hydrocarbons presents an up-to-date overview of modern methods that utilize reactions ...
اقرأ المزيد
Addressing Global Challenges and Quality Education
The chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with ...
اقرأ المزيدAddressing the Climate Crisis : Local action in theory and practice
This book brings together a collection of cutting-edge insights into how action can and is already being taken against climate ...
اقرأ المزيد
AdvancED DOM Scripting
As a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic ...
اقرأ المزيد
Advanced Computational Intelligence Paradigms in Healthcare
This book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...
اقرأ المزيد
Advanced Concepts for Intelligent Vision Systems
This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
اقرأ المزيد
Advanced Concepts for Intelligent Vision Systems : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent ...
اقرأ المزيد
Advanced Information Systems Engineering : 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
اقرأ المزيد
