Search results
- Automata and computability / Dexter C. Kozen . New York : Springer, 1997 . xiii, 400 s . ISBN 0-387-94907-0 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Theory of computation / Dexter C. Kozen . London : Springer, c2010 . xiii, 418 s . ISBN 978-1-84996-571-2 (brož.) . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 
book