CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
Pictorial Information Systems (Lecture Notes in Computer Science, 80)
Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976 (Lecture Notes in Computer Science, 57)
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Theoretical Computer Science 5th GI-Conference Karlsruhe, March 23-25, 1981
GI - 3. Jahrestagung Gesellschaft für Informatik e.V. 3. Jahrestagung Hamburg, 8.-10. Oktober 1973. Proceedings
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983
Digital Image Processing Systems: Proceedings (Lecture Notes in Computer Science, 109)
The Concurrency Control Problem for Database Systems