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

401.
Krištofíková, Hana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature, Polish Language and Literature
Bachelor's thesis defence: Przekład imiesłowów z języka polskiego na języki czeski i słowacki. Analiza na podstawie polskich współczesnych utworów literackich | Theses on a related topic Display description

402.
Krohová, Jana
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / Croatian Language and Literature
Master's thesis defence: Vlastní jména v české a chorvatské verzi překladu knihy Harry Potter a Kámen mudrců | Theses on a related topic

403.
Kropáčková, Lucie
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: The Analysis of the Use of Aboriginal Languages by North American Aboriginal Authors and Its Translation | Theses on a related topic

404.
Kroupová, Johana maiden name: Fajferová
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Translation of Children's Narratives in Fictional Diaries | Theses on a related topic

405.
Krpatová, Denisa
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Übersetzung ausgewählter Reden der Bundeskanzlerin Angela Merkel | Theses on a related topic

406.
Kršková, Markéta
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: BBC TV series Miranda: Analysis of the Czech Subtitles | Theses on a related topic

407.
Krulišová, Ludmila
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Friedrich Adler als Übersetzer von Jaroslav Vrchlickýs Lyrik und Ladislav Vycpáleks Vokalwerken | Theses on a related topic

408.
Krupička, Tomáš
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: I. L. Soloněvič: “Rossija, revoljucija i jevrejstvo“(komentovaný překlad části publicistického textu) | Theses on a related topic

409.
Krůzová, Veronika
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Dickens's Oliver Twist: Translation Analysis | Theses on a related topic

410.
Krzyżanek, Magdalena
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Polonismy ve starším překladu krásné literatury | Theses on a related topic
Bachelor's thesis defence: Polonismy ve starším překladu krásné literatury | Theses on a related topic

411.
Křepelková, Hana
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in French Language and Literature
Master's thesis defence: Translation of English lexical ambiguities and wordplay based on the sitcom How I Met Your Mother | Theses on a related topic

412.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic

413.
Křivánková, Barbora maiden name: Kratochvílová
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Use of Translation in Teaching English as a Second Language | Theses on a related topic

414.
Křivková, Lenka
Faculty: Faculty of Education
Year: 2008, 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, Lower Secondary School Teacher Training in Geography
Bachelor's thesis defence: Terry Pratchett: Interesting Times (Translation and Analysis of Selected Parts) | Theses on a related topic

415.
Kubaczyński, Maciej
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Složený přísudek v ruštině a jeho vyjádření v češtině | Theses on a related topic

416.
Kubaczyński, Maciej
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature
Master's thesis defence: Příslovečné určení času v ruštině a češtině | Theses on a related topic

417.
Kubánková, Hana
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Philology / Portuguese Language and Literature
Bachelor's thesis defence: Traducao dos contos de Miguel Torga | Theses on a related topic

418.
Kubáňová, Pavla
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Chère Marie-Antoinette – Traduction et analyse stylistique | Theses on a related topic

419.
Kubečková, Petra
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Stephenie Meyer's "Twilight": Translation and Analysis of the First Chapter | Theses on a related topic

420.
Kubíková, Kristina
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Richard Wagner und seine Oper Parsifal | Theses on a related topic

421.
Kubíková, Zuzana
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory and Practice of Ancient Music
Bachelor's thesis defence: Hudební terminologie v latinském originále Erasmovy Stultitiae Laus a v dobovém českém překladu | Theses on a related topic

422.
Kubová, Lenka
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Verbální substantiva v ruštině a jejich české paralely v ekonomických a politických textech | Theses on a related topic

423.
Kubová, Michaela
Faculty: Faculty of Arts
Year: 2017, 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: Contos selecionados de Estórias Contadas de Germano Almeida: Uma análise focada na identidade cabo-verdiana (com a tradução comentada de um trecho selecionado) | Theses on a related topic

424.
Kubová, Michaela
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Philology / Portuguese Language and Literature
Master's thesis defence: Contos selecionados de Estórias Contadas de Germano Almeida: Uma análise focada na identidade cabo-verdiana (com a tradução comentada de um trecho selecionado) | Theses on a related topic

