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

201.
Hromková, Monika
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Cukrářská dílna pro žáky a její vybavení | Theses on a related topic Display description

202.
Hrončeková, Nikola
Faculty: Faculty of Social Studies
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Vývoj politických vzťahov medzi Fínskom a Ruskom od roku 1991 po súčasnosť | Theses on a related topic

203.
Hrončeková, Nikola
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Political Science
Bachelor's thesis defence: Vývoj politických vzťahov medzi Fínskom a Ruskom od roku 1991 po súčasnosť | Theses on a related topic

204.
Hrozek, Miroslav
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Political Science
Master's thesis defence: Politizace odposlechů v ČR | Theses on a related topic

205.
Hubl, Jindřich
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Lanové překážky
Bachelor's thesis defence: Lanové překážky | Theses on a related topic

206.
Hucíková, Anežka
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Analýza a interpretácia diela Martina Šútovca v Denníku N: Shootyho karikatúry v intenciách migračnej krízy | Theses on a related topic
Master's thesis defence: Stereotypy ako nástroj konštrukcie národnej identity v Shootyho karikatúrach s témou imigrácie | Theses on a related topic

207.
Hulman, Pavel
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Security & Strategic Studies / International Relations, Security and Strategic Studies
Bachelor's thesis defence: Dopady zelené tranzice na bezpečnost Ázerbájdžánu | Theses on a related topic

208.
Husák, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Monitorování síťového provozu honeypotu | Theses on a related topic

209.
Hylena, Petr
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education
Master's thesis defence: Formy zneužívání slabin seniorů vyplývajících ze stáří a odpovídající strategie sociální práce | Theses on a related topic

210.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic

211.
Chalupa, Martin
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: Ochrana dat na nejrozšířenějších platformách smartphonů | Theses on a related topic

212.
Chmelíčková, Lucie
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Předmět veřejné zakázky jako alfa a omega zadávacího řízení | Theses on a related topic

213.
Chochrun, Michal
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: Vplyv percepcie bezpečnostných zložiek na národnú identitu civilnej verejnosti Slovenskej a Českej republiky | Theses on a related topic

214.
Chorvátová, Magdaléna
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Aplikace konceptu failed state na Bosnu a Hercegovinu | Theses on a related topic
Master's thesis defence: Obchod s lidmi v Bosně a Hercegovině mezi lety 2003 až 2013 | Theses on a related topic

215.
Chudovský, Radoslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modeling Progress Through Cybersecurity Training Using Command Histories | Theses on a related topic

216.
Ingrštová, Michaela
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Physics
Bachelor's thesis defence: Bezpečnost jaderných elektráren | Theses on a related topic

217.
Jadrný, Vratislav
Faculty: Faculty of Law
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Policie ČR a její charakteristika | Theses on a related topic

218.
Jahoda, Stanislav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh a implementace redakčního systému pro weby obcí | Theses on a related topic

219.
Janáč, Tomáš
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Security & Strategic Studies / International Relations, Security and Strategic Studies
Bachelor's thesis defence: Fotbaloví fanoušci v Evropě a drogy: Trendy a bezpečnostní implikace | Theses on a related topic

220.
Jančaříková, Adéla maiden name: Karafiátová
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Systém BOZP ve vybraném podniku | Theses on a related topic

221.
Janiš, Jaroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh IP telefonní sítě včetně zabezpečení | Theses on a related topic

222.
Janošová, Nicola
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / Environmental Studies, International Relations
Bachelor's thesis defence: Sbližování Ruska a Číny jako výzva pro Českou republiku | Theses on a related topic

223.
Janoušková, Šárka
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Health Education, Lower Secondary School Teacher Training in Special Education
Bachelor's thesis defence: Metodika tvorby realizace celotáborové hry na letním dětském táboře | Theses on a related topic

224.
Janoušková, Veronika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Teorie sítí a sociální média | Theses on a related topic

225.
Janšta, Denis
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Koncept zlyhávania štátu: prípad Ukrajiny | Theses on a related topic

226.
Jaroš, Miroslav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnostná politika ochrany osobných dát v malej firme | Theses on a related topic

227.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

228.
Jaško, Peter
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Design and Implementation of a Cross-Platform Mobile Application for Location-Based Caution | Theses on a related topic

229.
Jelínek, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Proudové zpracování dat v oblasti síťové bezpečnosti: Apache Spark | Theses on a related topic

230.
Jelínková, Monika
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Srovnání kvality služeb internetového bankovnictví v nabídce komerčních bank ČR | Theses on a related topic

231.
Jiránková, Petra
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Republika Kosovo jako slabý stát? Analýza síly a slabosti státu | Theses on a related topic

232.
Jiroudková, Marta
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Veřejná správa a právo na informace | Theses on a related topic

233.
Jirovský, Radek
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Systémy pro ukládání autentizačních informací | Theses on a related topic

234.
Jurišová, Katarína
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Posilňovanie vojenskej prítomnosti NATO v strednej a východnej Európe | Theses on a related topic

235.
Jurková, Lucie
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Bachelor's thesis defence: Přístup rodičů k dětem s koktavostí - hodnocení z pohledu dospělých balbutiků | Theses on a related topic

236.
Jurnečka, Filip
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: On automated evaluation of key management schemes in wireless sensor networks | Theses on a related topic

237.
Kabai, Laura
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: Disinhibice a její vliv na uživatele internetu | Theses on a related topic

238.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic

239.
Kajnarová, Andrea
Faculty: Faculty of Social Studies
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: Political Science / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Vybranné aspekty bezpečnostní role Turecka v regionu | Theses on a related topic

240.
Kalábová, Petra maiden name: Kadlecová
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Motivace uživatelů používat bezpečná hesla | Theses on a related topic

241.
Kalábová, Petra maiden name: Kadlecová
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vzdělávání v kybernetické bezpečnosti | Theses on a related topic

242.
Kalina, Tomáš
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Proměna čínské strategické kultury v současnosti, její jednotlivé subkultury a vztah k tzv. velké strategii Číny | Theses on a related topic

243.
Kalla, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnost MIFARE karet | Theses on a related topic

244.
Kantarský, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Anonymní komunikace na internetu | Theses on a related topic

245.
Karas, Radek
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education
Master's thesis defence: Prevence úrazů při školní cyklistice na druhém stupni základních škol a středních školách | Theses on a related topic
Master's thesis defence: Prevence úrazů při školní cyklistice na druhém stupni základních škol a středních školách | Theses on a related topic

246.
Kasanič, Denis
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Bezpečnostní mechanismy softwarově-definovaných sítí | Theses on a related topic

247.
Katolická, Lucie
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Security & Strategic Studies / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Lidská bezpečnost v Salvadoru | Theses on a related topic

248.
Kaya, Emre Kursat
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Governance
Master's thesis defence: The Permanent Structured Cooperation and its Impact on European Union s Global Actorness | Theses on a related topic

249.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

250.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic