著者
書誌事項
Texts in theoretical computer science
Springer-Verlag
この図書・雑誌をさがす
-
41
- Information and randomness : an algorithmic perspective
-
Cristian S. Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
Springer-Verlag c2002 2nd ed., revised and extended Texts in theoretical computer science An EATCS series
所蔵館23館
-
42
- The complexity theory companion
-
Lane A. Hemaspaandra, Mitsunori Ogihara
Springer c2002 Texts in theoretical computer science An EATCS series
所蔵館33館
-
43
- Extremal combinatorics : with applications in computer science
-
Stasys Jukna
Springer c2001 Texts in theoretical computer science An EATCS series
所蔵館35館
-
44
- Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics
-
Juraj Hromkovic̆
Springer c2001 Texts in theoretical computer science An EATCS series
所蔵館29館
-
45
- Introduction to process algebra
-
Wan Fokkink
Springer c2000 Texts in theoretical computer science An EATCS series
: pbk
所蔵館1館
-
46
- Computable analysis : an introduction
-
Klaus Weihrauch
Springer c2000 Texts in theoretical computer science an EATCS series
: [pbk.]
所蔵館40館
-
47
- Introduction to process algebra
-
Wan Fokkink
Springer c2000 Texts in theoretical computer science An EATCS series
所蔵館22館
-
48
- Introduction to circuit complexity : a uniform approach
-
Heribert Vollmer
Springer c1999 Texts in theoretical computer science An EATCS series
: softcover
所蔵館32館
-
49
- DNA computing : new computing paradigms
-
G. Păun, G. Rozenberg, A. Salomaa
Springer c1998 Texts in theoretical computer science An EATCS series
所蔵館65館
-
50
- Communication complexity and parallel computing
-
Juraj Hromkovic̆
Springer-Verlag c1997 Texts in theoretical computer science An EATCS series
所蔵館43館
-
51
- The resolution calculus
-
Alexander Leitsch
Springer c1997 Texts in theoretical computer science An EATCS series
所蔵館30館
-
52
- Parsing schemata : a framework for specification and analysis of parsing algorithms
-
Klaas Sikkel
Springer c1997 Texts in theoretical computer science An EATCS series
所蔵館30館
-
53
- Public-key cryptography
-
Arto Salomaa
Springer 1996 2nd, enlarged ed Texts in theoretical computer science
: pbk.
所蔵館1館
-
54
- Public-key cryptography
-
Arto Salomaa
Springer 1996 2nd, enl. ed Texts in theoretical computer science
: gw , : us
所蔵館42館
-
55
- Models of massive parallelism : analysis of cellular automata and neural networks
-
Max Garzon
Springer-Verlag c1995 Texts in theoretical computer science
: us , : gw
所蔵館39館
-
56
- Structural complexity I
-
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
Springer-Verlag c1995 2nd rev. ed Texts in theoretical computer science An EATCS series
: [pbk]
所蔵館40館
