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

51.
Ambrůzová, Klára
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translatology of French
Master's thesis defence: Alain-Fournier, Le Grand Meaulnes a jeho překlady | Theses on a related topic Display description

52.
Antonínová, Sára
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: Miranda July's "No One Belongs Here More Than You": Translation and Analysis | Theses on a related topic

53.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic

54.
Audyová, Kateřina
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 History
Bachelor's thesis defence: Deník Bridget Jonesové | Theses on a related topic

55.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

56.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic

57.
Babulová, Irma
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Adaptace Job Crafting Scale do českého prostředí | Theses on a related topic

58.
Bača, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Počítačová podpora pro specifikaci požadavků v LTL | Theses on a related topic

59.
Badíková, Michaela
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Translating Idioms: The Czech and Slovak Translations of Stephen King's Bill Hodges Trilogy | Theses on a related topic

60.
Bachmayerová, Markéta
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: The interference of language structure patterns in English and Czech in terms of translation | Theses on a related topic

61.
Bajužík, Branislav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod příkazů pro počítačové hry | Theses on a related topic

62.
Bakulina, Olga
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature
Master's thesis defence: Bezličnye predloženija v russkom i češskom jazykach na materiale rasskazov Z. Prilepina i ih perevodov na češskij jazyk. | Theses on a related topic

63.
Balážová, Veronika
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education
Bachelor's thesis defence: Formation of neologisms and proper names in the Harry Potter heptalogy by J. K. Rowling and their translations into Czech, Slovak and German | Theses on a related topic

64.
Baňas, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Optimization of Complex Abstract Syntax Tree Processing | Theses on a related topic

65.
Bartošová, Klára
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - French Language
Bachelor's thesis defence: L adverbe en francais et en tcheque et sa transposition | Theses on a related topic

66.
Bartošová, Marína
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Die Übersetzung der Bedienungsanleitungen von Haushaltsgeräten | Theses on a related topic

67.
Bartůňková, Martina
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Translation as a Third Code: An Empirical Study in Translatedness | Theses on a related topic

68.
Bartůňková, Martina
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Translation as a Third Code: An Empirical Study in Translatedness | Theses on a related topic

69.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic

70.
Bayerl, Michal
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / Macedonian Language and Literature
Bachelor's thesis defence: Makedonské předložky - jejich význam, použití a klasifikace ve spisovné makedonštině | Theses on a related topic

71.
Bayerová, Eva
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Analyse der ausgewählten Werbetexte | Theses on a related topic

72.
Bednářová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Journalism), Political Science
Bachelor's thesis defence: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Theses on a related topic

73.
Bednářová, Jitka
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Cat Stevens' texts: Translation and Analysis | Theses on a related topic

74.
Bělecká, Veronika
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Philology / Combined South-Slavonic Studies
Master's thesis defence: Vlastní jména v českém a chorvatském překladu filmové série Shrek | Theses on a related topic

75.
Bělehradová, Pavlína
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Madagascar: Guide culturel, traduction et analyse linguistique et traductologique | Theses on a related topic

76.
Bellovičová, Martina
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in German Language and Literature
Master's thesis defence: William Saroyan: Náhodná setkání (překlad a rozbor) | Theses on a related topic

77.
Bendík, Jaroslav
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Algoritmy pro hledání maximální splnitelné množiny omezení | Theses on a related topic

78.
Beneš, Jan
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Translation of Terminology in EU Legislative Texts | Theses on a related topic

79.
Benešová, Jana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, French Language and Literature
Bachelor's thesis defence: Provence - langue des guides touristiques (traduction et analyse stylistique) | Theses on a related topic

80.
Benešová, Kateřina
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Philology / French Language and Literature
Master's thesis defence: Bourgogne (traduction et analyse stylistique) | Theses on a related topic

81.
Benešová, Kateřina
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in French Language and Literature
Master's thesis defence: Bourgogne (traduction et analyse stylistique) | Theses on a related topic

82.
Beňová, Barbora
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: Marketing Transcreation: Considering Cultural Nuances | Theses on a related topic

83.
Beranová, Hana
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Problemy peredači toponimov Južnomoravskoj oblasti v russkich tekstach | Theses on a related topic

84.
Berdis, Vratislav
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: English film titles and their Czech equivalents | Theses on a related topic

85.
Berková, Lenka maiden name: Kozojedová
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Fleurs de pierre: terminologie comparative franco-tchèque du lexique spéléologique | Theses on a related topic

86.
Běťáková, Marta
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Litevská participia a jejich překlad do češtiny v románu Kazyse Boruty Baltaragisův mlýn | Theses on a related topic

87.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic

88.
Bícová, Ema
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: English Language and Literature / English Language and Literature
Master's thesis defence: Internal vs External Video Game Localization | Theses on a related topic

89.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

90.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

91.
Blahuš, Marek
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extending Czech WordNet Using a Bilingual Dictionary | Theses on a related topic

92.
Blatná, Andrea
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: La Belgique (traduction et analyse stylistique) | Theses on a related topic

93.
Blatná, Andrea
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in French Language and Literature
Master's thesis defence: Monique Proulx - "Homme invisible à la fenêtre" (traduction et analyse stilistique) | Theses on a related topic

94.
Blatná, Andrea
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / French Language and Literature
Master's thesis defence: Monique Proulx - "Homme invisible à la fenêtre" (traduction et analyse stilistique) | Theses on a related topic

95.
Blecha, Jaroslav
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Compiling a Glossary of Terminology Used in Shoemaking | Theses on a related topic

96.
Boček, Miroslav
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: The Use of DeepL for Automatic Website Localization in Solidpixels Website Builder | Theses on a related topic

97.
Bodyová, Lenka
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: "Die Werbesprache und ihre Übersetzung" Analyse ausgewählter deutscher Werbetexte und ihrer Übersetzungen ins Tschechische | Theses on a related topic

98.
Boesová, Andrea
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, Spanish Language and Literature
Bachelor's thesis defence: Legal Discourse in Translation: A Sample Essay with Commentary | Theses on a related topic

99.
Boesová, Andrea
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Translating children's literature: Analysis of Joseph Jacobs's fairy tales | Theses on a related topic

100.
Böhmová, Hana
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation, French-language Translation
Master's thesis defence: L Orient mystérieux et autres fadaises - traduction et analyse traductologique | Theses on a related topic