Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975

Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

A Concurrent Pascal Compiler for Minicomputers

Current Trends in Concurrency: Overviews and Tutorials

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Algebraic Methods II: Theory, Tools and Applications

Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings

Computer Assisted Learning: 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings

Progress in Distributed Operating Systems and Distributed Systems Management: European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings

EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987. Proceedings

Graph-Theoretic Concepts in Computer Science: International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings

Advances in Petri Nets 1988

Graph-Theoretic Concepts in Computer Science: International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings

Coding Theory and Applications: 2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings

Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra: 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986. Proceedings

Supercomputing: 1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings

Trends in Computer Algebra: International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S