Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983
Theoretical Computer Science 5th GI-Conference Karlsruhe, March 23-25, 1981
A Basis for Theoretical Computer Science (Monographs in Computer Science)
Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975 (Lecture Notes in Computer Science, 33) (English, German and French Edition)
GI - 3. Jahrestagung Gesellschaft für Informatik e.V. 3. Jahrestagung Hamburg, 8.-10. Oktober 1973. Proceedings
Pictorial Information Systems (Lecture Notes in Computer Science, 80)
Theoretische Informatik #NAME?
Rechnerstrukturen und Betriebsprogrammierung: GI - Gesellschaft für Informatik e.V., Erlangen, 1970 (Lecture Notes in Computer Science, 13)
Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976 (Lecture Notes in Computer Science, 57)
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)