Pictorial Information Systems (Lecture Notes in Computer Science, 80)
Pictorial and Formal Aspects of Shape and Shape Grammars (Interdisciplinary Systems Research)
Computer Aided Optimal Design: Structural and Mechanical Systems (NATO ASI Series / Computer and Systems Sciences)
Digital Picture Analysis (Topics in Applied Physics)
The Concurrency Control Problem for Database Systems
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Minimization Methods for Non-Differentiable Functions (Springer Series in Computational Mathematics)
Theoretical computer science. 3rd GI Conference. Darmstadt, March 1977 (Lecture notes in computer science 48)
Picture Processing and Digital Filtering (Topics in Applied Physics)
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
