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

551.
Menšík, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic Display description

552.
Merva, Nela maiden name: Adámková
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Czech Language and Literature for Education, Russian Language for Education
Bachelor's thesis defence: Divadelní hry dramaturgické dílny Národního divadla z počátku 60. let 20. století | Theses on a related topic

553.
Merva, Nela maiden name: Adámková
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Czech Language and Literature / Lower Secondary School Teacher Training in Czech Language and Literature, Lower Secondary School Teacher Training in Russian Language
Master's thesis defence: Divadelní hry Františka Hrubína a současnost | Theses on a related topic

554.
Metelková, Adéla
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature for Education / Civics and Basics of Social Studies for Education, Czech Language and Literature for Education
Bachelor's thesis defence: Kázeňské problémy na 2. stupni ZŠ při prezenční a distanční výuce | Theses on a related topic

555.
Mičková, Michaela
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education, Special Education for Education
Bachelor's thesis defence: Komparácia inkluzívneho vzdelávania v Nemecku a na Slovensku | Theses on a related topic

556.
Mihola, Martin
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Law / Law
Master's thesis defence: Postavení dlužníka a věřitele v řízení o preventivní restrukturalizaci v české a rakouské právní úpravě | Theses on a related topic

557.
Michaleová, Martina
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Business Management / Business Management
Bachelor's thesis defence: Sociální podnikání v krajinách V4 | Theses on a related topic

558.
Michalovichová, Pavla
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Tematické rozdělení, analýza a komparace tvorby Vladimira Vysockého a Karla Kryla | Theses on a related topic

559.
Mikuláštík, Pavel
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Komparace investičních strategií hedgeových fondů a fondů kvalifikovaných investorů | Theses on a related topic

560.
Mikulec, Michal
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: Síla ženských hrdinek (srovnání skutečnosti s filmem) | Theses on a related topic
Bachelor's thesis defence: Veronica Guerin: Srovnání filmu se skutečností | Theses on a related topic

561.
Mikulíková, Renata
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 Russian Language and Literature
Bachelor's thesis defence: Morfologická analýza ruské částice "by" v kondicionálu v porovnávacím aspektu češtiny a ruštiny | Theses on a related topic

562.
Mikuš, Petr
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Economy and Management (4-years) / Business Economy and Management
Doctoral thesis defence: Družstva a akciové společnosti - shodné a rozdílné rysy z pohledu homo oeconomicus | Theses on a related topic

563.
Minář, Michal
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Sports Education)
Master's thesis defence: Analýza plaveckého způsobu prsa pomocí speedometru | Theses on a related topic

564.
Mišovičová, Martina
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Malina Bachmanns und Malina von Jelinek: Vergleichende Interpretation und Analyse des Drehbuchs und dessen Romanvorlage | Theses on a related topic

565.
Mišovičová, Martina
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Malina Bachmanns und Malina von Jelinek: Vergleichende Interpretation und Analyse des Drehbuchs und dessen Romanvorlage | Theses on a related topic

566.
Mlčáková, Eva
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, English Language and Literature
Bachelor's thesis defence: Speech Defects in English Speaking and Czech Children | Theses on a related topic

567.
Modlová, Sabina
Faculty: Faculty of Law
Year: 2010, studies terminated for failure to fulfill study requirements
Programme/field: Law and Legal Science / Law
Master's thesis defence: Ekologické daně | Theses on a related topic

