Grammar and L Forms: An Introduction (Lecture Notes in Computer Science, 91)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Matrix Eigensystem Routines - Eispack Guide (Lecture Notes in Computer Science)
Analysis of Drum and Disk Storage Units (Lecture Notes in Computer Science, 31)
Direct Methods for Sparse Matrices (Lecture Notes in Computer Science, 157)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Matrix Eigensystem Routines - EISPACK Guide Extension (Lecture Notes in Computer Science, 51)
The Modelling of Systems with Small Observation Sets (Lecture Notes in Control and Information Sciences)
Rechnerstrukturen und Betriebsprogrammierung: GI - Gesellschaft für Informatik e.V., Erlangen, 1970 (Lecture Notes in Computer Science, 13)