4545 books found.
Showing books 1 through 20:
|
| 1. |
|
Using Sophisticated Models in Resolution Theorem Proving
by D.M. Sandford
Paperback, Springer Verlag (February 1981)
|
|
| 2. |
|
Algebraic Semantics
by Irene Guessarian
Paperback, Springer Verlag (June 1981)
|
|
| 3. |
|
On the Integration of Algebraic Functions
by James Harold Davenport
Paperback, Springer Verlag (August 1982)
|
|
| 4. |
|
Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop Wg 80, Bad Honnef, June 15-18, 1980
by H. Noltemier
Paperback, Springer Verlag (April 1981)
|
|
| 5. |
|
Distributed Systems--Architecture and Implementation: An Advanced Course
by B.W. Lampson (Editor), M. Paul, H.J. Siegert (Editor)
Paperback, Springer Verlag (April 1983)
|
|
| 6. |
|
Automatic Differentiation: Techniques and Applications
by Louis B. Rall
Paperback, Unknown (January 1981)
|
|
| 7. |
|
Verifying Concurrent Processes Using Temporal Logic
by Brent T. Hailpern
Paperback, Springer Verlag (July 1982)
|
|
| 8. |
|
An Introduction to the Pl/Cv2 Programming Logic
by R.L. Constable, Scott D. Johnson
Paperback, Springer Verlag (April 1982)
|
|
| 9. |
|
Operating Systems Engineering: Proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980
by Japan) IBM Computer Science Symposium 1980 Amagi-Shi, L. A. Belady, Manoru Maekewa, M. Maekawa
Paperback, Springer Verlag (November 1982)
|
|
| 10. |
|
Design of Dynamic Data Structures
by Mark H. Overmars
Paperback, Springer Verlag (December 1987)
|
|
| 11. |
|
Microcomputer System Design: An Advanced Course
by M. J. Flynn, N.R. Harris, D.P. McCarthy (Editor), Daniel P. McCarthy (Editor)
Paperback, Springer Verlag (October 1984)
|
|
| 12. |
|
How to Multiply Matrices Faster
by Victor Pan
Paperback, Springer Verlag (November 1984)
|
|
| 13. |
|
Advances in Petri Nets 1984
by G. Rozenberg (Editor)
Paperback, Springer Verlag (April 1985)
|
|
| 14. |
|
Logics of Programs
by Rohit Parikh (Editor)
Paperback, Springer Verlag (September 1985)
|
|
| 15. |
|
Fundamentals of Computation Theory: Fct '85, Cottbus, Gdr, Sept 1985
by Lothar Budach (Editor)
Paperback, Springer Verlag (November 1985)
|
|
| 16. |
|
Esop 86
by B. Robinet, R. Wilhelm (Editor)
Paperback, Springer Verlag (April 1986)
|
|
| 17. |
|
Lucas Associative Array Processor: Design, Programming, and Application Studies
by Christer Fernstrom, J. Hartmains (Editor)
Paperback, Springer Verlag (May 1986)
|
|
| 18. |
|
Parle: Parallel Architectures and Languages Europe Parallel Architectures Eindhoven, the Netherlands, June 15-19, 1987 Proceedings
by J.W. De Bakker, P.C. Treleaven (Editor), A.J. Nijman
Paperback, Springer Verlag (August 1987)
|
|
| 19. |
|
Logic Programming '86
by Eiiti Wada (Editor)
Paperback, Springer Verlag (October 1987)
|
|
| 20. |
|
Automata, Languages, and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 Proceedings
by Thomas Ottmann (Editor)
Paperback, Springer Verlag (August 1987)
|
|
Lecture Notes in Computer Science