| 1 |
An EATCS series
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆
Berlin : Springer , c2001
|
| 2 |
An EATCS series
Elements of finite model theory / Leonid Libkin
Berlin : Springer , c2004
|
| 3 |
An EATCS series
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Berlin : Springer , c2004
|
| 4 |
An EATCS series
Universal artificial intelligence : sequential decisions based on algorithmic probability / Marcus Hutter
Berlin : Springer , c2005
|
| 5 |
Simulation algorithms for computational systems biology / Luca Marchetti, Corrado Priami, Vo Hong Thanh
Cham, Switzerland : Springer , [2017]
|
