Programs and Machines An Introduction to the Theory of Computation
1976 年出版214 页ISBN：0471016500
BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY
1977 年出版126 页ISBN：0198531680
Kinetic energy storage Theory and practice of advanced flywheel systems
1985 年出版362 页ISBN：0408013966
SPECTRAL THEORY OF NON-COMMUTATIVE HARMONIC OSCILLATORS: AN INTRODUCTION
2010 年出版260 页ISBN：9783642119217
Advances in Computing Research Volume 3 1986 The Theory of Databases
1986 年出版397 页ISBN：0892326115
Principles of Dynamic Programming Part II Advanced Theory and Applications
1982 年出版497 页ISBN：0824765907
DIGITAL THEORY AND EXPERIMENTATION USING INTEGRATED CIRCUITS REVISED AND ENLARGED
1982 年出版241 页ISBN：0132126885
OPTIMIZATION-THEORY AND APPLICATIONS：PROBLEMS WITH ORDINARY DIFFERENTIAL EQUATIONS
2222 年出版542 页ISBN：0387906762
OCCUPATIONAL THERAPY ACTIVITIES FROM CLAY TO COMPUTERS THEORY AND PRACTICE
2222 年出版245 页ISBN：9780803611450
WEIGHTED LITTLEWOOD-PALEY THEORY AND EXPONENTIAL-SQUARE INTEGRABILITY
2008 年出版224 页ISBN：9783540745822
