This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. Meer
Message from the Steering Chair It was my pleasure to welcome attendees to the 10th International Conference on High-Performance Computing and to Hyderabad, an emerging center of IT activities in India. Meer
The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6–8, 2004. Meer
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. Meer
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der digitalen Informationsverarbeitung, die z. Meer
Die zunehmende Leistungsfähigkeit mobiler Endgeräte (z.B. PDAs, Smartcards) erlaubt den effizienten Einsatz mobiler Datenbanktechnologie im Rahmen einer umfassenden Integration mobiler Anwendungen in bestehende heterogene Systeme. Meer
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. Meer
In the mathematical description of a physical or biological process, it is a common practice \0 assume that the future behavior of Ihe process considered depends only on the present slate, and therefore can be described by a finite sct of ordinary diffe rential equations. Meer
This volume contains the research reports of the Discovery Science pro ject in Japan (No. 10143106),in which more than 60 scientists participated. It was a three-year pro ject sponsored by Grant-in-Aid for Scienti? Meer
Machine Learning has become a key enabling technology for many engineering applications and theoretical problems alike. To further discussions and to dis- minate new results, a Summer School was held on February 11–22, 2002 at the Australian National University. Meer
Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti? Meer
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. Meer
M-Commerce (MC) als neue Ausprägung des E-Commerce entsteht durch die Konvergenz von Internet- und Mobilfunk-Technologie. Das Buch vermittelt Studenten und Praktikern, insbesondere Entscheidungsträgern, auf strukturierte und praxisorientierte Weise ein MC-Basiswissen aus der Sicht des Wirtschaftsinformatikers. Meer
The second Privacy Enhancing Technologies workshop (PET2002), held April 14–15, 2002 in San Francisco, California, continued the enthusiasm and quality of the ? Meer
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Meer
Mit Hilfe dieses Buches lassen sich zuverlässige, wartbare und portable Programme entwickeln. Dabei unterstützen vollständige Programmbeispiele und Übungen mit Musterlösungen. Meer
Performance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Meer
The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Meer
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th International Conference on Ubiquitous Intelligence and Computing. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books