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.
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.
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.
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).
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982.
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "e;Systemes Paralleles et Distribues"e; and the Gl Special Interest Group "e;Petrinetze und verwandte Systemmodelle"e;, Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981.
Die Fachtagungen, die der Fachausschuß 2 PROGRAMMIERSPRACH~N der Gesellschaft für Informatik*) seit 1971 regelmäßig, nunmehr zum sechsten Mal, veranstaltet und in Ta gungsbänden dokumentiert, geben Zeugnis von dem jeweiligen Selbst-Verständnis des Faches PROGRAMMIERSPRACHEN, zumindest aus der Sicht einiger seiner Repräsentanten und der Vortragenden.
"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "e;Software for Parallel Computation"e; held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992.
