Digital Image Processing Systems: Proceedings (Lecture Notes in Computer Science, 109)
Pictorial and Formal Aspects of Shape and Shape Grammars (Interdisciplinary Systems Research)
The Concurrency Control Problem for Database Systems
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Theoretical computer science. 3rd GI Conference. Darmstadt, March 1977 (Lecture notes in computer science 48)
Inferring from Language (Springer Series in Language and Communication)
Computer Aided Optimal Design: Structural and Mechanical Systems (NATO ASI Series / Computer and Systems Sciences)
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976 (Lecture Notes in Computer Science, 57)
Deontic Logic: Introductory and Systematic Readings
