Theses on a related topic (having the same keywords):

verifikacia, bezpecnost, safety, synteza ovladaca, phaver, checkmate, hsolver, matisse, hybrid automata, hybridny system, multiparametric toolbox, hybridny automat, hybrid system, verification, hytech, keymaera, verifikacny nastroj, verification tool, dosazitelnost, reachability, controller synthesis, d/dt

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Kelnar, David
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic Display description

252.
Kisler, Lukáš
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Smartbanking a jeho bezpečnost | Theses on a related topic

253.
Kleveta, Tomáš
Faculty: Faculty of Sports Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Vojensko-praktické lezení | Theses on a related topic

254.
Klimíčková, Radka
Faculty: Faculty of Economics and Administration
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Internetové bankovnictví | Theses on a related topic
Bachelor's thesis defence: Internetové bankovnictví | Theses on a related topic

255.
Kloudová, Radmila
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Prevence bezpečnosti provozu na pozemních komunikacích | Theses on a related topic

256.
Klučka, Juraj
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Tvorba podnikatelského plánu | Theses on a related topic
Master's thesis defence: Tvorba podnikatelského plánu | Theses on a related topic

257.
Kobrová, Zuzana
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Vliv zařízení pro zajištění cizinců na bezpečnost regionu Mladá Boleslav | Theses on a related topic

258.
Kociánová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic

259.
Kociánová, Veronika maiden name: Kociánová
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Public Policy / Public Administration (combination/specialization: General Public Administration)
Bachelor's thesis defence: Policie ČR jako dotčený orgán veřejné správy | Theses on a related topic

260.
Kohoutek, Marek
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Kurzy bezpečné jízdy na Polygonu Most pro motocykly | Theses on a related topic

261.
Koláček, Petr
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Webová aplikace pro interaktivní vyváření bezpečnostních scénářů | Theses on a related topic

262.
Kolbaba, Radovan
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in History
Master's thesis defence: Dvě brněnské návštěvy. Edvard Beneš ve městě Brně 12. – 16. května 1945 a 9. července 1946 | Theses on a related topic

263.
Kolínský, Prokop
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Současná brazilsko-americká bezpečnostní spolupráce | Theses on a related topic

264.
Kolíska, Michal
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Technické obory)
Bachelor's thesis defence: Historie dopravní infrastruktury a budování dálkových kapacitních komunikací v českých zemích a jejich vliv na bezpečnost a plynulost dopravy | Theses on a related topic

265.
Konečná, Lucie
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Nestabilita Somálska jako bezpečnostní hrozba pro Keňu | Theses on a related topic

266.
Konečná, Lucie
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Negativní dopady uprchlictví v Keni a Etiopii | Theses on a related topic

267.
Konečná, Lucie
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Political Science / Security and Strategic Studies
Doctoral thesis defence: Přelévání (spillover efekt) konfliktů v Africe | Theses on a related topic

268.
Kostrbík, Michal
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Mathematics, Upper Secondary School Teacher Training in Physical Education
Master's thesis defence: Didaktika snowboardingu pro školy | Theses on a related topic

269.
Kotlář, Petr
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Bezpečnostní aspekty komunikace v systémech veřejné správy v Evropské unii a v ČR | Theses on a related topic

270.
Kouřil, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: SNMP proxy | Theses on a related topic

271.
Kováč, Ján
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Generování náhodných a pseudonáhodných dat v mobilních zařízeních s iOS | Theses on a related topic

272.
Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic

273.
Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic

274.
Kovařík, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Bezpečnost mobilních aplikací vyvinutých v prostředí Android OS | Theses on a related topic

275.
Kozel, Miroslav
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Technické obory)
Bachelor's thesis defence: Součinnost jednotek HZS s IZS při dopravních nehodách | Theses on a related topic

276.
Krátký, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Obecný nástroj pro tvorbu podnikových informačních systémů | Theses on a related topic
Master's thesis defence: Obecný nástroj pro tvorbu podnikových informačních systémů | Theses on a related topic

277.
Krč, Michal
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Ochrana přenosu dat v přenosovém kanále systému Bluetooth | Theses on a related topic

278.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds | Theses on a related topic

279.
Krejčí, Jan
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Physics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Multimediální pomůcka pro nácvik ručního obrábění | Theses on a related topic

280.
Krejčí, Jiří
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu
Bachelor's thesis defence: Vyhledání a vyhodnocení rizik ve sportu | Theses on a related topic

281.
Kremr, Matěj
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: Analýza bezpečnostní situace Československa v letech 1918-1945 | Theses on a related topic

282.
Kresáč, Matej
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Prejavy asymetrie vo vzájomných vzťahoch Moldavskej republiky a Ruskej federácie od rozpadu ZSSR do súčasnosti | Theses on a related topic

283.
Kresáč, Matej
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Postavenie Ukrajiny v geopolitickej perspektíve Ruskej federácie | Theses on a related topic

284.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

285.
Krchňavý, Jozef
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Implementace bezpečného licenčního serveru | Theses on a related topic

286.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

287.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic

288.
Kročil, Bronislav
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Praxe dokazování kyberkriminality | Theses on a related topic

289.
Kroulík, Jan
Faculty: Faculty of Law
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Právní postavení Policie ČR a obecní policie | Theses on a related topic

290.
Krška, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Implementace služby jednotného přihlašování použitím platformy Shibboleth | Theses on a related topic

291.
Krusberský, Radomír
Faculty: Faculty of Education
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Řešení problematiky obsahu výuky dřevořezby v oboru truhlář | Theses on a related topic

292.
Krystyník, Martin
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Political Science
Bachelor's thesis defence: Trendy v budování polských ozbrojených sil po vstupu do NATO | Theses on a related topic

293.
Křečková, Markéta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Vnímání soukromí na sociální síti Instagram pohledem uživatelů | Theses on a related topic

294.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

295.
Kuběnová, Gabriela
Faculty: Faculty of Education
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Využití chemických znalostí ze základní školy | Theses on a related topic

296.
Kubík, Marcel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro detekci formátu souborů | Theses on a related topic

297.
Kučerová, Petra
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Elektronické bankovnictví | Theses on a related topic

298.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic

299.
Kugler, Ondřej
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Security aspects of immigration: Norwegian case study and its wider implications | Theses on a related topic

300.
Kugler, Ondřej
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Krizová připravenost nemocnic České republiky | Theses on a related topic