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

divine, model based development, simulink, stateflow, formal verification, model checking, translation

Keywords ordered alphabetically | Keywords ordered by occurrence rate

601.
Pivničková, Tereza
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / French Language and Literature
Master's thesis defence: Je ne suis pas une héroïne (traduction et analyse stylistique) | Theses on a related topic Display description

602.
Pižemová, Natália
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philology / Portuguese Language and Literature
Master's thesis defence: Tradução comentada dum fragmento escolhido do romance A mulher que escreveu a Bíblia de Moacyr Scliar | Theses on a related topic

603.
Pižemová, Natália
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Portuguese Language and Literature
Master's thesis defence: Tradução comentada dum fragmento escolhido do romance A mulher que escreveu a Bíblia de Moacyr Scliar | Theses on a related topic

604.
Plachtová, Hana
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translatology of French
Master's thesis defence: Román Mechanika srdce od M. Malzieua - četba pro děti či dospělé? Překladatelský rozbor | Theses on a related topic

605.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Vysvětlování protipříkladů v nástroji DiVinE | Theses on a related topic

606.
Plátková, Štěpánka
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Lokalisierung und Übersetzung der touristischen Internetportale Austria.info, Czechtourism.com, Germany.travel und Myswitzerland.com | Theses on a related topic

607.
Plecháčková, Jana
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature, German Language and Literature
Master's thesis defence: Passive Voice in Translation: A Corpus-Based Study | Theses on a related topic

608.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

609.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

610.
Pluháčková, Eva
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Übersetzungsproblematik der makro- und mikrostilistischen Ebene am Beispiel des Buches „Sommerhaus, später“ von Judith Hermann | Theses on a related topic

611.
Pokorná, Lucie
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Dan Brown s Deception Point and its Two Czech Translations | Theses on a related topic

612.
Pokorná, Vendula
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: Komentovaný překlad vybraných odborných textů na téma „Odpadní vody a metody jejich čištění“ | Theses on a related topic

613.
Poláčková, Adriana
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Dutch Language and Literature
Master's thesis defence: De vertaling van Oeroeg naar het Slowaaks met commentaar | Theses on a related topic

614.
Polanská, Veronika
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Translation of Modern European Languages / Translation of Spanish
Master's thesis defence: Ética en la traducción: el abordaje teórico de la ética en el ámbito traductológico español y checo y el análisis comparativo de los códigos deontológicos seleccionados | Theses on a related topic

615.
Poliačiková, Terézia Anna
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: Harry Potter and the Philosopher`s stone: a comparative analysis of neologisms and their adaptation in the target language | Theses on a related topic

616.
Pondělíčková, Adéla
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Students versus Machines: A Comparison of Student and Machine Translations | Theses on a related topic

617.
Prausová, Nicole
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: Sky Dancer by Witi Ihimaera (Translation and Analysis) | Theses on a related topic

618.
Procházka, Jan
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Komparativní analýza překladu prologu knihy Cesta Králů of Brandona Sandersona | Theses on a related topic

619.
Procházková, Bohdana
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Subtitling Culture from Czech into English: Films Set in the Communist Era | Theses on a related topic

620.
Procházková, Jitka
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Die Novelle Das Marmorbild von Joseph von Eichendorff: Vergleich der tschechischen Übersetzungen unter ausgewählten Aspekten | Theses on a related topic

621.
Prokop, Petr
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education
Bachelor's thesis defence: David Gaider's Dragon Age: The Calling – Translation and Analysis | Theses on a related topic

622.
Prouzová, Andrea
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translation of Spanish
Master's thesis defence: Análisis de la traducción de humor en la primera película de la serie animada Shrek: comparación del doblaje checo y español | Theses on a related topic

623.
Prouzová, Veronika
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Geometrická zobrazení v učivu 1. stupně ZŠ | Theses on a related topic

624.
Provazník, Lukáš
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Přechodníkové obraty v ruském odborném textu a jejich responze v češtině | Theses on a related topic

625.
Prudilová, Barbora
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Literature and Interculture Communication
Master's thesis defence: Anglické překlady Janáčkova libreta Příhody lišky Bystroušky | Theses on a related topic

626.
Přichystalová, Miroslava
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Médias musulmans britanniques (traduction et analyse stylistique) | Theses on a related topic

627.
Přikryl, Jáchym
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Humanities / Japanese Language and Literature, Public Economics and Administration
Bachelor's thesis defence: Porovnání vybraných českých překladů japonských haiku | Theses on a related topic

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

629.
Rainová, Jana
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Překlad vlastních jmen v díle Miloše Macourka Mach a Šebestová | Theses on a related topic

630.
Rakova, Mariya
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Paleoslavic and Slavic Languages
Doctoral thesis defence: Asymetrie stylové příznakovosti výrazových prostředků v českém a bulharském překladu uměleckého textu | Theses on a related topic

631.
Rauscher, Daniel
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Die Montanregion Erzgebirge/Krušnohoří auf dem Weg zum UNESCO-Weltkulturerbe – das Gebiet von Abertham und der Ortsdialekt | Theses on a related topic

632.
Reisinger, Robin Miguel
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Vergleich der deutschen und tschechischen Übersetzung des Buches The Running Man von Stephen King | Theses on a related topic

633.
Relichová, Dana
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Découvrir le Périgord – traduction et analyse stylistique | Theses on a related topic

634.
Rellová, Lucia
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Humanities / Aesthetics, Baltic Languages and Literatures
Bachelor's thesis defence: Tzv. malé romány od Miku Waltariho a porovnanie prekladov jedného z nich do slovenčiny a češtiny | Theses on a related topic

635.
Remišová, Jana
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translatology of French
Master's thesis defence: Pohádky paní d Aulnoy a jejich překlad | Theses on a related topic

636.
Richter, Daniel
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Die Sprache des Nationalsozialismus im Vermes' Er ist wieder da und ihre Übersetzung ins Tschechische | Theses on a related topic

637.
Richter, Pavel
Faculty: Faculty of Education
Year: 2014, 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: Audio-Oral Translational Drill Method with Psychological and Motivational Aspects Enhancing Grammar Learning | Theses on a related topic

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

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

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

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

642.
Rodr, Tomáš
Faculty: Faculty of Arts
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: The Czech Translations of Alfred Lord Tennyson and John Keats | Theses on a related topic
Bachelor's thesis defence: Czech Translation of John Keats with special emphasis on the semantics | Theses on a related topic
Bachelor's thesis defence: The Issue of Narattor in Julian Barnes's Works | Theses on a related topic

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

644.
Rotterová, Tereza
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Translating Sociolect in the Works of Charles Dickens | Theses on a related topic

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

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

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

648.
Rusková, Kateřina
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Terry Jones: Evil Machines - Translation and Analysis | Theses on a related topic

649.
Růžičková, Linda
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature, Portuguese Language and Literature
Bachelor's thesis defence: Crônicas de Cecília Meireles - Překlad | Theses on a related topic

650.
Ryndová, Eva
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: In/Visibility of the Translator and Questions of Copyright | Theses on a related topic