Nástroje diskrétní simulace : zkrácená verze habilitační práce
Autor Sklenář, Jaroslav, 1950- Vydáno: 2004
Kniha
Rewriting systems with restricted configurations : dissertation thesis
Autor Křivka, Zbyněk, 1981- Vydáno: 2008
Kniha
Modelování objektů Petriho sítěmi : disertační práce
Autor Janoušek, Vladimír, 1966- Vydáno: 2008
Kniha
Adaptivní vícevrstvé neuronové sítě : zkrácená verze Ph.D. thesis
Autor Ondráček, Tomáš, 1974- Vydáno: 2006
Rukopis
Prostředky a metody pro automatické generování testovacích obvodů : disertační práce
Autor Pečenka, Tomáš Vydáno: 2008
Kniha
Simulace a návrh vyvíjecích se systémů : habilitační práce
Autor Janoušek, Vladimír, 1966- Vydáno: 2011
Kniha
Verification of programs with complex data structures : dissertation thesis
Autor Rogalewicz, Adam, 1978- Vydáno: 2007
Kniha
Formal models : regulation and reduction : dissertation thesis
Autor Masopust, Tomáš, 1978- Vydáno: 2007
Kniha