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
Von der programmiersprachenunabhängigen Objektdefinitionssprache ODL über die C++-basierte Objektmanipulationssprache OML bis zur Anfragesprache OQL und ihrer C++-Anbindung C++-OQL finden Sie alles Wissenswerte. Meer
Dieser Band enthält die Unterrichtsmaterialien zur KIFS-89, der siebten in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 von dem Fachausschuß 1. Meer
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1. Meer
the outcome of a NATO Advanced Research Workshop (ARW) This book is held in Neuss (near Dusseldorf), Federal Republic of Germany from 28 September to 2 October, 1987. Meer
Dieser Informatik-Fachbericht ist der Tagungsband der 6. ITG/GI-Fachtagung "Kommunikation in verteilten Systemen", Stuttgart, 22.-24.2.1989, in einer in zweijährigem Turnus stattfindenden Tagungsreihe. Meer
In den letzten Jahren haben neue Anwendungen und Einsatzgebiete im Bereich der Datenbankverwaltung zahlreiche neuartige Forschungsprobleme und Entwicklungsaufgaben hervorgebracht. Meer
This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunications. Meer
In der vorliegenden Arbeit werden die Einsatzmöglichkeiten approximativer Verfahren für Public-Key-Kryptosysteme untersucht. Dazu werden in einer allgemeinverständlichen Einleitung die notwendigen Grundlagen erarbeitet. Meer
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the First Australiasian Conference on Information Security and Privacy, ACISP '96, held in Wollongong, NSW, Australia, in June 1996. Meer
This book presents the theoretical aspects and practical development of a computer vision system for searching an image for a specified model object; this system is reliable, tolerates imperfections in the image and model, and is fast enough for real-world applications. Meer
This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '96, held in Milovy, Czech Republic, in November 1996. Meer
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Information Hiding, held in Cambridge, UK, in May/June 1996, within the research programme in computer security, cryptology and coding theory organized by the volume editor at the Isaac Newton Institute in Cambridge. Meer
This monograph presents a comprehensive state-of-the-art survey on approaches to the design of intelligent agents. On the theoretical side, the author identifies a set of general requirements for autonomous interacting agents and provides an essential step towards understanding the principles of intelligent agents. Meer
This is an exciting time for Artificial Intelligence, and for Natural Language Processing in particular. Over the last five years or so, a newly revived spirit has gained prominence that promises to revitalize the whole field: the spirit of empiricism. Meer
This book constitutes the refereed proceedings of the 6th International Workshop on Discrete Geometry for Computer Imagery, DGCI'96, held in Lyon, France, in November 1996. Meer
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. Meer
This monograph constitutes the final report of the EC-sponsored PRISM project, which was devoted to communications management for integrated broadband communications (IBC) within the RACE program. Meer
Evolutionary algorithms are general-purpose search procedures based on the mechanisms of natural selection and population genetics. They are appealing because they are simple, easy to interface, and easy to extend. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
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