Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

51.
Ambrůzová, Klára
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství moderních evropských jazyků / Překladatelství francouzštiny
Obhajoba diplomové práce: Alain-Fournier, Le Grand Meaulnes a jeho překlady | Práce na příbuzné téma Zobrazit popisek

52.
Antonínová, Sára
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Miranda July's "No One Belongs Here More Than You": Translation and Analysis | Práce na příbuzné téma

53.
Appl, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma

54.
Audyová, Kateřina
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství anglického jazyka a literatury pro základní školy, Pedagogické asistentství dějepisu pro základní školy
Obhajoba bakalářské práce: Deník Bridget Jonesové | Práce na příbuzné téma

55.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Translation of Linear Temporal Logic to Omega-Automata | Práce na příbuzné téma

56.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Translation of LTL to omega-automata | Práce na příbuzné téma

57.
Babulová, Irma
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Adaptace Job Crafting Scale do českého prostředí | Práce na příbuzné téma

58.
Bača, Vladimír
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Počítačová podpora pro specifikaci požadavků v LTL | Práce na příbuzné téma

59.
Badíková, Michaela
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Translating Idioms: The Czech and Slovak Translations of Stephen King's Bill Hodges Trilogy | Práce na příbuzné téma

60.
Bachmayerová, Markéta
Fakulta: Pedagogická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk se zaměřením na vzdělávání / Anglický jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: The interference of language structure patterns in English and Czech in terms of translation | Práce na příbuzné téma

61.
Bajužík, Branislav
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma

62.
Bakulina, Olga
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Ruský jazyk a literatura
Obhajoba diplomové práce: Bezličnye predloženija v russkom i češskom jazykach na materiale rasskazov Z. Prilepina i ih perevodov na češskij jazyk. | Práce na příbuzné téma

63.
Balážová, Veronika
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk se zaměřením na vzdělávání
Obhajoba bakalářské práce: Formation of neologisms and proper names in the Harry Potter heptalogy by J. K. Rowling and their translations into Czech, Slovak and German | Práce na příbuzné téma

64.
Baňas, Martin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Optimization of Complex Abstract Syntax Tree Processing | Práce na příbuzné téma

65.
Bartošová, Klára
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - francouzský jazyk
Obhajoba bakalářské práce: L adverbe en francais et en tcheque et sa transposition | Práce na příbuzné téma

66.
Bartošová, Marína
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství německého jazyka
Obhajoba diplomové práce: Die Übersetzung der Bedienungsanleitungen von Haushaltsgeräten | Práce na příbuzné téma

67.
Bartůňková, Martina
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Translation as a Third Code: An Empirical Study in Translatedness | Práce na příbuzné téma

68.
Bartůňková, Martina
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství anglického jazyka a literatury pro střední školy
Obhajoba diplomové práce: Translation as a Third Code: An Empirical Study in Translatedness | Práce na příbuzné téma

69.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Automating Software Development with Explicit Model Checking | Práce na příbuzné téma

70.
Bayerl, Michal
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Makedonský jazyk a literatura
Obhajoba bakalářské práce: Makedonské předložky - jejich význam, použití a klasifikace ve spisovné makedonštině | Práce na příbuzné téma

71.
Bayerová, Eva
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství německého jazyka
Obhajoba diplomové práce: Analyse der ausgewählten Werbetexte | Práce na příbuzné téma

72.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma

73.
Bednářová, Jitka
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: Cat Stevens' texts: Translation and Analysis | Práce na příbuzné téma

74.
Bělecká, Veronika
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Sdružená jihoslovanská studia
Obhajoba diplomové práce: Vlastní jména v českém a chorvatském překladu filmové série Shrek | Práce na příbuzné téma

75.
Bělehradová, Pavlína
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Madagascar: Guide culturel, traduction et analyse linguistique et traductologique | Práce na příbuzné téma

76.
Bellovičová, Martina
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství anglického jazyka a literatury pro základní školy, Učitelství německého jazyka a literatury pro základní školy
Obhajoba diplomové práce: William Saroyan: Náhodná setkání (překlad a rozbor) | Práce na příbuzné téma

