Výsledky vyhledávání
- 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 
kniha
- 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 kniha
- 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 kniha
- Simulátor konečných automatů a gramatik [rukopis] / Jiří Vrtal. 2012 . 26 s.
kniha
- Softwarová podpora předmětu Základy teoretické informatiky [rukopis] / David Růžička. 2010 . 33 s.
kniha
- Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů [rukopis] / Eva Hochmajerová. 2012 . 26 s
kniha