Dieser Band enthält die Beiträge zur AUSTROGRAPHICS '88, einer in zweijährigem Turnus durchgeführten deutschsprachigen Tagung über Graphische Datenverarbeitung.
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
In den letzten Jahren haben neue Anwendungen und Einsatzgebiete im Bereich der Datenbankverwaltung zahlreiche neuartige Forschungsprobleme und Entwicklungsaufgaben hervorgebracht.
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.
Based on a number of sample systems of varying complexity, this book illustrates the practical aspects of developing expert systems and knowledge-based applications software.
Baum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen von Entscheidungsbäumen eingesetzt.
About two years ago, while attending yet another international standards meeting, a few of the meeting participants were discussing the utility and applicability of the standards we were designing.
Das vorliegende Buch, das aus der Saarbrücker Dissertation des Verfassers entstanden ist, beschreibt ein konkretes System zur automatischen Generierung von Compilern.
Die in diesem Band zusammengestellten Beiträge einer Seminarreihe am Zentrum für Graphische Datenverarbeitung behandeln Schnittstellenproblematiken aus einem aktuellen Bereich der CAD-Anwendungen.
This volume and volume II HECTOR - Basic Projects present the results of HECTOR, the four-year cooperation from 1984-1988 between the University of Karlsruhe and IBM Germany.
The present volume and volume I "e;Hector: New Ways in Education and Research"e; present the results of HECTOR, the four year cooperation project between the Univer- sity of Karlsruhe and IBM Germany (represented by the European Networking Center and Scientific Center in Heidelberg as well as IBM Research in Riischlikon).
Eurographics, the European Association for Computer Graphics, has always been an important forum for discussions and presentation of results concerning the first ISO Graphical Standard, GKS (the Graphical Kernel System) and later of its three-dimensional extension, GKS-3D.
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, ließ sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschließlich der Programmierung erlangen würde.
Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool.
Raster graphics differs from the more traditional vector or line graphics in the sense that images are not made up from line segments but from discrete elements orderly arranged in a two-dimensional rectangular region.
This volume is a record of the Workshop on Window Management held at the Ruth- erford Appleton Laboratory's Cosener's House between 29 April and 1 May 1985.
