This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to… Meer
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach… Meer
Performance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer… Meer
This volume presents the proceedings of the Fifth Annual Symposium on Combinatorial Pattern Matching, held at Asilomar, California, in June 1994. The 26 selected papers in this volume are organized in chapters on Alignments, Various Matchings, Combinatorial Aspects, and Bio-Informatics… Meer
Human and animal vision systems have been driven by the pressures of evolution to become capable of perceiving and reacting to their environments as close to instantaneously as possible. Casting such a goal of reactive vision into the framework of existing technology necessitates an artificial… Meer
This book reports research conducted in the ESPRIT project PECOS, which investigated the requirements for effective CSCW (Computer Supported Cooperative Work) with special reference to cooperation among organisations in large projects… Meer
Neueste Marktanalysen besagen, da~ weltweit mehr als zehn Millionen PersonalComputer mit dem Betriebssystem MS-DOS arbeiten. Trotz dieser weiten Verbreitung werden zunehmend die Schw{chen und Beschr{nkungen von MS-DOS deutlich… Meer
Dieser Überblick über die wichtigsten Verfahren zur Integration von Grafiken in TeX-Dokumente unterstützt den Leser sowohl bei der Entscheidung für ein geeignetes Verfahren als auch bei der praktischen Arbeit mit TeX/LaTeX. Meer
Eine empirische Analyse bislang entwickelter juristischer Expertensysteme macht deutlich, da~ der Einsatz von Computern den Bed}rfnissen juristischer Anwender nicht gerecht wird. Das starke Mi~verh{ltnis zwischen erwarteter und tats{chlicher Leistung eines solchen Systems wie auch verschiedene… Meer
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of… Meer
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994… Meer
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software… Meer
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. The focus of this work is on the issue of availability in distributed file systems… Meer
Genetic algorithms are founded upon the principle of evolution, i.e., survival of the fittest. Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, such as optimization of functions with linear and nonlinear constraints, the… Meer
Zum fünften Male wird die Fachtagung "Informatik und Schule" vom Fachbereich 7 "Ausbildung und Schule" der Gesellschart für Informatik durchgeführt, dieses Mai in Kooperation mit dem Fachbereich Informatik der Universität Koblenz-Landau… Meer
This book constitutes the refereed proceedings of the International Conference 'Cryptography: Policy and Algorithms', held in Brisbane, Queensland, Australia in July 1995. Over the past few years, issues relating to cryptography policy have made headline news, particularly those concerned with the… Meer
This volume includes revised final versions of the best papers presented at the fourth European Workshop on Natural Language Generation, EWNLG '93, held in Pisa, Italy in April 1993. Out of the 35 papers accepted for presentation at the workshop, 19 were selected for publication in this book… Meer
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of… Meer
The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design… Meer
The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency… 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
