Search results
- Dynamic analysis of Petri net-based discrete systems / Andrei Karatkevich. Berlin : Springer, c2007 . xiii, 166 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Qualitative theory of hybrid dynamical systems / Alexey S. Matveev, Andrey V. Savkin. Boston ; Basel ; Berlin : Birkhäuser, c2000 . x, 348 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0