-
21
Chess skill in man and machine
New York : Springer-Verlag, 1983“…Texts and monographs in computer science…”
2nd ed.
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
22
Programming in Modula-2
Berlin ; New York : Springer-Verlag, 1983“…Texts and monographs in computer science…”
2nd corr. ed.
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
23
An introduction to Kolmogorov complexity and its applications
New York : Springer-Verlag, 1993“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
24
A logical approach to discrete math
New York : Springer-Verlag, 1993“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
25
Beauty is our business : a birthday salute to Edsger W. Dijkstra
New York : Springer-Verlag, 1990“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
26
Specification and transformation of programs : a formal approach to software development
Berlin ; New York : Springer-Verlag, 1990“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
27
A guide to Modula-2
New York : Springer-Verlag, 1986“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
28
The Origins of digital computers : selected papers
Berlin ; New York : Springer-Verlag, 1982“…Texts and monographs in computer science…”
3rd ed.
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
29
Computational geometry : an introduction
New York : Springer-Verlag, 1985“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
30
Chess skill in man and machine
New York : Springer-Verlag, 1978“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
31
Programming in Modula-2
Berlin ; New York : Springer-Verlag, 1988“…Texts and monographs in computer science…”
Fourth edition.
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
32
Adaptive signal processing : theory and applications
New York : Springer-Verlag, 1986“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
33
Adaptive information processing : an introductory survey
New York : Springer-Verlag, 1976“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
34
The science of programming
New York : Springer-Verlag, 1981“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
35
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
New York : Springer-Verlag, 1987“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
36
Verification of sequential and concurrent programs
New York : Springer-Verlag, 1991“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
37
Programming in the 1990s : an introduction to the calculation of programs
New York : Springer-Verlag, 1990“…Texts and monographs in computer science…”
Study ed.
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
38
Reliable computer systems : collected papers of the Newcastle Reliability Project
Berlin ; New York : Springer-Verlag, 1985“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
39
What computing is all about
New York : Springer-Verlag, 1993“…Texts and monographs in computer science…”
Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
40
Algebraic approaches to program semantics
New York : Springer-Verlag, 1986Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>