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

51.
Tomaschek, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Evaluation of off-the-shelf OCR technologies | Theses on a related topic Display description

Bachelor's thesis defence: Evaluation of off-the-shelf OCR technologies | Theses on a related topic Display description

52.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic

53.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

54.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic

55.
Adamcová, Barbora
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: Two queens in the film Mary Queen of Scots: comparative analysis of the acquired accents of two protagonists | Theses on a related topic

56.
Adamec, Jan
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Economic Policy / Economic Policy
Master's thesis defence: Porovnání důsledků vlád konzervativců a labouristů na britskou ekonomiku v letech 1960-2020 | Theses on a related topic

57.
Adamec, Peter
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: The Internet News Headlines: an Analysis | Theses on a related topic

58.
Adamec, Peter
Faculty: Faculty of Education
Year: 2012, 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: Persuasion in political discourse | Theses on a related topic

59.
Adamková, Kristýna
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philology / Japanese Language and Culture
Bachelor's thesis defence: Pohled mladých Japonců na svatyni Yasukuni | Theses on a related topic
Bachelor's thesis defence: Pohled mladých Japonců na svatyni Yasukuni | Theses on a related topic

60.
Albrechtová, Barbara
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Experimental Biology / Special Biology (combination/specialization: Ecotoxicology)
Bachelor's thesis defence: In vitro metody a jejich relevance vůči situaci in vivo - nové trendy v experimentech s tkáňovými kulturami | Theses on a related topic

61.
Ambrůzová, Klára
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Translation of Modern European Languages / Translatology of French
Master's thesis defence: Alain-Fournier, Le Grand Meaulnes a jeho překlady | Theses on a related topic

62.
Anděl, Jan
Faculty: Faculty of Sports Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Porovnání pohybové aktivity studentů oboru SEBS s dalšími obory Fakulty sportovních studií | Theses on a related topic

63.
Andrlíková, Marie
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Mathematics for Education, Physical Education and Sport
Bachelor's thesis defence: Komparace kinematických parametrů závodního výkonu v požárním sportu | Theses on a related topic

64.
Antal, Marek
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education
Bachelor's thesis defence: Comparison of the first and the fourth(latest) edition of an English textbook. Analysis of development. | Theses on a related topic

65.
Antal, Marek
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School English Language Teacher Training / Lower Secondary School English Language Teacher Training
Master's thesis defence: Comparison of ELT Coursebooks for Lower Secondary Schools in Terms of Teaching Grammar | Theses on a related topic

66.
Antoš, Vojtěch
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Russian Language for Education / History for Education, Russian Language for Education
Bachelor's thesis defence: Komparační charakteristika hudební tvorby Ally Pugačovové a Karla Gotta v diachronním aspektu | Theses on a related topic

67.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic

68.
Babický, Tomáš
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies and International Relations
Master's thesis defence: Role rozvojové pomoci v zahraniční politice - srovnání přístupů hlavních světových donorů | Theses on a related topic

69.
Bábík, Lukáš
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Okolnosti vylučující protiprávnost v právní úpravě České republiky a USA - komparativní pohled | Theses on a related topic

70.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic

71.
Bačíková, Klára
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in German Language / Lower Secondary School Teacher Training in German Language
Master's thesis defence: Rezeption der zeitgenössischen tschechischen Literatur in Österreich nach der Samtenen Revolution (1989-2023) | Theses on a related topic

72.
Báčová, Veronika
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, German Language and Literature
Bachelor's thesis defence: Deutsche Vergleiche, Sprichwörter, verbale und nominale Idiome mit größeren Haustieren und ihre tschechischen Äquivalente | Theses on a related topic

73.
Báčová, Veronika
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Deutsche Vergleiche, Sprichwörter, verbale und nominale Idiome mit Farben und ihre englischen und tschechischen Äquivalente | Theses on a related topic

74.
Bajerová, Alžběta
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Comparative Analysis of Russian and Chinese Influence Operations: Case of the Czech Republic | Theses on a related topic

75.
Baluchová, Beáta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Archaeology / Prehistoric Archaeology of Near East
Bachelor's thesis defence: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Theses on a related topic
Bachelor's thesis defence: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Theses on a related topic

76.
Balyka, Mikhail
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance (Eng.)
Master's thesis defence: Financial reporting for non-current and current assets under national GAAP and global IFRS for SME. Evidence from Belarus. | Theses on a related topic

77.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

78.
Bartošová, Veronika
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Comparison of English Pronunciation of Italian and Spanish Speakers | Theses on a related topic

79.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic

80.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic

81.
Běhálková, Eva
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Srovnání přístupu České národní banky a Švýcarské národní banky k rostoucí inflaci | Theses on a related topic

82.
Belej, Peter
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Mezinárodní neziskové organizace a jejich působení v ČR a SR | Theses on a related topic

83.
Bellovičová, Martina
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in German Language and Literature
Master's thesis defence: William Saroyan: Náhodná setkání (překlad a rozbor) | Theses on a related topic

84.
Bělohlávková, Petra
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Philological Area Studies
Bachelor's thesis defence: Srovnání srbské a české pohádky | Theses on a related topic

85.
Bělohlávková, Tereza
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Comparación de los tipos de titulares usados en las secciones de Deporte y Cultura en el periódico El País y la prensa amarilla | Theses on a related topic

86.
Bělohlávková, Tereza
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Finanční gramotnost studentů ekonomických a filozofických fakult | Theses on a related topic

87.
Beňa, Michal
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Komparace investování do diamantů a drahých kovů | Theses on a related topic

88.
Bendel, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic

89.
Bendlová, Petra maiden name: Wiecková
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Komparace vybraných prediktivních metod na případu územních ekologických limitů těžby hnědého uhlí v Mostecké pánvi | Theses on a related topic

90.
Beneš, David
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Economic Policy, French Language for Commerce and Administration
Bachelor's thesis defence: Srovnání hospodářské politiky v Protektorátě a v Německu | Theses on a related topic

91.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic

92.
Benešová, Adéla
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / French Language for Commerce, Public Economics and Administration
Bachelor's thesis defence: Daň z nemovitých věcí ve vybraných zemích EU | Theses on a related topic

93.
Benešová, Alena
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Komparace výkonnosti dálkových plavců v bazénu a na otevřené vodě. | Theses on a related topic

94.
Beníčková, Petra
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Financial Management
Bachelor's thesis defence: Komparace elektronického bankovnictví v ČR a ve vybraných zemích mimo EU | Theses on a related topic

95.
Beníčková, Petra
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Komparace hypotéky a stavebního spoření v ČR a ve vybraných zahraničních zemích | Theses on a related topic

96.
Beňková, Dominika
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Komparácia pokroku v oblasti e-governmentu v Českej republike a na Slovensku | Theses on a related topic

97.
Benzid Oľhová, Mária
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Komparace stylů vedení mužů a žen | Theses on a related topic

98.
Beránek, Daniel
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Pozitivní psychologie a vybrané duchovní směry: komparativní analýza | Theses on a related topic
Master's thesis defence: Aktualizace východisek a možností pozitivní psychologie | Theses on a related topic

99.
Beránek, Jan
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Komparace ETF a fondů kolektivního investování z pohledu středně velkého investora | Theses on a related topic

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