568.
Mohrová, Markéta
Faculty: Faculty of Education
Year: 2011, 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 Geography
Bachelor's thesis defence: L'univers du rap français (Diam's et Sniper) | Theses on a related topic

569.
Mokošáková, Natália
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: German Language and Literature / German language and literature, Italian Language and Literature
Bachelor's thesis defence: Prädikationen mit wie in deutschen Rap-Songs | Theses on a related topic

570.
Mokrá, Marie
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Czech Language and Literature for Education, Music for Education
Bachelor's thesis defence: Hudba žďárského cisterciáckého kláštera | Theses on a related topic

571.
Molíková, Hana
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / Scandinavian Studies
Bachelor's thesis defence: Komponent částí lidského těla ve švédské, německé a české kontrastivní frazeologii jako prostředek pro vyjádření emocionality | Theses on a related topic

572.
Moncmanová, Andrea
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philology / Dutch Language and Literature
Bachelor's thesis defence: Liefde en verstand in vaste verbindingen in het Nederlands en het Tsjechisch. Een formeel- en cognitief-semantische vergelijking. | Theses on a related topic

573.
Moravcová, Kateřina
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Der Vergleich der Übersetzungen des Werkes von Thomas Mann "Der Zauberberg". Versuch um eine eigene Übersetzung der ausgewählten Textpassagen. | Theses on a related topic

574.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic

575.
Morcinek, Filip
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Finanční gramotnost obyvatel České republiky v důchodovém věku | Theses on a related topic

576.
Mravík, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Two-handed Object Manipulation in Virtual Reality | Theses on a related topic

577.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

578.
Mrázová, Milena
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Deutsche Sprichtwörter mit Tierbezeichnungen und ihre tschechischen Äquivalente\\Eine vergleichende Analyse | Theses on a related topic

579.
Mrhálková, Martina
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Komparace účetní soustavy v České republice a Ruské federaci se zaměřením na účetní doklady | Theses on a related topic

580.
Mudrák, Jaroslav
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Fondy kolektivního investování a ETF - možnosti využití k zajištění na stáří | Theses on a related topic

581.
Mudríková, Martina maiden name: Slivková
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Komparácia volebného systému do austrálskeho senátu a dolnej komory tasmánskeho parlamentu | Theses on a related topic

582.
Müller, Tomáš
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Správní soudnictví a jeho komparace se zeměmi EU | Theses on a related topic

583.
Muschalek, Radim
Faculty: Faculty of Social Studies
Year: 2024, studies under way
Programme/field: Security & Strategic Studies / International Relations, Security and Strategic Studies
Bachelor's thesis defence: Paralela mezi konflikty v Sudetech a na Donbase se zaměřením na separatismus | Theses on a related topic

584.
Musil, Jan
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Biology, Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Historie kovů ve výuce chemie | Theses on a related topic

585.
Musil, Karel
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Economic Policy and Administration / Economic Policy
Doctoral thesis defence: International Growth Rule Model: New Approach to the Foreign Sector of the Open Economy | Theses on a related topic

586.
Musilová, Doubravka
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Evaluace močového analyzátoru DIRUI FUS – 3000 Plus | Theses on a related topic

587.
Musilová, Markéta maiden name: Ottová
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Specialization in Pedagogy / Musical Theory and Pedagogy
Doctoral thesis defence: Analýza a komparace kantát Svatební košile Antonína Dvořáka, Vítězslava Nováka a Bohuslava Martinů | Theses on a related topic

588.
Mužík, Přemysl
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Soudní uplatnění směnečné pohledávky ve vybraných právních řádech | Theses on a related topic

589.
Nahalka, Dávid
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Physics / Medical Physics
Bachelor's thesis defence: MR zobrazování tenzoru difúze (DTI) | Theses on a related topic

590.
Najdeková, Kateřina
Faculty: Faculty of Arts
Year: 2019, studies terminated for failure to fulfill study requirements
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Frazémy s komponentem vlastních jmen v ruském a českém jazyce | Theses on a related topic

591.
Nálezková, Kateřina
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Zdravotní aspekty beachvolejbalu ve srovnání s volejbalem | Theses on a related topic

592.
Náplava, Filip
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Porovnání poesie Josefa Macha a Františka Gellnera | Theses on a related topic

593.
Navrátil, Pavel
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / English Language for Education, Physical Education and Sport
Bachelor's thesis defence: Tělesná zdatnost dětí školního věku | Theses on a related topic

594.
Navrátilová, Martina
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Využití průmyslových zón v malých městech Pardubického kraje | Theses on a related topic

595.
Nečas, Petr
Faculty: Faculty of Economics and Administration
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Dotace ze strukturálních fondů pro subjekty soukromého sektoru v období 2007-2013 | Theses on a related topic

596.
Nedoma, Štěpán
Faculty: Faculty of Law
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Správní soudnictví a jeho komparace se zeměmi EU | Theses on a related topic

597.
Nekuda, Filip
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and International Relations / Economic Policy and International Relations
Master's thesis defence: Jižní Kavkaz v průsečíku zájmů | Theses on a related topic

598.
Němcová, Hana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Analyse und Vergleich der tschechischen Übersetzungen der Novelle Eichendorffs "Aus dem Leben eines Taugenichts" | Theses on a related topic

599.
Němcová, Hana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Analyse und Vergleich der tschechischen Übersetzungen der Novelle Eichendorffs "Aus dem Leben eines Taugenichts" | Theses on a related topic

600.
Nesvadbová, Anna
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature for Education / Czech Language and Literature for Education, History for Education
Bachelor's thesis defence: Postavy a motivy v povídkách Aloise Mrštíka | Theses on a related topic