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