Výsledky vyhledávání
- Aplikace fuzzy a pravděpodobnostních automatů [rukopis] / Martin Jašek. 2018 . 77 s
kniha
- Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games / John Rhodes ; edited by Chrystopher L. Nehaniv ; forewood by Morris W. Hirsch. Hackensack, N.J. : World Scientific, c2010 . xvii, 274 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 kniha
- Automata theory with modern applications / James A. Anderson ; with contributions by Tom Head. Cambridge : Cambridge University Press, c2006 . viii, 255 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 kniha
- Cellular automata : a discrete universe / Andrew Ilachinski. Singapore ; New Jersey ; London : World Scientific, 2001c . xxxii, 808 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Cellular automata modeling of physical systems / Bastien Chopard and Michel Droz. Cambridge : Cambridge University Press, 2005 . xii, 341 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 kniha
- Extending temporal logic with omega-automata : the automata theoretic techniques behing PSL model checking / Nir Piterman. Saarbrücken : LAP LAMBERT Academic Publishing, [2010] ©2010 . iii, 74 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
kniha
- Handbook of automata theory. Volume II, Automata in mathematics and selected applications / edited by Jean-Éric Pin. Berlin : EMS Press, [2021] ©2021 . lv, strana 842-1493
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 kniha
- Handbook of automata theory. Volume I, Theoretical foundations / edited by Jean-Éric Pin. Berlin : EMS Press, [2021] ©2021 . lv, 838 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 kniha
kniha