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 - Theory of computation / Dexter C. Kozen. London : Springer, [2006] ©2006 . xiii, 418 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0