Theses on the same topic (having an identical keyword):
Čistírna odpadních vodKeywords ordered alphabetically | Keywords ordered by occurrence rate
Automating Software Development with Explicit Model Checking
(Petr Bauch)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Theses on a related topic
Možnosti redukce výběrového zkreslení v ratingových modelech
(Josef Ditrich)2009, Disertační práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/48289 | Kvantitativní metody v ekonomice / Statistika | Theses on a related topic
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Theses on a related topic
Pevnostní výpočet unašeče kolové redukce nákladního automobilu
(Michal Peroutka)2011, Bakalářská práce, Fakulta strojní / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/88435 | Strojírenství / Aplikovaná mechanika | Theses on a related topic