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

divine, spin, benchmark, ltsmin, model checking, ltl, preach, comparison

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Berger, Erik
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Civics
Bachelor's thesis defence: Porovnání tělesného složení vysokoškolských studentů sportovních a nesportovních oborů | Theses on a related topic Display description

102.
Bernardová, Petra
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in French Language and Literature, Lower Secondary School Teacher Training in German Language and Literature
Bachelor's thesis defence: La fable - comparaison d'une version francaise, latine et tcheque | Theses on a related topic

103.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic

104.
Blaho, Petr
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Civics and Basics of Social Studies for Education, Physical Education and Sport
Bachelor's thesis defence: Průpravná fotbalová cvičení na základních a středních školách | Theses on a related topic

105.
Blahová, Klára
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in French Language and Literature
Bachelor's thesis defence: Du réalisme au naturalisme, transformation des héroines littéraires | Theses on a related topic

106.
Blašková, Ivana
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Opožděný vývoj řeči u dvojčat | Theses on a related topic

107.
Blažková, Marcela
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Audit ve Francii v komparaci s ČR | Theses on a related topic

108.
Blažková, Radka
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / History
Bachelor's thesis defence: Brněnská YWCA v letech 1936-1938 a 1946-1948. Srovnání vybraných aspektů | Theses on a related topic

109.
Bobková, Barbora
Faculty: Faculty of Economics and Administration
Year: 2015, studies terminated for failure to fulfill study requirements
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Účtování o vlastním kapitálu podle českých a mezinárodních pravidel. | Theses on a related topic

110.
Bodnár, Nikolas
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Geography / Applied Geography and Geoinformatics (combination/specialization: Geoinformatics and Sustainable Development)
Bachelor's thesis defence: Hodnocení výkonu a účinnosti fotovoltaické elektrárny v Hostětíně | Theses on a related topic

111.
Boháčková, Michaela
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Administrative Law / Financial Administration
Bachelor's thesis defence: Veřejný ochránce práv | Theses on a related topic

112.
Böhmová, Alžběta
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Legal Regulation of Fashion Design | Theses on a related topic

113.
Bojanovská, Tereza maiden name: Žáková
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature
Master's thesis defence: Ukazovací zájmena v staroslověnštině ve srovnání s ruštinou a češtinou | Theses on a related topic

114.
Bokůvka, Dominik
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Porovnání vybraných somatických parametrů elitních českých a světových fotbalových týmů | Theses on a related topic

115.
Bokůvka, Dominik
Faculty: Faculty of Sports Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Výzkum plantárních tlaků u výkonnostních fotbalistů | Theses on a related topic

116.
Borák, Tomáš
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Political Science
Bachelor's thesis defence: Hodnotenie mierovej dohody v Líbyi v porovnaní s medzinárodnými benchmarkami a odporúčania z toho plynúce | Theses on a related topic

117.
Borková, Erika
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Srovnání židovských a křesťanských svátků a tradic | Theses on a related topic

118.
Borovička, Richard
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Richard Wright's "Black Boy": Translation and Analysis | Theses on a related topic

119.
Boršková, Miroslava
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Komparace politických východisek Margaret Thatcher a Václava Klause | Theses on a related topic

120.
Boucníková, Pavla
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Biology / Biology with a view to Education, Geography and Cartography with a view to Education
Bachelor's thesis defence: Základy současné geografie | Theses on a related topic

121.
Brabcová, Veronika
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Územní samospráva ve Francii a v ČR | Theses on a related topic

122.
Brázdil, Jan
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Koncept charakteru u Aristotela a Menandra | Theses on a related topic

123.
Brejša, Vít
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Komparace české a rakouské právní úpravy koncentrace civilního řízení | Theses on a related topic

124.
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

125.
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

126.
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

127.
Brychtová, Adéla
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Komparace centrálních bank ve státech vstoupivších do EU v letech 2007 a 2013 | Theses on a related topic

