The three volume set LNAI 4251, LNAI 4252, and LNAI 4253 constitutes the refereed proceedings of the 10th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2006, held in Bournemouth, UK, in October 2006… Meer
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout the last few years. Especially in the climate of an increasingly competitive market Requirements Management helps in carrying out developments faster, cheaper and with a… Meer
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006… Meer
Auralization is the creation of audible acoustic sceneries from computer-generated data. The term "auralization" is to be understood as being analogue to the well-known technique of "visualization". In visual illustration of scenes, data or any other meaningful information, in movie animation and in… Meer
This book offers the foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly interdisciplinary problems. It presents the basic definitions and the methodological and theoretical basis of formalization and solution processes in various… Meer
This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. The 22 revised full papers presented together with 2 invited talks and 1 tutorial examine foundational and practical issues in… Meer
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2005, held in Utrecht, Netherlands, July 2005, in the context of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS… Meer
Parallelrechner-Architekturen zeigen den Weg zu hochleistungsfähigen, kostengünstigen Rechnerstrukturen. Um ihr Leistungspotential für möglichst breite Anwendungsbereiche einfach und wirkungsvoll nutzbar zu machen, müssen Rechnerarchitektur und Softwarearchitektur einschließlich der… Meer
Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature, proving the importance of the area and the broad range of its applications… Meer
Dieser Band ist der Bericht von einer Tagung zum Thema Verarbeitung natürlicher Sprache am Computer. Er enthält Lang- und Kurzbeiträge führender Wissenschaftler aus dem deutschsprachigen Raum sowie aus den USA… Meer
Der Band enthält die Beiträge zum 5. Symposium Simulationstechnik, das im September 1988 an der RWTH Aachen stattfand. Die Vorträge reflektieren den State-of-the-Art der Simulationstechnik in allen Anwendungsbereichen… Meer
Baum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen von Entscheidungsbäumen eingesetzt. Das vorliegende Buch befaßt sich mit Baum-Suchverfahren für eine spezielle Art von Entscheidungsbäumen, den Spielbäumen… Meer
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph… Meer
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands… Meer
Dieser Band enthält die Beiträge - darunter auch sechs eingeladene - zu einer Fachtagung, die der Fachausschuß 2.1 "Programmiersprachen und Software-Entwicklung" der Gesellschaft für Informatik in Zusammenarbeit mit der Universität Marburg vom 21. bis 23. Juni 1989 veranstaltet hat… Meer
This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential… Meer
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming… Meer
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315… Meer
Die Grundlagen der Expertensystemtechnik, der aktuelle technische Stand, ihre Einsatzgebiete, ihre Verbreitung im Bereich der industriellen Produktion und in Verwaltung und Büro und die absehbare Entwicklung werden in diesem Buch kritisch betrachtet… Meer
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für… 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
