Dieser Tagungsband des vierten Symposiums "Informatik im Umweltschutz" (Karlsruhe, 6.-8. November 1989) behandelt den Einsatz von Informatikmethoden in allen Bereichen des Umweltschutzes: Luft, Klima, Wasser, Abfall, Altlasten, Boden, Naturraum, Raumplanung, Pflanzen, Wald, Tiere… Meer
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems… Meer
In verteilten Systemen sind zwischen den Stellen Nachrichten auszutauschen. Die Zeiten, welche für diese Nachrichtentransporte benötigt werden, können dazu führen, daß Nachrich ten bereits veraltet sind, wenn sie interpretiert werden; dies kann den Wert der gewonnen Informationen mindern… Meer
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem… Meer
This textbook contains an easy-understandable introduction into the BASIC language, as well as the German DIN-Standard 66284 - Minimal BASIC. It presents a clear standardized BASIC fundament for undergraduate programming courses, for hobby and commerical BASIC programmers, free of implementa- tion… Meer
GWAI-85, die neunte deutsche Fachtagung Ober KOnstliche Intelligenz, fand yom 23. - 27. September 1985 in Dassel/Solling statt. Sie wurde von Ober 200 Teilnehmern besucht. Der vorliegende Band enthalt ausgewahlte Beitrage aus ver schiedenen Themenbereichen der KOnstlichen Intelligenz (KI), darunter… Meer
1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet… Meer
Die vorliegende Arbeit entspricht inhaltlich meiner im Oktober 1985 yom Fach bereich Informatik der Technischen Hochschule Darmstadt genehmigten Disserta tion. Eine Ubersicht tiber die Themenstellungen der einzelnen Kapitel findet sich im Abschnitt "Thema und Gliederung der Arbeit"… Meer
Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Their complexity is studied under various randomness assumptions… Meer
The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship… Meer
The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems… Meer
This volume contains revised versions of presentations at the International Workshop on Analogical and Inductive Inference (AII '86) held in Wendisch-Rietz, GDR, October 16-10, 1986. Inductive inference and analogical reasoning are two basic approaches to learning algorithms… Meer
The material presented in this book originates from the first Eurographics Workshop on Graphics Hardware, held in Lisbon, Portugal, in August 1986. Leading experts in the field present the state of their ongoing graphics hardware projects and give their individual views of future developments… Meer
Immer häufiger werden englische Begriffe in den deutschen Sprachgebrauch eingegliedert und zu schnell übernommen. Dies führt nicht selten zum Verlust des eigentlichen Sinngehalts und einer hieraus resultierenden mißbräuchlichen Verwendung des gewählten Begriffs… Meer
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research… 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
