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

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978

Parallel Processing: Proceedings of the Sagamore Computer Conference, August 20-23, 1974

Randomization and Approximation Techniques in Computer Science: International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings

Attribute Grammars: Definitions, Systems and Bibliography

LATIN 2002: Theoretical Informatics: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

Foundations of Security Analysis and Design: Tutorial Lectures

Reliability Evaluation of Some Fault-Tolerant Computer Architectures

Theoretical Computer Science: 4th GI Conference Aachen, March 26-28, 1979

Theoretical Computer Science: 3rd GI Conference Darmstadt, March 28-30, 1977

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Rechnerstrukturen und Betriebsprogrammierung: GI - Gesellschaft für Informatik e.V., Erlangen, 1970

Image Analysis Applications and Computer Graphics: Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings

Graph-Theoretic Concepts in Computer Science: 24th International Workshop, WG'98, Smolenice Castle, Slovak Republic, June 18-20, Proceedings

Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

Recognizing Planar Objects Using Invariant Image Features

Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999 Proceedings

Computing in the 90's: The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings

Combinatorics on Traces

Axiomatising the Logic of Computer Programming