Wilfried Brauer - Böcker

Automatentheorie

Eine Einführung in die Theorie endlicher Automaten

Automata, Languages and Programming

12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings

Petri Nets: Central Models and Their Properties

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

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

Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency

Wissensbasierte Systeme

2. Internationaler GI-Kongreß München, 20./21. Oktober 1987

Spatial Cognition III

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

Formal and Natural Computing

Essays Dedicated to Grzegorz Rozenberg

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

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

Wissensbasierte Systeme

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

Logic and Algebra of Specification

KI-95: Advances in Artificial Intelligence

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

Studien- und Forschungsführer Informatik

Wissenschaftliche Hochschulen und Forschungseinrichtungen

Spatial Cognition II

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

Logic and Algebra of Specification