Výsledky vyhledávání
- 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 and computability / Dexter C. Kozen. Berlin ; Heidelberg ; New York : Springer, c1997 . xiii, 400 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 5 0 0 2 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
- 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
- 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
- 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
- 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
- A new kind of science / Stephen Wolfram. Champaign, Ill. : Wolfram Media, c2002 . xiv, 1197 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 5 0 0 kniha