Search results
- Algoritmy pro po částech testovatelné jazyky [rukopis] / Eliška Foltasová. 2021 . 54 s.
book
- Computation : finite and infinite machines / Marvin L. Minsky. Englewood Cliffs : Prentice-Hall, 1967 . xvii, 317 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Elements of finite model theory / Leonid Libkin. Berlin : Springer, c2004 . xiv, 315 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Finite automata / Mark V. Lawson. Boca Raton ; London ; New York, N.Y. : Chapman & Hall/CRC, c2004 . xii, 307 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 book
- Hrací automaty a kriminalita v Olomouci [rukopis] / Michal Heckelmoser. 2013
book
- Sekundární zpracování dat komerční aplikace Smartlaunch [rukopis] / Michal Brückner. 2012 . 53 s.
book
- Simulátor konečných automatů a gramatik [rukopis] / Jiří Vrtal. 2012 . 26 s.
book
- Softwarová podpora předmětu Základy teoretické informatiky [rukopis] / David Růžička. 2010 . 33 s.
book
- Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů [rukopis] / Eva Hochmajerová. 2012 . 26 s
book
- Syntaktická analýza shora-dolů [rukopis] / Antonín Haas. 2015 . 35
book