| 1 |
An EATCS series
Abstract computing machines : a lambda calculus perspective / W. Kluge
Heidelberg : Springer , c2005
|
| 2 |
Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon
: us,: gw. - Berlin ; New York : Springer-Verlag , c1995
|
| 3 |
An EATCS series
Structural complexity I / José Luis Balcázar, Josep Díaz, Joaquim Gabarró
2nd rev. ed. - Berlin ; New York : Springer-Verlag , c1995
|
| 4 |
An EATCS series
Elements of finite model theory / Leonid Libkin
Berlin : Springer , c2004
|
| 5 |
An EATCS series
Complexity theory and cryptology : an introduction to cryptocomplexity / Jörg Rothe
Berlin : Springer , c2005
|
| 6 |
An EATCS series
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Berlin ; Tokyo : Springer , c2004
|
| 7 |
An EATCS series
Models of computation / Roberto Bruni, Ugo Montanari
[Cham] : Springer , c2017
|
| 8 |
An EATCS series
Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovič
Berlin ; Tokyo : Springer , c2004
|
| 9 |
An EATCS series . Software engineering ; v. 1
Abstraction and modelling / D. Bjørner
Berlin : Springer , c2006
|
| 10 |
An EATCS series . Software engineering ; v. 2
Specification of systems and languages / D. Bjørner
Berlin : Springer , c2006
|
| 11 |
An EATCS series
Computable analysis : an introduction / Klaus Weihrauch
Berlin ; New York ; Tokyo : Springer , c2000
|
| 12 |
Public-key cryptography / Arto Salomaa
: gw,: us. - 2nd, enl. ed. - Berlin ; Tokyo : Springer , 1996
|
| 13 |
An EATCS series
Information and randomness : an algorithmic perspective / Cristian S. Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
2nd ed., revised and extended. - Berlin ; Tokyo : Springer-Verlag , c2002
|
| 14 |
An EATCS series
Introduction to process algebra / Wan Fokkink
Berlin ; New York : Springer , c2000
|
| 15 |
An EATCS series
Communication complexity and parallel computing / Juraj Hromkovic̆
Berlin ; New York : Springer-Verlag , c1997
|
| 16 |
An EATCS series
Extremal combinatorics : with applications in computer science / Stasys Jukna
Berlin ; New York : Springer , c2001
|
| 17 |
An EATCS series
The complexity theory companion / Lane A. Hemaspaandra, Mitsunori Ogihara
Berlin : Springer , c2002
|
| 18 |
An EATCS series
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆
2nd ed. - Berlin ; Tokyo : Springer , c2003
|
| 19 |
An EATCS series
The resolution calculus / Alexander Leitsch
Berlin : Springer , c1997
|
| 20 |
An EATCS series . Software engineering ; v. 3
Domains, requirements, and software design / D. Bjørner
Berlin : Springer , c2006
|
Mendeley出力
