Search results
- 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 book
- The design and analysis of algorithms / Dexter C. Kozen. Berlin ; Heidelberg ; New York : Springer, c1992 . x, 320 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 3 0 0 2 0 0 book
- 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 book