Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suitePart I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lire la suiteA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suiteA Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteThis volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suiteThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lire la suiteOne of the next challenges in vehicular technology field is to improve drastically the road safety. Current developments ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...
Lire la suiteAddition Reactions with Unsaturated Hydrocarbons presents an up-to-date overview of modern methods that utilize reactions ...
Lire la suiteThe chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with ...
Lire la suiteThis book brings together a collection of cutting-edge insights into how action can and is already being taken against climate ...
Lire la suiteAs a web designer or developer, you know how powerful DOM scripting is for enhancing web pages and applications, adding dynamic ...
Lire la suiteThis book presents some of the most recent research results on the applications of computational intelligence in healthcare. ...
Lire la suiteThis volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Advanced Concepts for Intelligent ...
Lire la suiteThis book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, ...
Lire la suite