Search results
- Abstract computing machines : a lambda calculus perspective / W. Kluge. Berlin ; Heidelberg : Springer, c2005 . xiv, 384 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovič. Berlin : Springer, 2004 . xiii, 536 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 book
- Boolean functions and computation models / Peter Clote, Evangelos Kranakis. Berlin ; New York, N.Y. : Springer, c2002 . xiv, 601 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Communication complexity and parallel computing / Juraj Hromkovič. Berlin ; Heidelberg ; New York : Springer, c1997 . x, 336 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. Berlin : Springer, c2008 . xvi, 304 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Design and analysis of randomized algorithms : introduction to design paradigms / J. Hromkovič. Berlin : Springer, c2005 . xii, 274 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa. Berlin : Springer, 1998 . ix, 402 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Elements of finite model theory / Leonid Libkin. Berlin : Springer, c2004 . xiv, 315 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Extremal combinatorics : with applications in computer science / Stasys Jukna. Berlin : Springer, c2011 . xxiii, 411 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 
book
- Finite model theory and its applications / Erich Grädel ... [et al.]. Berlin : Springer, 2007 . xi, 437 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book