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

701.
Prokopová, Anna
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance and Law
Bachelor's thesis defence: Zpoplatnění komunálního odpadu | Theses on a related topic Display description

702.
Příkaská, Barbora
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Arbeit in der tschechisch-deutschen Phraseologie | Theses on a related topic

703.
Přívarová, Markéta
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Spanish Language and Literature / Spanish Language and Literature
Bachelor's thesis defence: Comparación de las oraciones subordinadas adjetivas de relativo en checo y en español | Theses on a related topic

704.
Přívratská, Kateřina
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Russian Language and Literature
Master's thesis defence: Ruský doplněk a jeho protějšky v češtině | Theses on a related topic

705.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic

706.
Purmenská, Eva
Faculty: Faculty of Education
Year: 2007, 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 French Language and Literature
Bachelor's thesis defence: Prozaická trilogie Věry Sládkové | Theses on a related topic

707.
Raděj, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Software for Parameterization of EEM | Theses on a related topic

708.
Radosová, Adriána
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: "Gott, Teufel und Engel" in der deutsch-slowakischen Phraseologie | Theses on a related topic

709.
Rajdík, Michal
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Porovnanie konfliktov o vzácne drevo na Barme a Borneu | Theses on a related topic

710.
Rajníková, Jana
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Regional Development and Tourism / Regional Development and Tourism
Bachelor's thesis defence: Hodnota definovaného spotřebitelského koše ve vybraných provozovnách dané lokality | Theses on a related topic

711.
Rakúsová, Ivana
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: USA a podpora demokracie: komparace přístupu Bushovy a Obamovy administrativy | Theses on a related topic

712.
Rambousek, Dan
Faculty: Faculty of Sports Studies
Year: 2014, 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: Pohybová aktivita vysokoškolských studentů v ČR a Španělsku | Theses on a related topic

713.
Randová, Markéta
Faculty: Faculty of Law
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Kolizní problematika věcných práv v novém ZMPS | Theses on a related topic

714.
Raus, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Regional Development / Project management
Master's thesis defence: Komparativní analýza socioekonomického rozvoje českých krajů | Theses on a related topic

715.
Reháková, Martina
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / European Economy, Administrative and Cultural Studies
Bachelor's thesis defence: Daňový řád v komparaci s právní úpravou ve vybraném státě Evropské unie | Theses on a related topic

716.
Repčíková, Viktória
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Regional Development / Project management
Master's thesis defence: Regionální dimenze výzkumu a vývoje na Slovensku | Theses on a related topic

717.
Režňáková, Ingrid
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Přímé daně uplatňované v daňových systémech ČR a Rakouska | Theses on a related topic

718.
Rigová, Eliška
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Komparace externího financování obcí v ČR a USA | Theses on a related topic

719.
Richterek, Vít
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Analýza vývoje ceny ropy, zlata, vybraných blue chips a akciových indexů | Theses on a related topic

720.
Richterová, Viola
Faculty: Faculty of Medicine
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Dental Hygiene / Dental Hygiene
Bachelor's thesis defence: Porovnání ústní hygieny pacientů s fixními a fóliovými aparáty | Theses on a related topic

721.
Robošová, Jana
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Komoditní burzovnictví v ČR a ve světě | Theses on a related topic
Bachelor's thesis defence: Komoditní burzovnictví v ČR a ve světě | Theses on a related topic

722.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic

723.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic

724.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic

725.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic

726.
Románek, Michal
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Theses on a related topic
Master's thesis defence: Translation of LTL to Semi-Deterministic Automata via Alternating Automata | Theses on a related topic

727.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic

728.
Rozič, Roman
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Methods for Alphanumeric Input in Virtual Reality | Theses on a related topic

729.
Rožnovská, Blanka
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Unterschiede zwischen den Übersetzungen des Werks Das Gewissen der Worte | Theses on a related topic

730.
Rucký, Michal
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Problémy českého kapitálového trhu | Theses on a related topic

731.
Ručková, Lucia
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature, Polish Language and Literature
Bachelor's thesis defence: Kontrastywna analiza polskich i francuskich związków frazeologicznych | Theses on a related topic

732.
Ruizlová, Michaela
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Specifika online komunikace na internetových fórech věnovaných mateřství (na základě ruského jazyka ve srovnání s češtinou) | Theses on a related topic

733.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

734.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | Theses on a related topic

735.
Ruprich, Ivo
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Regionální rozvojové agentury vs krajské úřady a jejich aktivity v cestovním ruchu | Theses on a related topic
Master's thesis defence: Regionální rozvojové agentury vs krajské úřady a jejich aktivity v cestovním ruchu | Theses on a related topic
Master's thesis defence: Regionální rozvojové agentury vs krajské úřady a jejich aktivity v cestovním ruchu | Theses on a related topic

736.
Rusnák, David
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Relational Databases in Containers | Theses on a related topic
Bachelor's thesis defence: Relational Databases in Containers | Theses on a related topic

737.
Ryglová, Nicolle
Faculty: Faculty of Education
Year: 2015, 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 History
Bachelor's thesis defence: Horácké nářečí a běžná mluva na Třebíčsku | Theses on a related topic

738.
Rychlíková, Aneta
Faculty: Faculty of Education
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in Russian Language
Master's thesis defence: Pohřební obřad a tradice vzpomínání na zesnulé u Rusů a Čechů v komparativním aspektu | Theses on a related topic

739.
Rylková, Lucie
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Monetary System (combination/specialization: Banking System)
Bachelor's thesis defence: Srovnání kvality bankovních služeb ve vybraných bankách | Theses on a related topic

740.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

741.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

742.
Řehola, Martin
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Sports Management
Bachelor's thesis defence: Analýza vybraných sportů v ČR a jejich úspěchů na vrcholných sportovních akcích | Theses on a related topic

743.
Řezníčková, Barbora
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Literature Comparatistics
Master's thesis defence: Tematologické filiace pohádky o Popelce | Theses on a related topic

744.
Řídká, Tereza
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics
Bachelor's thesis defence: Mezinárodní účetní standardy pro veřejný sektor | Theses on a related topic

745.
Řídká, Tereza
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Komparace financování církví a náboženských společností ve Francii a v ČR | Theses on a related topic

746.
Sassmannová, Pavla
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: North-American Culture Studies / Anglophone and Francophone Area Studies
Master's thesis defence: Immigration to Canada vs Immigration to the USA | Theses on a related topic

747.
Satůrková, Eva
Faculty: Faculty of Arts
Year: 2015, 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: Prager Zeitung und LandesEcho - textstilistische Analyse und kontrastiver Vergleich | Theses on a related topic

748.
Sax, Ondřej
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Political Science / Political Science
Doctoral thesis defence: Přímé prezidentské volby ve střední Evropě | Theses on a related topic

749.
Secký, Michal
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Law / Law
Master's thesis defence: Přeměna pracovního poměru z doby určité na dobu neurčitou | Theses on a related topic

750.
Sedláčková, Martina maiden name: Kašpárková
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / German Language for Education
Bachelor's thesis defence: Geni@l klick Lehrwerkanalyse im Kontext der Tertiärsprachendidaktik | Theses on a related topic