著者
書誌事項
Graduate texts in computer science
Springer-Verlag
この図書・雑誌をさがす
関連文献： 13件中 1-13を表示
-
1
- Fundamentals of the new artificial intelligence : neural, evolutionary, fuzzy and more
-
Toshinori Munakata
Springer c2008 2nd ed Graduate texts in computer science
: hbk
所蔵館9館
-
2
- Descriptive complexity
-
Neil Immerman
Springer Science+Business Media, LLC c1999 Graduate texts in computer science
所蔵館1館
-
3
- Descriptive complexity
-
Neil Immerman
Springer c1999 Graduate texts in computer science
所蔵館32館
-
4
- Refinement calculus : a systematic introduction
-
Ralph-Johan Back, Joakim von Wright
Springer c1998 Graduate texts in computer science
所蔵館14館
-
5
- Specification of software systems
-
V.S. Alagar and K. Periyasamy
Springer c1998 Graduate texts in computer science
所蔵館15館
-
6
- Fundamentals of the new artificial intelligence : beyond traditional paradigms
-
Toshinori Munakata
Springer c1998 Graduate texts in computer science
所蔵館32館
-
7
- On concurrent programming
-
Fred B. Schneider
Springer c1997 Graduate texts in computer science
所蔵館21館
-
8
- Verification of sequential and concurrent programs
-
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Springer c1997 2nd ed Graduate texts in computer science
所蔵館24館
-
9
- An introduction to Kolmogorov complexity and its applications
-
Ming Li, Paul Vitányi
Springer c1997 2nd ed Graduate texts in computer science
所蔵館42館
-
10
- Logic for applications
-
Anil Nerode and Richard A. Shore
Springer c1997 2nd ed Graduate texts in computer science
所蔵館41館
-
11
- Deduction systems
-
Rolf Socher-Ambrosius, Patricia Johann
Springer c1997 Graduate texts in computer science
所蔵館20館
-
12
- First-order logic and automated theorem proving
-
Melvin Fitting
Springer-Verlag c1996 2nd ed Graduate texts in computer science
: pbk.
所蔵館28館
-
13
- A recursive introduction to the theory of computation
-
Carl H. Smith
Springer-Verlag 1994 Graduate texts in computer science
所蔵館28館