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

101.
Bordovská, Monika
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Philology / Literature and Interculture Communication
Master's thesis defence: Možnosti aktualizace překladu románu Kdo chytá v žitě | Theses on a related topic Display description

102.
Boudová, Petra maiden name: Lopuchovská
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: Lingvistická a translatologická analýza odborné terminologie z oblasti galenické farmacie | Theses on a related topic

103.
Brajdić, Marijana
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: South Slavonic and Balkan Studies / Croatian
Bachelor's thesis defence: Komparativní analýza chorvatského, srbského a českého překladu antroponym v románu The Colour of Magic Terryho Pratchetta | Theses on a related topic

104.
Bratina, Tomáš
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Literature and Interculture Communication, Norwegian Language and Literature
Master's thesis defence: Norske modalpartikler og deres ekvivalenter i tsjekkiske oversettelser | Theses on a related topic

105.
Brejchová, Zuzana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Teen spirit de Virginie Despentes : traduction et analyse stylistique et sociolinguistique | Theses on a related topic

106.
Brejchová, Zuzana
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Le langage parlé dans les romans de Virginie Despentes et François Bégaudeau : analyse traductologique et traduction. | Theses on a related topic

107.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

108.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic

109.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

110.
Brožková, Nina
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: La equivalencia de los subtítulos checos de la série Élite con enfoque en la traducción del lenguaje juvenil | Theses on a related topic

111.
Brunnerová, Helena
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Translating Culture: Škvorecký into English | Theses on a related topic

112.
Brychtová, Petra
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training
Master's thesis defence: Zlatá stuha - historie ceny za knižní tvorbu pro děti a mládež | Theses on a related topic

113.
Břenek, Michal
Faculty: Faculty of Education
Year: 2018, 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: Algernon Blackwood: The Willows (Translation and Analysis) | Theses on a related topic

114.
Bucholcerová, Anna
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: Roddy Doyle: The Commitments, Translation and Analysis | Theses on a related topic

115.
Buchtová, Agnieszka
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Subtitling The Watermill Princess: Difficulties in Translation of the Czech Fairy Tale Movie | Theses on a related topic

116.
Bulantová, Alena
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computational Linguistics / Computational Linguistics
Master's thesis defence: The Use of Sketch Engine Tools for Translators | Theses on a related topic

117.
Buzrlová, Leona
Faculty: Faculty of Education
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - German
Bachelor's thesis defence: Der Funktionalfachstil in der Rechtssprache in Verbindung mit der Übersetzung in der Rechtspraxis

118.
Býčková, Irena
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Julia Franck: Die Mittagsfrau - kontrastiver Vergleich mit der tschechischen Übersetzung (Polednice) | Theses on a related topic

119.
Caltová, Martina
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / Mediterranean Studies, Portuguese Language and Literature
Bachelor's thesis defence: O infinitivo nas orações reduzidas: As tendências da tradução do português para o checo | Theses on a related topic

120.
Cea Asencio, Sandra maiden name: Hanychová
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Spanish-language Translation
Master's thesis defence: Problemática de la traducción y localización en los sitios web de ciertas empresas españolas en el mercado checo | Theses on a related topic
Master's thesis defence: Problemática de la traducción y localización en los sitios web de algunas empresas españolas en el mercado checo | Theses on a related topic

121.
Celyčová, Pavlyna
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Ukrainian Studies
Bachelor's thesis defence: Srovnávací analýza oblasti BOZP v českém a ukrajinském kontextu a problematika překladu související terminologie | Theses on a related topic

122.
Cihlářová, Zdeňka
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: Lingvistická a translatologická analýza odborného textu z oblasti těžby zemního plynu | Theses on a related topic

123.
Collier, Viktória
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: Translating young adult fiction: Youth in revolt | Theses on a related topic

124.
Crhová, Hana maiden name: Grulová
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Franco Troiano und das EUROLOGOS-System: ein Konzept der angewandten Translatologie | Theses on a related topic

125.
Čáslavská, Martina
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / Portuguese Language and Literature
Bachelor's thesis defence: Tradução comentada das histórias escolhidas do livro O Senhor Kraus e a política de Gonçalo M. Tavares | Theses on a related topic

126.
Čáslavská, Martina
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Portuguese Language and Literature
Master's thesis defence: Explicação dos Pássaros de António Lobo Antunes: tradução comentada | Theses on a related topic

127.
Častová, Petra
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Serbian Language and Literature
Bachelor's thesis defence: Porovnání překladu anglických předložek v českém a srbském jazyce | Theses on a related topic

128.
Čermáková, Aneta
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in Russian Language
Master's thesis defence: Perevod sovremennoj russkoj povesti Školniki O. O. Pavlova | Theses on a related topic

129.
Čermáková, Kateřina maiden name: Radkovská
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Vergleiche, Metaphern und Idiome – kontrastive Analyse Deutsch-Tschechisch in „Gier“ von Elfriede Jelinek | Theses on a related topic

130.
Černotík, Josef
Faculty: Faculty of Arts
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Bible translation in English and Czech | Theses on a related topic

131.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Designing Data-Parallel Graph Algorithms for Model Checking | Theses on a related topic

132.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: GPU Accelerated Enumerative Model Checking | Theses on a related topic

133.
Čevelová, Veronika
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: "A Little Life" by Hanya Yanagihara (translation and analysis) | Theses on a related topic

134.
Čiháčková, Andrea
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Rainer Maria Rilke im Licht seiner Zeit und seiner Lyrik | Theses on a related topic

135.
Čiháčková, Eva
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: Mémoires de Marc-Antoine Muret (traduction et analyse translatologique) | Theses on a related topic

136.
Čílová, Tereza
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Translation of Modern European Languages / Translation of German
Master's thesis defence: Hermann Hesse: Gedichte und ihre Übersetzung ins Tschechische. | Theses on a related topic

137.
Čtvrtečková, Iva
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: The Impact of the Translation of English-Language Recipes on the Traditional Form of Czech Recipes (A Corpus Based Analysis Covering the Period between 1989 and 2009) | Theses on a related topic

138.
Čudová, Michaela
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Translating Queer Identities: A Glossary of Terms | Theses on a related topic

139.
Čumíček, Jakub
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Translation of Constructed Languages in Literature | Theses on a related topic

140.
Čupecová, Sára
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Italian Language and Literature / Italian Language and Literature
Bachelor's thesis defence: Il punto e virgola: uno studio contrastivo italiano-ceco | Theses on a related topic

141.
Dandová, Michaela
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / French-language Translation
Master's thesis defence: La linguistique et la traduction | Theses on a related topic

142.
Daňo, Lukáš
Faculty: Faculty of Education
Year: 2020, 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: Porovnání textů světových hitů s převzatými verzemi předních českých umělců | Theses on a related topic

143.
Darebný, Jan
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Romance Literatures
Doctoral thesis defence: Verso español y verso checo: traducción del teatro polimétrico de Calderón de la Barca | Theses on a related topic

144.
Ďatková, Jana
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Foreign Languages - English
Bachelor's thesis defence: Bill Bryson: Notes from a Small Islant (Translation and Analysis) | Theses on a related topic

145.
Dejmková, Eva
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Interjections in Literary Translation: A Corpus Study | Theses on a related topic

146.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic

147.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic

148.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic

149.
Dezortová, Jarmila
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Phrasal Verbs and Their Translations in Czech – A corpus based study | Theses on a related topic

150.
Dhaliwal, Eva
Faculty: Faculty of Education
Year: 2009, 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: Tracy's Tiger, New Translation and Analysis | Theses on a related topic