Wilfried Brauer

Helmut Schwichtenberg

Friedrich L. Bauer

For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become practical for commercial use, where, in particular, more powerful specification tools are needed for concurrent and distributed systems. This volume contains papers based on lectures by leading researchers which were originally given at an international summer school held in Marktoberdorf in 1991. The papers aim to give a foundation for combining logic and algebra for the purposes of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Logic and Algebra of Specification

Grzegorz Rozenberg

Wolfgang Reisig

Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

Advances in Petri Nets, 1986

Franz Stetter

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. Die absehbare technische Weiterentwicklung des Computers in der Hardware und der Software öffnet der Ausbildung viele Wege in die Zukunft. Dies belegt eindrucksvoll der Themenkatalog der Tagung: Ausbildung an allgemeinen und berufsbildenden Schulen, betriebliche Ausbildung, Netze und Telekommunikation, Computer-unterstütztes Lernen und Anwenden im Schulunterricht.

GI-Fachtagung, München, 15.–17. November 1989 Proceedings

Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung

C. Freksa

Content Description #Dedicated to Wilfried Brauer.#Includes bibliographical references and index.

Potential-Theory-Cognition

Foundations of Computer Science

3. Jahrestagung Hamburg, 8.–10. Oktober 1973

GI Gesellschaft für Informatik e. V.

Christian Freksa

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. Ein wichtiges Ziel ist dabei, auf das große Potential an Anwendungsmöglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, natürlichsprachliche Systeme und Konnektionismus. Einen großen Raum nimmt die Präsentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europäische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und mögliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.

3. Internationaler GI-Kongreß München, 16.–17. Oktober 1989 Proceedings

Wissensbasierte Systeme

Christopher Habel

Karl F. Wender

This book constitutes the second volume documenting the results achieved within a priority program on spatial cognition by the German Science Foundation (DFG). The 28 revised full papers presented were carefully reviewed and reflect the increased interdisciplinary cooperation in the area. The book is divided into sections on maps and diagrams, motion and spatial reference, spatial relations and spatial inference, navigation in real and virtual spaces, and spatial memory.

Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications

Spatial Cognition II

Hartmut Ehrig

Juhani Karhumäki

Arto K. Salomaa

This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and self-assembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students.

Essays Dedicated to Grzegorz Rozenberg

Formal and Natural Computing

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.

Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Petri Nets: Central Models and Their Properties

This third volume documents the results achieved within a priority program on spatial cognition funded by the German Science Foundation (DFG). The 23 revised full papers presented went through two rounds of reviewing and improvement and reflect the increased interdisciplinary cooperation in the area. The papers are organized in topical sections on routes and navigation, human memory and learning, spatial representation, and spatial reasoning.

Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning

Spatial Cognition III

Ipke Wachsmuth

Claus Rollinger

This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.

19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings

KI-95: Advances in Artificial Intelligence

Fuzzy-Neuro Systems '98 - Computational Intelligence

Siegfried Münch

Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der in Zusammenarbeit mit der Gesellschaft für Informatik, dem Fakultätentag Informatik und der Hochschulrektorenkonferenz herausgegeben wird, informiert erstmals auch über das Informatik-Studium in den neuen Bundesländern. Das Buch stellt das Hauptfachstudium Informatik an Universitäten dar und gibt eine detaillierte Übersicht über die Studienpläne der einzelnen Hochschulen. Darüber hinaus beschreibt es Forschungsprojekte an Universitäten und außeruniversitären Forschungszentren und die Studienmöglichkeiten für Informatik als Nebenfach sowie für Wirtschaftsinformatik, Rechts- und Verwaltungsinformatik, Medizininformatik und Technische Informatik.

Wissenschaftliche Hochschulen und Forschungseinrichtungen

Studien- und Forschungsführer Informatik

Wilfried Brauer

About

Books

Join the club