45 books found.
Showing books 21 through 40:
|
| 21. |
|
Mathematical Foundations of Computer Science
by Peter A. Fejer, Dan A. Simovici
Book
(January 1991)
|
|
| 22. |
|
The Origins of Digital Computers
by Brian Randell
Hardcover, Springer Verlag
(March 1982)
|
|
| 23. |
|
Chess Skill in Man and Machine
by Peter W. Frey (Editor)
Book
(January 1978)
|
|
| 24. |
|
A Practical Theory of Programming
by Eric C.R. Hehner
Book
(January 1993)
|
|
| 25. |
|
Logic for Applications
by Anil Nerode, Richard A. Shore
Book
(January 1993)
|
|
| 26. |
|
Relational Database Technology
by Suad Alagic
Hardcover, Springer Verlag
(August 1986)
|
|
| 27. |
|
The Synthesizer Generator: A System for Constructing Language-Based Editors
by Thomas W. Reps, Tim Teitelbaum
Hardcover, Springer Verlag
(May 1989)
|
|
| 28. |
|
Vlsi Placement and Routing: The Pi Project
by Alan T. Sherman
Hardcover, Springer Verlag
(September 1989)
|
|
| 29. |
|
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
by W.H.J. Feijen, J. Misra (Editor), A.J.M. Van Gasteren, D. Gries
Hardcover, Springer Verlag
(October 1990)
|
|
| 30. |
|
Programming Methodology: A Collection of Articles by Members of Ifip Wg2.3
by David Gries (Editor), D. Gries (Editor)
Hardcover, Springer Verlag
(December 1978)
|
|
| 31. |
|
Methods and Applications of Error-Free Computation
by R.T. Gregory
Hardcover, Springer Verlag
(September 1984)
|
|
| 32. |
|
What Computing Is All About
by Jan L.A. Van De Snepscheut
Book
(January 1993)
|
|
| 33. |
|
Algorithmic Algebra
by Bhubaneswar Mishra
Book
(January 1993)
|
|
| 34. |
|
Error-Free Polynomial Matrix Computations
by E.V. Krishnamurthy
Hardcover, Springer Verlag
(December 1985)
|
|
| 35. |
|
Probabilistic Analysis of Algorithms: On Computing Methodologies for Computer Algorithms Performance Evaluation
by Micha Hofri
Hardcover, Springer Verlag
(October 1987)
|
|
| 36. |
|
Specification and Transformation of Programs: A Formal Approach to Software Development
by Helmut A. Partsch
Hardcover, Springer Verlag
(August 1990)
|
|
| 37. |
|
Fairness
by Nissim Francez
Hardcover, Springer Verlag
(September 1986)
|
|
| 38. |
|
Adaptive Signal Processing: Theory and Applications
by S. Thomas Alexander
Hardcover, Springer Verlag
(July 1986)
|
|
| 39. |
|
The Science of Programming
by D. Gries
Book
(January 1981)
|
|
| 40. |
|
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
by David Luckham
Book
(January 1990)
|
|
Texts and Monographs in Computer Science
