著者
書誌事項
Texts and monographs in computer science
Springer-Verlag
この図書・雑誌をさがす
-
1
- Logic for applications
-
Anil Nerode, Richard A. Shore
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
所蔵館31館
-
2
- A logical approach to discrete math
-
David Gries and Fred B. Schneider
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
所蔵館46館
-
3
- Algorithmic algebra
-
Bhubaneswar Mishra
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
所蔵館47館
-
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
所蔵館41館
-
5
- A practical theory of programming
-
Eric C. R. Hehner
Springer-Verlag c1993 1st ed Texts and monographs in computer science
: us , : gw
所蔵館26館
-
6
- What computing is all about
-
Jan L. A. van de Snepscheut
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
所蔵館19館
-
7
- String-rewriting systems
-
Ronald V. Book, Friedrich Otto
Springer-Verlag c1993 Texts and monographs in computer science
: us , : gw
所蔵館28館
-
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
所蔵館17館
-
9
- Prototyping-oriented software development : concepts and tools
-
W. Bischofberger, G. Pomberger
Springer-Verlag c1992 Texts and monographs in computer science
: us , : gw
所蔵館17館
-
10
- The design and analysis of algorithms
-
Dexter C. Kozen
Springer-Verlag c1992 Texts and monographs in computer science
: us , : gw
所蔵館41館
-
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
所蔵館18館
-
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
所蔵館38館
-
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
所蔵館15館
-
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
所蔵館21館
-
15
- Computational geometry : an introduction
-
Franco P. Preparata, Michael Ian Shamos
Springer-Verlag [1990], c1985 Texts and monographs in computer science
: U.S. , : Germany
所蔵館19館
-
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
所蔵館22館
-
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
所蔵館29館
-
18
- First-order logic and automated theorem proving
-
Melvin Fitting
Springer-Verlag c1990 Texts and monographs in computer science
: us , : gw
所蔵館27館
-
19
- Predicate calculus and program semantics
-
Edsger W. Dijkstra, Carel S. Scholten
Springer-Verlag c1990 Texts and monographs in computer science
: us , : gw
所蔵館32館
-
20
- VLSI placement and routing : the PI project
-
Alan T. Sherman
Springer c1989 Texts and monographs in computer science
: U.S. : alk. paper , : gw
所蔵館19館
