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 - 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 - 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 - 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 - 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 - 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 - 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