Number of the records: 1
Automata and computability
Title statement Automata and computability / Dexter C. Kozen Personal name Kozen, Dexter C., 1951- (author) Issue data Berlin ; Heidelberg ; New York : Springer, c1997 Phys.des. xiii, 400 s. ISBN 0387949070 Edition Undergraduate texts in computer science Note Lit. Pozn. Rejstř. Subj. Headings algoritmy algorithms * rekurzivní funkce Conspect 519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování UDC 510.57 , 519.713 Country Německo ; Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/199f (PřF) 3134013378 PřF PřF, Knihovna Date due 30 days M2/199 (PřF) 3134015794 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M2/199a (PřF) 3134016088 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M2/199e (PřF) 3134017361 PřF PřF, Knihovna Date due 30 days M2/199b (PřF) 3134017728 PřF PřF, Knihovna Date due 30 days M2/199c (PřF) 3134017729 PřF PřF, Knihovna Date due 30 days M2/199d (PřF) 3134017730 PřF PřF, Knihovna Date due 30 days
Number of the records: 1