1 |
Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola
: us,: gw. - New York : Springer-Verlag , 1978
|
2 |
. 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
|
3 |
Adaptive information processing : an introductory survey / Jeffrey R. Sampson
New York : Springer-Verlag , 1976
|
4 |
The science of programming / David Gries
: U.S. : hardcover - : Ger. : softcover. - New York : Springer-Verlag , c1981
|
5 |
The design of well-structured and correct programs / Suad Alagić, Michael A. Arbib
New York : Springer-Verlag , c1978
|
6 |
Selected writings on computing : a personal perspective / Edsger W. Dijkstra
: us,: gw. - New York : Springer-Verlag , c1982
|
7 |
Design of digital computers : an introduction / Hans W. Gschwind, Edward J. McCluskey
2nd ed. - New York : Springer-Verlag , 1975
|