Author(s)
Bibliographic Information
Graduate texts in computer science
Springer-Verlag
Search this Book/Journal
Related Books： 1-13 of 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
Available at 8 libraries
-
2
- Descriptive complexity
-
Neil Immerman
Springer Science+Business Media, LLC c1999 Graduate texts in computer science
Available at 1 libraries
-
3
- Descriptive complexity
-
Neil Immerman
Springer c1999 Graduate texts in computer science
Available at 34 libraries
-
4
- Refinement calculus : a systematic introduction
-
Ralph-Johan Back, Joakim von Wright
Springer c1998 Graduate texts in computer science
Available at 14 libraries
-
5
- Specification of software systems
-
V.S. Alagar and K. Periyasamy
Springer c1998 Graduate texts in computer science
Available at 15 libraries
-
6
- Fundamentals of the new artificial intelligence : beyond traditional paradigms
-
Toshinori Munakata
Springer c1998 Graduate texts in computer science
Available at 32 libraries
-
7
- On concurrent programming
-
Fred B. Schneider
Springer c1997 Graduate texts in computer science
Available at 23 libraries
-
8
- Verification of sequential and concurrent programs
-
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Springer c1997 2nd ed Graduate texts in computer science
Available at 24 libraries
-
9
- An introduction to Kolmogorov complexity and its applications
-
Ming Li, Paul Vitányi
Springer c1997 2nd ed Graduate texts in computer science
Available at 43 libraries
-
10
- Logic for applications
-
Anil Nerode and Richard A. Shore
Springer c1997 2nd ed Graduate texts in computer science
Available at 42 libraries
-
11
- Deduction systems
-
Rolf Socher-Ambrosius, Patricia Johann
Springer c1997 Graduate texts in computer science
Available at 20 libraries
-
12
- First-order logic and automated theorem proving
-
Melvin Fitting
Springer-Verlag c1996 2nd ed Graduate texts in computer science
: pbk.
Available at 30 libraries
-
13
- A recursive introduction to the theory of computation
-
Carl H. Smith
Springer-Verlag 1994 Graduate texts in computer science
Available at 28 libraries
