Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science, 122)
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
L Systems (Lecture Notes in Computer Science, 15)
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Interdisciplinary Investigation of the Brain The Proceedings of a Symposium held at Oxford, April 11th–13th, 1972
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
Readings on Cognitive Ergonomics, Mind and Computers Proceedings of the Second European Conference, Gmunden, Austria, September 10-14, 1984
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
