Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings

Aspects and Prospects of Theoretical Computer Science: 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings

Advances in Object-Oriented Database Systems: 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, Proceedings

Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings

CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Codes for Boundary-Value Problems in Ordinary Differential Equations: Proceedings of a Working Conference, May 14-17, 1978

Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

Operating Systems: An Advanced Course

Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976

Interactive Systems: Proceedings, 6. Informatik-Symposium, IBM Germany, Bad Homburg v.d.H., September 1976

Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

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