Search results
- 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 book
- 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 book
- 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 book
- 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 book
- 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 book
- Optimization of automata / Jan Daciuk. Gdańsk : Wydawnictwo Politechniki Gdańskiej, 2014 . 227 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 
book