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

101.
Boroň, Dávid
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Bezpečnost a ochrana práce v továrnách podpořena moderními technologiemi | Theses on a related topic Display description

Master's thesis defence: Bezpečnost a ochrana práce v továrnách podpořena moderními technologiemi | Theses on a related topic Display description

102.
Božíková, Iva
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Vývoj správy policie | Theses on a related topic

103.
Brázda, Stanislav
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Management of Tourist Trade)
Bachelor's thesis defence: Didaktické postupy v kiteboardu | Theses on a related topic

104.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

105.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

106.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

107.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic

108.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

109.
Bruštík, Lukáš
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Policie České republiky jako správní orgán na úseku zbraní a střeliva | Theses on a related topic

110.
Břeň, Jan
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Public Policy / Theory and Practice of Criminal and Administrative Procedure
Bachelor's thesis defence: Komparace protiteroristické právní úpravy ve vybraných státech Evropy od roku 2015 | Theses on a related topic

111.
Bučilová, Lenka
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Analýza aktivity Wagnerovy skupiny v Africe | Theses on a related topic

112.
Buchta, Marián
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnost technologie bluetooth | Theses on a related topic
Bachelor's thesis defence: Bezpečnost technologie Bluetooth | Theses on a related topic

113.
Buchtová, Sofie
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: International Relations / International Relations
Master's thesis defence: Nová bezpečnostní strategie Japonska | Theses on a related topic

114.
Bukovská, Andrea
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Bezpečnostná situácia v období migračnej krízy z pohľadu štátov Strednej Európy | Theses on a related topic

115.
Burda, Matúš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Použití služby reCAPTCHA v prostředí WikiSkript | Theses on a related topic

116.
Burian, David
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: Historie a metodika snowkitingu v České republice | Theses on a related topic

117.
Burian, Martin
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Vězeňství v kontextu bezpečnosti ČR | Theses on a related topic
Bachelor's thesis defence: Analytický popis hlavních bezpečnostních hrozeb a rizik, vyplývajících z aktuálních problémů českého vězeňství | Theses on a related topic

118.
Burian, Michal
Faculty: Faculty of Sports Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Trenérství)
Master's thesis defence: Kiteboarding - technika a metodika | Theses on a related topic

119.
Caban, Jakub
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Asistent posuzovatele | Theses on a related topic

120.
Čadílek, Harald
Faculty: Faculty of Social Studies
Year: 2015, studies terminated for failure to fulfill study requirements
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Komparace vlivu Bushovy a Obamovy administrativy na japonsko-korejské vztahy | Theses on a related topic
Bachelor's thesis defence: Komparace vlivu Bushovy a Obamovy administrativy na japonsko-korejské vztahy | Theses on a related topic

121.
Čech, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Důvěryhodnost software z pohledu uživatele | Theses on a related topic

122.
Čermák, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Ochrana přenosu dat v přenosovém kanále systému Bluetooth | Theses on a related topic

123.
Černohous, Tomáš
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Moderní pirátství v Somálsku - analýza bezpečnostních hrozeb | Theses on a related topic

124.
Černohous, Tomáš
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Ozbrojené konflikty po skončení studené války ve východní Africe | Theses on a related topic

125.
Černohous, Tomáš
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: International Territorial Studies (4-years) / International Relations
Doctoral thesis defence: Bezpečnostní vztahy Afghánistánu se státy v jeho sousedství | Theses on a related topic

126.
Černohous, Tomáš
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: PhDr.
Programme/field: International Territorial Studies / International Relations
Advanced Master's thesis defence: Trendy ozbrojených konfliktů a bezpečnostních vztahů ve východní Africe | Theses on a related topic

127.
Červeňová, Tímea
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Political Science / European Studies, Security & Strategic Studies
Bachelor's thesis defence: Estónsko: koncept psychologickej obrany | Theses on a related topic

128.
Čonková, Marta
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Ozbrojené konflikty po skončení studenej vojny v krajinách južnej Afriky | Theses on a related topic

129.
Daněk, Ondřej
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Bezpečnost v elektronickém obchodování | Theses on a related topic

130.
Daubner, Lukáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic

131.
Davidová, Sára
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Security and Strategic Studies / Security and Strategic Studies
Master's thesis defence: Bezpečnostní aspekty migrace ze Sýrie do České republiky | Theses on a related topic

132.
Deutsch, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Analýza existujících hostitelských systémů detekce průniku | Theses on a related topic

133.
Dittrichová, Lada
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in German Language and Literature, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Ke společenskému životu ve Slavkově u Brna v meziválečném období - bezpečnost a kultura | Theses on a related topic

134.
Dlapová, Vendula
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Vliv sociálních sítí na jedince | Theses on a related topic

135.
Dlapová, Vendula
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Bezpečné používání sociálních sítí jako téma ve výuce Informatiky na základní škole | Theses on a related topic

136.
Dobeš, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Prostředky řízení bezpečnosti informací | Theses on a related topic

137.
Doležalová, Ivana
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic

138.
Doležalová, Michaela
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Selected Security Aspects of Docker | Theses on a related topic

139.
Doležalová, Michaela
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Users’ Trust in Applications and its Security Implications | Theses on a related topic

140.
Doleželová, Eva
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / International Relations
Bachelor's thesis defence: Norská bezpečnostní politika na základě konceptu malého státu se zaměřením na vyjednávání o nové strategické koncepci NATO 2010 | Theses on a related topic

141.
Doleželová, Eva
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Severští neutrálové a NATO po studené válce | Theses on a related topic

142.
Dragoun, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Implementace skrytých kanálů v IPv6 | Theses on a related topic

143.
Drbola, Vojtěch
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Hnutí Šifropunk: problematika kryptoměn a anonymity v kyberprostoru | Theses on a related topic

144.
Drexler, Tomáš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Ochrana informačního soukromí v praxi | Theses on a related topic

145.
Durna, Radek
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Mapování problémových míst na cyklotrasách a cyklostezkách v Brně | Theses on a related topic

146.
Eklová, Pavlína
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Vliv sociálních sítí na žáky 2. stupně základní školy | Theses on a related topic

147.
Fábián, Attila
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Možnosti použití moderních technických prostředků v elektronickém bankovnictví | Theses on a related topic
Master's thesis defence: Možnosti použití moderních technických prostředků v elektronickém bankovnictví | Theses on a related topic

148.
Faitová, Kateřina
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Zranitelnost státu Arménie: analýza vojensko-politických a sociálních indikátorů | Theses on a related topic

149.
Farkaš, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Biometrické systémy založené na srovnání hlasu | Theses on a related topic

150.
Fecko, Michal
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Analýza a simulace zranitelností v internetu věcí | Theses on a related topic