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 - Calc602 tabulkový procesor : první kroky s programen CALC602 . [Praha] : Software602, 1992 . 35 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 - Calc602 tabulkový procesor : referenční příručka . [Praha] : Software602, 1992 . 190 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 - Calc602 tabulkový procesor : uživatelská příručka . [S.l.] : Software602, 1992 . 228 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0