The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988.
The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to stand their questions, criticism and suggestions.
Die Gestaltung von Informationssystemen, ihre Organisation und ihr Betrieb, werden angesichts komplexerer Anforderungen und heterogener Betriebsmittel immer problematischer.
Die Fachtagung "Kommunikation in verteilten Systemen" hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten Systemen und den zugehörigen Kommunikationsaspekten zu vermitteln.
Bringing together scientists from the various disciplines of chemistry who are actively engaged in developing software and using computers to solve their problems was the main objective of the 5th workshop "e;Computers in Chemistry"e; (November 21-23, 1990) held in Oldenburg.
This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.
Gastroenterology is one of the branches of medicine that can profit most from modem technology, whether this involves the advances in diagnostic instrumentation, in data and image processing and management, or in computer applications like expert systems.
Die Beiträge dieses Tagungsbands befassen sich aus der Sicht der Linguistischen Datenverarbeitung und ihrer benachbarten Disziplinen mit den Interaktionsmöglichkeiten zwischen Mensch und Computer.
Internetzwerke, bestehend aus miteinander gekoppelten lokalen und öffentlichen Datennetzen (LAN, WAN), sowie Methoden und Werkzeuge für ihre Entwurfsplanung und Leistungsoptimierung sind die zentralen Themen dieser Monographie.
Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet.
This volume contains the full text of twenty-six of the thirty-one papers given at the Montreux 1989 International Chemical Information Conference in Montreux, Switzerland between 26 and 28 September 1989.
Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft für Informatik und dem Institut für Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde.
Bringing together scientists from the various disciplines of chemistry who are actively engaged in developing software and using computers to solve their problems was the main objective of the 4th workshop 'Computers in Chemistry' (November 22-24, 1989) held in Hochfilzen, Tyrol.
Numerical linear algebra, digital signal processing, and parallel algorithms are three disciplines with a great deal of activity in the last few years.
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren.
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen.
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.
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.
Das Buch stellt den Entwurf einer modularen Architektur für Datenbanksysteme vor, die den Einsatz verschiedener Verfahren für entsprechende Teilaufgaben gestattet.
