45 books found.
Showing books 1 through 20:
|
| 1. |
|
Computational Geometry: An Introduction
by Franco P. Preparata, Michael Ian Shamos
Hardcover, Springer Verlag
(January 1991)
|
|
| 2. |
|
Programming in the 1990's: An Introduction to the Calculation of Programs
by Edward Cohen
Paperback, Springer Verlag
(December 1990)
|
|
| 3. |
|
A Logical Approach to Discrete Math
by David Gries, Fred B. Schneider
Book
(January 1993)
|
|
| 4. |
|
Prototyping-Oriented Software Development: Concepts and Tools
by W. Bischofberger, Gustav Pomberger
Book
(January 1992)
|
|
| 5. |
|
Selected Writings on Computing: A Personal Perspective
by Edsger, W. Dijkstra
Hardcover, Springer Verlag
(April 1982)
|
|
| 6. |
|
An Introduction to Kolmogorov Complexity and Its Applications
by Ming Li, P. M. B. Vitanyi
Book
(January 1993)
|
|
| 7. |
|
A Guide to Modula-2
by Kaare Christian
Hardcover, Springer Verlag
(March 1986)
|
|
| 8. |
|
Introduction to Formal Language Theory
by Robert N. Moll, Michael A. Arbib, A. J. Kfoury
Hardcover, Springer Verlag
(October 1988)
|
|
| 9. |
|
The Design of Well-Structured and Correct Programs
by S. Alagic, M.A. Arbib
Hardcover, Springer Verlag
(September 1991)
|
|
| 10. |
|
Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project
by S.K. Shrivastava (Editor)
Hardcover, Springer Verlag
(November 1985)
|
|
| 11. |
|
First-Order Logic and Automated Theorem Proving
by Melvin Fitting
Book
(January 1990)
|
|
| 12. |
|
Mathematical Foundations of Computer Science: Sets, Relations and Induction
by Peter A. Fejer, D.A. Simovici, Fejer P.A., Dan A. Simovici
Hardcover, Springer Verlag
(February 1991)
|
|
| 13. |
|
Algorithmic Language and Program Development: Texts and Monographs in Computer Science
by Friedrich Ludwig Bauer, F. Bauer, H. Wossner
Hardcover, Springer Verlag
(April 1982)
|
|
| 14. |
|
A Basis for Theoretical Computer Science
by Michael A. Arbib
Hardcover, Springer Verlag
(September 1981)
|
|
| 15. |
|
Verification of Sequential and Concurrent Programs
by Krzysztof R. Apt, E.-R Olderog
Book
(January 1991)
|
|
| 16. |
|
String-Rewriting Systems
by Ronald V. Book, Friedrich Otto
Book
(January 1993)
|
|
| 17. |
|
Programming in Modula-2
by Niklaus Wirth
Book
(January 1985)
|
|
| 18. |
|
Larch: Languages and Tools for Formal Specification
by John V. Guttag, J. J. Horning
Book
(January 1993)
|
|
| 19. |
|
Algebraic Approaches to Program Semantics
by Ernest G. Manes, Michael A. Arbib
Hardcover, Springer Verlag
(August 1986)
|
|
| 20. |
|
The Synthesizer Generator Reference Manual
by Thomas W. Reps, Tim Teitelbaum
Paperback, Springer Verlag
(December 1988)
|
|
Texts and Monographs in Computer Science
