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

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings

Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings

Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

Functional Programming Languages and Computer Architecture: Portland, Oregon, USA, September 14-16, 1987. Proceedings

Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings

Computation Theory and Logic

Parallel Algorithms and Architectures: International Workshop Suhl, GDR, May 25-30, 1987; Proceedings

Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings