| 1 |
An EATCS series
Boolean functions and computation models / Peter Clote, Evangelos Kranakis
Berlin : Springer , c2002
|
| 2 |
An EATCS series
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆
2nd ed. - Berlin ; Tokyo : Springer , c2003
|
| 3 |
Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks / Arie Koster, Xavier Muñoz editors
Berlin : Springer , c2010
|
| 4 |
. An EATCS series
Exact exponential algorithms / Fedor V. Fomin, Dieter Kratsch
Heidelberg : Springer , c2010
|
| 5 |
An EATCS series
Extremal combinatorics : with applications in computer science / Stasys Jukna
2nd ed. - Berlin : Springer , c2011
|
| 6 |
An EATCS series
Introduction to concurrency theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari
Cham : Springer , c2015
|
| 7 |
An EATCS series
An introduction to online computation : determinism, randomization, advice / Dennis Komm
Cham : Springer , c2016
|
| 8 |
An EATCS series
Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau
Heidelberg : Springer , c2015
|
| 9 |
An EATCS series
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman
: hardback. - 2nd ed. - Berlin : Springer , c2016
|
| 10 |
An EATCS series
Models of computation / Roberto Bruni, Ugo Montanari
[Cham] : Springer , c2017
|
| 11 |
An EATCS series
Simulation Algorithms for Computational Systems Biology / Luca Marchetti, Corrado Priami, Vo Hong Thanh
Cham : Springer , c2017
|
| 12 |
. An EATCS series
Formal methods for software engineering : languages, methods, application domains / Markus Roggenbach ... [et al.]
Cham : Springer , c2022
|
