A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Database Concurrency Control: Methods, Performance, and Analysis (Advances in Database Systems, 1)
Pictorial Information Systems (Lecture Notes in Computer Science, 80)
Deontic Logic: Introductory and Systematic Readings
Recovery in Parallel Database Systems
Boolean Calculus of Differences
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
Principles and Practice of Database Systems (Computer Science)
Dependencies in Relational Databases (Teubner-Texte zur Mathematik) (German Edition)
Digital Image Processing Systems: Proceedings (Lecture Notes in Computer Science, 109)