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