Výsledky vyhledávání
- Algoritmy pro po částech testovatelné jazyky [rukopis] / Eliška Foltasová. 2021 . 54 s.
kniha
- 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
- Demonstrace a transformace formálních automatů a gramatik [rukopis] / Tomáš Petura. . 33 s.
kniha
- Dobývání znalostí z databází, LISp-Miner a GUHA / Jan Rauch, Milan Šimůnek. Praha : Oeconomica, nakladatelství VŠE, 2014 . 461 stran
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
- Opacity of Discrete Event Systems: Transformations and Algorithms [rukopis] / Jiří Balun. 2023 . 125
kniha
kniha
- Vliv magnetického pole na nanokrystalizaci kovových skel [rukopis] / David Smrčka. 2019 . 79
kniha