Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteOffers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
Lire la suiteThis book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
Lire la suiteThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suiteThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThe primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
Lire la suiteThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lire la suiteThis book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL ...
Lire la suiteThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Lire la suiteA first comprehensive study combining and integrating advertising, culture and translation within the framework of colonial, ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suiteThis book was assembled from numerous excerpts, notes, and fragments according to his initial plans. Zilberman’s legacy ...
Lire la suiteUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lire la suiteWhile the primary purpose of the book is a celebration of John’s contributions to the field of measurement, a second and ...
Lire la suiteThe book is unique in combining a challenging interpretation of one the foremost European conceptions of fundamental rights ...
Lire la suiteIt presents the normal appearances on the most frequently used imaging techniques, including conventional radiology, ultrasound, ...
Lire la suite