425.
Kudláček, Kamil
Faculty: Faculty of Education
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Analysis of Translation of Sleepy Hollow Television Series | Theses on a related topic

426.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní verifikace LTL(F,G) vlastností | Theses on a related topic

427.
Kuchtová, Eva
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, General Linguistics
Bachelor's thesis defence: The Genre of Diary Literature: A Comparative Study of Czech vs. Anglo-Saxon Norms and Translation Strategies | Theses on a related topic

428.
Kuchtová, Eva
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Rhyme in Czech Translations of English Romantic Poetry | Theses on a related topic
Master's thesis defence: Czech Translations of Keats's Odes after 1945 | Theses on a related topic

429.
Kujínková, Eva
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Matthias Wittekindt: Marmormänner. Übersetzung und Kommentar | Theses on a related topic

430.
Kulíšková, Daniela
Faculty: Faculty of Education
Year: 2008, 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: Practical Translation and Analysis | Theses on a related topic

431.
Kulíšková, Renata
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Spanish-language Translation
Master's thesis defence: Traducción del lenguaje jurídico-técnico en la Unión Europea: la Directiva del Consejo sobre el control de la adquisición y tenencia de armas | Theses on a related topic

432.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic

433.
Kunc, Adam
Faculty: Faculty of Education
Year: 2007, 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 History
Bachelor's thesis defence: WHAT MATTERS MOST IS HOW WELL YOU WALK THROUGH THE FIRE (Překlad do češtiny a analýza) | Theses on a related topic

434.
Kunc, Vojtěch
Faculty: Faculty of Education
Year: 2009, 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: "On Writing: A Memoir of the Craft" by Stephen King (Translation and Analysis) | Theses on a related topic

435.
Kunovská, Pavlína
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Ruská odborná terminologie se zaměřením na papírenský průmysl | Theses on a related topic

436.
Kupková, Markéta
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Patricia Le Roux : Les Papillons (analyse traductologique et traduction) | Theses on a related topic

437.
Kůs, Michal
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in History
Master's thesis defence: Táin Bó Cúalnge - Translation and Analysis of Selected Chapters | Theses on a related topic

438.
Kušnierová, Monika
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature, Portuguese Language and Literature
Bachelor's thesis defence: Gérondif français, gerúndio et infinitivo pessoal portugais : une analyse contrastive. | Theses on a related topic

439.
Kutálová, Dana
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation, German-language Translation
Master's thesis defence: Subtitling: A Feminist Perspective | Theses on a related topic

440.
Kutějová, Kristýna
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Interpreting of Czech Sign Language / Interpreting of Czech Sign Language
Bachelor's thesis defence: Umělecké tlumočení písně do českého znakového jazyka: Star Wars (Moosebutter, Spojené státy americké, 1999) | Theses on a related topic

441.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic

442.
Kyjaková, Martina
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Translating Southern Culture in Flannery O'Connor's Short Stories | Theses on a related topic

443.
Lahodná, Lucie
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Philology / Croatian Language and Literature
Master's thesis defence: Problematika překladu reklamních textů na příkladu češtiny a chorvatštiny | Theses on a related topic

444.
Lalkovičová, Eva
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / Catalan Language and Literature
Bachelor's thesis defence: Els problemes específics de la traducció teatral analitzats en les traduccions de l'obra "La Màquina de parlar" | Theses on a related topic

445.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic

446.
Laníková, Lucie
Faculty: Faculty of Education
Year: 2010, 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: Selected Chapters from Their Eyes Were Watching God by Zora Neale Hurston: Translation and Analysis | Theses on a related topic

447.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě

448.
Laštovičková, Anna
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Humanities / English Language and Literature, International Relations
Bachelor's thesis defence: Translation and Translators in Czech Publishing Houses | Theses on a related topic

449.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic

450.
Lavičková, Anna
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: Translation Analysis of the Self-Help Book “The Subtle Art of Not Giving a F*ck” | Theses on a related topic