128.
Brym, Václav
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: System Engineering and Informatics / Business Informatics
Master's thesis defence: Srovnání přístupů k modelování datového skladu | Theses on a related topic

129.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic

130.
Bulánková, Michaela maiden name: Pešková
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Vzdělávací oblast Informační a komunikační technologie na 1. stupni ZŠ | Theses on a related topic

131.
Burianová, Anita
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Srovnání slovesných typů ve finštině a kvénštině | Theses on a related topic

132.
Bursíková, Lenka maiden name: Karbanová
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Správní soudnictví v ČR a ve Francii | Theses on a related topic

133.
Bužík, Jan
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Geography / Applied Geography and Geoinformatics (combination/specialization: Geoinformatics and Regional Development)
Bachelor's thesis defence: Rozvoj samosprávné obce a obce pod správou města - komparace dynamiky rozvoje obce Spešov a Dolní Lhota | Theses on a related topic

134.
Byrtusová, Nikola
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, English Language for Education
Bachelor's thesis defence: Rozdíly v řešení kázně na běžných a alternativních základních školách | Theses on a related topic

135.
Cahová, Štěpánka
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: A Comparison of Homer's Odyssey Translations: Wilson, Fitzgerald | Theses on a related topic

136.
Ceplová, Michaela
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Pravidla podporující rovné zastoupení žen a mužů na kandidátních listinách - komparativní pohled | Theses on a related topic

137.
Ciffra, Vojtech
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economic Policy / Economic Policy
Bachelor's thesis defence: Komparace činnosti orgánů pro ochranu hospodářské soutěže EU a USA v případech kauzy „lootboxů“ a plánované akvizice společnosti Activision Blizzard společností Microsoft | Theses on a related topic

138.
Cinová, Barbora
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in French Language and Literature, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Lanfeust de Troy et Les Tours de Bois Maury | Theses on a related topic

139.
Cirjáková, Alexandra
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: French Language for Education / French Language for Education
Bachelor's thesis defence: Comparaison des manuels du FLE du point de vue des critères de l’approche actionnelle | Theses on a related topic

140.
Citovská, Vendula
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in English Language and Literature
Bachelor's thesis defence: Psychická zátěž pedagogů - syndrom vyhoření | Theses on a related topic

141.
Culek, David
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: Rozvíjející se trhy Latinské Ameriky a NAFTA jako intervenující faktor: případové studie Mexika a Brazílie | Theses on a related topic

142.
Cupáková, Tamara
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Komparace výuky účetnictví na vysokých školách univerzitního typu | Theses on a related topic

143.
Čapčuchová, Pavlína
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Literature Comparatistics
Master's thesis defence: Komparativní analýza vybraných naturalistických děl Emila Zoly a Eugena Kumičiće | Theses on a related topic

144.
Čapek, Martin
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Geography / Geoinformatics and Regional Development
Bachelor's thesis defence: Komparace dopravních sítí se strukturou Vápenatky mnohohlavé | Theses on a related topic

145.
Čápová, Barbora
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Srovnání psychomotoriky v České republice a ve Spolkové republice Německo | Theses on a related topic

146.
Čechovská, Katarina
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Culture Management
Master's thesis defence: Komparace ekonomiky kultury EU a USA | Theses on a related topic

147.
Čepán, Filip
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Analýza výnosnosti vybraného segmentu ETFs | Theses on a related topic

148.
Čermáková, Lucie
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Používání imperfekta a perfekta ve finštině a estonštině | Theses on a related topic

149.
Černá, Kristýna maiden name: Vrchlabská
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Mediterranean Studies
Bachelor's thesis defence: Srovnání vlastních jmen ve Španělsku a v České republice se zřetelem ke jménům latinského původu | Theses on a related topic

150.
Černá, Kristýna maiden name: Vrchlabská
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Spanish-language Translation
Master's thesis defence: Traducción jurídica: Comparación de la Ley Cambiaria checa y española | Theses on a related topic