Author(s)
Bibliographic Information
Texts and monographs in computer science
Springer-Verlag
Search this Book/Journal
-
1
- Logic for applications
-
Anil Nerode, Richard A. Shore
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 31 libraries
-
2
- A logical approach to discrete math
-
David Gries and Fred B. Schneider
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 45 libraries
-
3
- Algorithmic algebra
-
Bhubaneswar Mishra
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 47 libraries
-
4
- An introduction to Kolmogorov complexity and its applications
-
Ming Li, Paul Vitányi
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 41 libraries
-
5
- A practical theory of programming
-
Eric C. R. Hehner
Springer-Verlag c1993 1st ed Texts and monographs in computer science
: us , : gw
Available at 26 libraries
-
6
- What computing is all about
-
Jan L. A. van de Snepscheut
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 19 libraries
-
7
- String-rewriting systems
-
Ronald V. Book, Friedrich Otto
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 28 libraries
-
8
- Larch : languages and tools for formal specification
-
John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
Available at 17 libraries
-
9
- Prototyping-oriented software development : concepts and tools
-
W. Bischofberger, G. Pomberger
Springer-Verlag c1992 Texts and monographs in computer science
: us , : gw
Available at 17 libraries
-
10
- The design and analysis of algorithms
-
Dexter C. Kozen
Springer-Verlag c1992 Texts and monographs in computer science
: us , : gw
Available at 40 libraries
-
11
- Verification of sequential and concurrent programs
-
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Springer-Verlag c1991 Texts and monographs in computer science
: New York , : Berlin
Available at 18 libraries
-
12
- Sets, relations, and induction
-
Peter A. Fejer, Dan A. Simovici
Springer-Verlag c1991 Texts and monographs in computer science . Mathematical foundations of computer science ; v. 1
: New York , : Berlin
Available at 38 libraries
-
13
- Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
-
David Luckham
Springer-Verlag c1990 Texts and monographs in computer science
us , gw
Available at 15 libraries
-
14
- Programming in the 1990s : an introduction to the calculation of programs
-
Edward Cohen
Springer-Verlag c1990 Texts and monographs in computer science
us ; alk. paper , gw
Available at 21 libraries
-
15
- Computational geometry : an introduction
-
Franco P. Preparata, Michael Ian Shamos
Springer-Verlag [1990], c1985 Texts and monographs in computer science
: U.S. , : Germany
Available at 19 libraries
-
16
- Beauty is our business : a birthday salute to Edsger W. Dijkstra
-
edited by W.H.J. Feijen ... [et al.]
Springer-Verlag c1990 Texts and monographs in computer science
: us , : gw
Available at 22 libraries
-
17
- Specification and transformation of programs : a formal approach to software development
-
Helmut A. Partsch
Springer-Verlag c1990 Texts and monographs in computer science
: gw , : us : alk. paper , : gw : soft : student ed , : u.s. : soft : student ed
Available at 29 libraries
-
18
- First-order logic and automated theorem proving
-
Melvin Fitting
Springer-Verlag c1990 Texts and monographs in computer science
: us , : gw
Available at 27 libraries
-
19
- Predicate calculus and program semantics
-
Edsger W. Dijkstra, Carel S. Scholten
Springer-Verlag c1990 Texts and monographs in computer science
: us , : gw
Available at 32 libraries
-
20
- VLSI placement and routing : the PI project
-
Alan T. Sherman
Springer c1989 Texts and monographs in computer science
: U.S. : alk. paper , : gw
Available at 19 libraries