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 ...
اقرأ المزيد
3-D Computer Vision. Principles, Algorithms and Applications / Yu-Jin Zhang
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
اقرأ المزيد
3D Imaging in Endodontics A New Era in Diagnosis and Treatment / Mohamed Fayad, Bradford R. Johnson
Provides readers with a full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of ...
اقرأ المزيد
3D imaging in endodontics : a new era in diagnosis and treatment / Mohamed Fayad, Bradford R. Johnson
Full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of the most challenging problems ...
اقرأ المزيدA Climate of Justice: An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
اقرأ المزيد
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
اقرأ المزيد
ARIS Design Platform
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
اقرأ المزيد
ARIS Design Platform : Getting Started with BPM
Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...
اقرأ المزيد
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
اقرأ المزيد
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
اقرأ المزيد
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 ...
اقرأ المزيد
Advanced Information Systems Engineering
CAiSE 2007 was the 19th in the series of International Conferences on Advanced Information Systems Engineering. This year’s ...
اقرأ المزيد
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, ...
اقرأ المزيد
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding
This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
اقرأ المزيد
Advanced Studies in Biometrics
This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised ...
اقرأ المزيد
Advanced Trends in ICT for Innovative Business Management / Katarzyna Szymczyk
Contains a collection of scientific chapters addressing the emerging trends in IT and telecommunications, as well as the ...
اقرأ المزيد
Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
اقرأ المزيد
Advances in Biometric Person Authentication
the 5th Chinese Conference on Biometrics Recognition (Sinobiometrics 2004) The conference this year was aimed at promoting ...
اقرأ المزيد