77.
Bendík, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Algoritmy pro hledání maximální splnitelné množiny omezení | Práce na příbuzné téma

78.
Beneš, Jan
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Translation of Terminology in EU Legislative Texts | Práce na příbuzné téma

79.
Benešová, Jana
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Francouzský jazyk a literatura
Obhajoba bakalářské práce: Provence - langue des guides touristiques (traduction et analyse stylistique) | Práce na příbuzné téma

80.
Benešová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba diplomové práce: Bourgogne (traduction et analyse stylistique) | Práce na příbuzné téma

81.
Benešová, Kateřina
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Bourgogne (traduction et analyse stylistique) | Práce na příbuzné téma

82.
Beňová, Barbora
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba bakalářské práce: Marketing Transcreation: Considering Cultural Nuances | Práce na příbuzné téma

83.
Beranová, Hana
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Ruština se zaměřením na oblast firemní praxe, služeb a cestovního ruchu
Obhajoba bakalářské práce: Problemy peredači toponimov Južnomoravskoj oblasti v russkich tekstach | Práce na příbuzné téma

84.
Berdis, Vratislav
Fakulta: Pedagogická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Lektorství cizího jazyka - anglický jazyk
Obhajoba bakalářské práce: English film titles and their Czech equivalents | Práce na příbuzné téma

85.
Berková, Lenka roz. Kozojedová
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Fleurs de pierre: terminologie comparative franco-tchèque du lexique spéléologique | Práce na příbuzné téma

86.
Běťáková, Marta
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Baltistika
Obhajoba bakalářské práce: Litevská participia a jejich překlad do češtiny v románu Kazyse Boruty Baltaragisův mlýn | Práce na příbuzné téma

87.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: LTL atraktory | Práce na příbuzné téma

88.
Bícová, Ema
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba diplomové práce: Internal vs External Video Game Localization | Práce na příbuzné téma

89.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma

90.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma

91.
Blahuš, Marek
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Extending Czech WordNet Using a Bilingual Dictionary | Práce na příbuzné téma

92.
Blatná, Andrea
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: La Belgique (traduction et analyse stylistique) | Práce na příbuzné téma

93.
Blatná, Andrea
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství francouzského jazyka a literatury pro střední školy
Obhajoba diplomové práce: Monique Proulx - "Homme invisible à la fenêtre" (traduction et analyse stilistique) | Práce na příbuzné téma

94.
Blatná, Andrea
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba diplomové práce: Monique Proulx - "Homme invisible à la fenêtre" (traduction et analyse stilistique) | Práce na příbuzné téma

95.
Blecha, Jaroslav
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba bakalářské práce: Compiling a Glossary of Terminology Used in Shoemaking | Práce na příbuzné téma

96.
Boček, Miroslav
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Anglický jazyk a literatura / Anglický jazyk a literatura
Obhajoba bakalářské práce: The Use of DeepL for Automatic Website Localization in Solidpixels Website Builder | Práce na příbuzné téma

97.
Bodyová, Lenka
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství německého jazyka
Obhajoba diplomové práce: "Die Werbesprache und ihre Übersetzung" Analyse ausgewählter deutscher Werbetexte und ihrer Übersetzungen ins Tschechische | Práce na příbuzné téma

98.
Boesová, Andrea
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Anglický jazyk a literatura, Španělský jazyk a literatura
Obhajoba bakalářské práce: Legal Discourse in Translation: A Sample Essay with Commentary | Práce na příbuzné téma

99.
Boesová, Andrea
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: Translating children's literature: Analysis of Joseph Jacobs's fairy tales | Práce na příbuzné téma

100.
Böhmová, Hana
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství a tlumočnictví / Překladatelství anglického jazyka, Překladatelství francouzského jazyka
Obhajoba diplomové práce: L Orient mystérieux et autres fadaises - traduction et analyse traductologique | Práce na příbuzné téma