Physikalische Experimente, die an Teilchenbeschleunigern durchgefiihrt werden, sind In den letzten Jahren zunehmend komplexer geworden. Dies ist in erster Linie der techno log is chen Entwicklung zu verdanken, die eine immer leistungsfahigere Infrastruktur wie Beschleuniger, Detektoren und Elektronik verfiigbar machte. Meer
This book constitutes the refereed proceedings of the 11th International Symposium on Methodologies for Intelligent Systems, ISMIS '99, held in Warsaw, Poland, in June 1999. Meer
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. Meer
WOPPLOT 86 - Workshop on Parallel Processing: Logic, Organization and Technology - gathered together experts from various fields for a broad overview of current trends in parallel processing. Meer
Der vorliegende Band enthält die Beiträge zur Fachtagung Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, die von der Fachgruppe EMISA der Gesellschaft für Informatik (GI) an der Universität Linz im Juli 1987 durchgeführt wurde. Meer
This volume comprises the Proceedings of the IFIP 7/2 Conference on Control Problems for Systems Described by Partial Differential Equations and Applications held at the University of Florida, Gainesville, Florida in February 1987. Meer
This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. Meer
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. Meer
Dieses Buch präsentiert einen neuen konzeptionellen Rahmen und primär graphische Ausdrucksmittel für die benutzerorientierte Beschreibung von Arbeitsorganisationen mit interaktivem Rechnereinsatz. Meer
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. Meer
Das Buch behandelt Kommunikationskonzepte, die auf die Verarbeitungsstrukturen und Interaktionsmuster verteilter transaktionsorientierter Systeme zugeschnitten sind. Meer
Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Meer
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten im Hochschulbereich und die Forschungsaktivitäten und -förderungsprogramme im öffentlichen und industriellen Bereich. Meer
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs. Meer
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. Meer
Diagnostisches Problemlösen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausführlichen Einführung in Expertensysteme werden aus Erfahrungen mit existierenden Diagnostik-Systemen und psychologischen Studien über medizinische Diagnostik Richtlinien zur Entwicklung von Werkzeugen (Shells) für heuristische Diagnostik abgeleitet. Meer
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. 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