1 |
The design of well-structured and correct programs / Suad Alagić, Michael A. Arbib
New York : Springer-Verlag , c1978
|
2 |
Programming methodology : a collection of articles by members of IFIP WG2.3 / edited by David Gries
us,gw. - New York : Springer-Verlag , c1978
|
3 |
Chess skill in man and machine / edited by Peter Frey
gw. - New York : Springer-Verlag , c1978
|
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
|
5 |
The science of programming / David Gries
U.S. : hardcover - Ger. : softcover. - New York : Springer-Verlag , c1981
|
6 |
Programming in Modula-2 / Niklaus Wirth
New York,Berlin. - 2nd corr. ed. - Berlin ; New York : Springer-Verlag , 1983
|
7 |
Chess skill in man and machine / edited by Peter W. Frey
2nd ed. - New York : Springer-Verlag , c1983
|
8 |
Programming in Modula-2 / Niklaus Wirth
: U.S.,: Berlin. - 3rd, corr. ed.. - Berlin : Springer-Verlag , 1985
|