Výsledky vyhledávání
- Automata and computability / Dexter C. Kozen. Berlin ; Heidelberg ; New York : Springer, c1997 . xiii, 400 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 5 0 0 2 0 0 kniha
- Combinatorial optimization : algorithms and complexity / Christos H. Papadimitriou, Kenneth Steiglitz. Mineola : Dover Publications, 1998 . xvi, 496 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 kniha
- Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Cambridge : Cambridge University Press, 2007 . xiii, 350 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 
kniha
- Diskrete Orthogonaltransformationen : Algorithmen und Flußgraphen für die Signalverarbeitung / Philipp W. Besslich, Tian Lu. Berlin : Springer, 1990 . XV, 312 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 kniha
- 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 kniha
- Teorija rekursivnych funkcij i effektivnaja vyčislimost' / Ch. Rodžers ; perevod V.A. Uspenskij. Moskva : Mir, 1972 . 624 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 kniha
- Theory of recursive functions and effective computability / Hartley Rogers, Jr.. Cambridge : MIT Press, 1987 . xix, 482 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha