This book constitutes the refereed proceedings of the joint 9th Asia-Pacific Web Conference, APWeb 2007, and the 8th International Conference on Web-Age Information Management, WAIM 2007, held in Huang Shan, China, June 2007. Meer
This book constitutes the thoroughly refereed post-proceedings of the joint International Workshops on Trading Agent Design and Analysis, TADA 2006, and on Agent Mediated Electronic Commerce, AMEC VIII 2006, held in Hakodate, Japan. Meer
This book constitutes the refereed proceedings of the 4th International Service Availability Symposium, ISAS 2007, held in Durham, NH, USA in May 2007. Meer
This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. Meer
Database and database systems have become an essential part of everyday life, such as in banking activities, online shopping, or reservations of airline tickets and hotels. Meer
Prominent international experts came together to present and debate the latest findings in the field at the 2007 International Workshop on Multimedia Content Analysis and Mining. Meer
This book presents a foundation for a broad class of mobile robot mapping and navigation methodologies for indoor, outdoor, and exploratory missions. It addresses the challenging problem of autonomous navigation in dynamic environments, presenting new ideas and approaches in this emerging technical domain. Meer
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Meer
The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. Meer
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Meer
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Meer
This volume constitutes the refereed proceedings of the International Workshop on Engineering Stochastic Local Search Algorithms. Inside the volume, readers will find twelve full papers as well as nine short papers. Meer
Das Betriebssystem UNIX· hat seit seiner Entwicklung in den spaten siebzi ger Jahren einen stetigen Aufschwung genommen. Dies ist nicht zuletzt der Vielfalt der unter UNIX angebotenen Werkzeuge und ihrer Kombinierbarkeit zu verdanken. Meer
Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. Meer
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. Meer
Seit 1986 trifft sich in Mannheim jährlich auf Einladung des Vereins zur wissenschaftlichen Weiterbildung der Universität Mannheim e.V. die deutschsprachige Supercomputergemeinde - Anwender, Betreiber, Hersteller - zu einem fruchtbaren Dialog und Erfahrungsaustausch. Meer
Dieser Band enthält eine vollständige Dokumentation über das wissenschaftliche Programm der 17. Jahrestagung der Deutschen Gesellschaft für Operations Research in Berlin. Meer
This book constitutes the refereed proceedings of the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada, in August 2007. Meer
Ausgewählte Beiträge zu aktuellen Themen: Das 20. Fachgespräch Autonome Mobile Systeme (AMS 2007) ist ein Forum für Wissenschaftler/innen aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten. Meer
This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007. 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