1 |
Methods and applications of error-free computation / R. T. Gregory, E. V. Krishnamurthy
us,gw. - New York : Springer-Verlag , c1984
|
2 |
The science of programming / David Gries
U.S. : hardcover - Ger. : softcover. - New York : Springer-Verlag , c1981
|
3 |
Chess skill in man and machine / edited by Peter W. Frey
gw. - New York : Springer-Verlag , c1977
|
4 |
. The AKM series in theoretical computer science
A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll
New York : Springer-Verlag , c1981
|