A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Numerical Analysis: Proceedings of the 9th Biennial Conference Held at Dundee, Great Britain, June 1981 (Lecture Notes in Mathematics, 912)
Theoretical computer science. 3rd GI Conference. Darmstadt, March 1977 (Lecture notes in computer science 48)
Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976 (Lecture Notes in Computer Science, 57)
Parallel Processing CONPAR 94-VAPP VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994 : Proceedings
Parallel Computer Architectures: Theory, Hardware, Software, Applications
The Concurrency Control Problem for Database Systems
Conference on the Numerical Solution of Differential Equations Dundee 1973
PARLE '91. Parallel Architectures and Languages Europe Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
CONPAR 90 - VAPP IV Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990. Proceedings