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

component interaction automata, action-based simulation, coma-simulation, abstraction, coma-abstraction, composition, quotient-state space, e-composition, equivalence, a-ltl, algorithm

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
Kývalová, Adéla
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language for Education / Czech Language and Literature for Education, English Language for Education
Bachelor's thesis defence: Analýza interních subjektů v románu Kateřiny Tučkové Bílá Voda | Theses on a related topic Display description

152.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic

153.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic

154.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

155.
Lesňáková, Petra
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Teorie vcítění v českém uměleckém prostředí 20. století | Theses on a related topic

156.
Linhart, Martin
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Překlad a následná analýza knihy Stargate Atlantis: Homecoming (Jo Graham a Mellisa Scott) | Theses on a related topic

157.
Lisická, Veronika
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management
Bachelor's thesis defence: Konkurz a vyrovnání v podniku

158.
Lišaníková, Zuzana
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Kontrastive Phraseologie Deutsch-Slowakisch am Beispiel von zwei Büchern von Rolf-Bernhard Essig: "Alles für die Katz" und "Da wird doch der Hund in der Pfanne verrückt" | Theses on a related topic

159.
Lizáková, Sandra
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Arts and Visual Creative Works / Secondary School Teacher Training in Arts and Visual Creative Works
Master's thesis defence: Potulky mojím mestom | Theses on a related topic

160.
Lukešová, Petra maiden name: Škrdlová
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Estructura de los términos arquitectónicos en la lengua española | Theses on a related topic

161.
Macháňová, Nikola
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Czech Language and Literature for Education, English Language for Education
Bachelor's thesis defence: Misery by Stephen King (Translation and Analysis) | Theses on a related topic

162.
Machů, Andrea
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Czech Language and Literature / Upper Secondary School Teacher Training in Czech Language and Literature, Upper Secondary School Teacher Training in History
Master's thesis defence: Poetika románu Dějiny světla Jana Němce | Theses on a related topic

163.
Makovská, Romana
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Spanish-language Translation
Master's thesis defence: Traducción de los elementos culturales en la obra O diário de um mago de Paulo Coelho | Theses on a related topic

164.
Málek, Kateřina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Můj stín | Theses on a related topic

165.
Maňasová, Adéla
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translation of German
Master's thesis defence: Stilistische Funktionen von Phrasemen in der Übersetzung von Judith Hermanns "Nichts als Gespenster" ins Tschechische | Theses on a related topic

166.
Maněk, Lubor
Faculty: Faculty of Sports Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Animator of Sport Activities, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Využití H&S robotického systému ve výuce technických předmětů na ZŠ | Theses on a related topic

167.
Marková, Kateřina maiden name: Špačková
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: Harry Potter and the Cursed Child – Translation and Analysis of the Script | Theses on a related topic

168.
Matulíková, Monika
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Digitální umění na online sociální síti TikTok | Theses on a related topic

169.
Mazúrová, Aneta maiden name: Havlíčková
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Poetika Medvědího románu Jiřího Kratochvila | Theses on a related topic

170.
Medla, Dušan
Faculty: Faculty of Science
Year: 2016, studies terminated for failure to fulfill study requirements
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: Geometrické algoritmy v dimenzi 3 | Theses on a related topic
Master's thesis defence: Geometrické algoritmy v dimenzi 3 | Theses on a related topic

171.
Melkusová, Jana
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Übersetzungsanalyse der Kurzgeschichte "Ja, mein Engel" von Marie Luise Kaschnitz | Theses on a related topic

172.
Miklíčková, Olga
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Cesta | Theses on a related topic

173.
Mikulášková, Miroslava maiden name: Koreníková
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Slovotvorba určitých číslovek na materiálu korpusů | Theses on a related topic

174.
Mikušová, Veronika maiden name: Ďurčová
Faculty: Faculty of Medicine
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Intensive Care / Intensive Care
Master's thesis defence: Aplikace parenterální výživy v intenzivní péči | Theses on a related topic

175.
Milčíková, Jaroslava
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Výrazové prostriedky sociálneho dokumentu - Protesty proti spoplatňovaniu vysokoškolského štúdia | Theses on a related topic

176.
Minářová, Jana
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education, German Language for Education
Bachelor's thesis defence: The Film Bohemian Rhapsody: Translation and Analysis | Theses on a related topic

177.
Mjartanová, Natália
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature, Mediterranean Studies
Bachelor's thesis defence: Freude und Optimismus in der deutschen Phraseologie im Vergleich mit der slowakischen Phraseologie | Theses on a related topic

178.
Moncmanová, Andrea
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philology / Dutch Language and Literature
Bachelor's thesis defence: Liefde en verstand in vaste verbindingen in het Nederlands en het Tsjechisch. Een formeel- en cognitief-semantische vergelijking. | Theses on a related topic

179.
Moncmanová, Andrea
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Translation of Modern European Languages / Translation of Dutch
Master's thesis defence: Arbeidsrechtelijke documenten in de Tsjechische vertaling | Theses on a related topic

180.
Moravcová, Monika
Faculty: Faculty of Education
Year: 2020, studies terminated for failure to fulfill study requirements
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: Winston Groom's "Forrest Gump": Translation and Analysis | Theses on a related topic

181.
Mrázková, Jana
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 Czech Language and Literature, Lower Secondary School Teacher Training in History
Master's thesis defence: Dramatická tvorba Ivana Klímy | Theses on a related topic

182.
Mrázová, Milena
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Deutsche Sprichtwörter mit Tierbezeichnungen und ihre tschechischen Äquivalente\\Eine vergleichende Analyse | Theses on a related topic

183.
Mylbachr, Radek
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: PhDr.
Programme/field: Philology / German Language and Literature
Advanced Master's thesis defence: Die Fachsprache Recht - Grundriss einer Sprachanalyse (Dargelegt an Exzerpten aus dem deutschen Aktiengesetz mit Empfehlungen für die deutsch-tschechische Übersetzungspraxis) | Theses on a related topic

184.
Navrátilová, Radka
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Komunikační dovednosti žáků | Theses on a related topic

185.
Nedbálková, Petra
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, French Language and Literature
Bachelor's thesis defence: La problématique de la traduction d'un roman de Milan Kundera en tchèque | Theses on a related topic

186.
Nejedlá, Jana
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Czech Language and Literature
Bachelor's thesis defence: Jazyk a styl knihy Romeo, Julie a tma | Theses on a related topic

187.
Němcová, Martina
Faculty: Faculty of Education
Year: 2013, 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: Comparative Analysis of English and French Body Idioms | Theses on a related topic

188.
Němec, Petr
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Musicology
Master's thesis defence: Metoda montáže v díle Miloslava Ištvana | Theses on a related topic

189.
Neubauerová, Barbora maiden name: Richtrmocová
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Nutritive therapist
Bachelor's thesis defence: Zdravotní a nutriční aspekty sušeného ovoce | Theses on a related topic

190.
Nguyen Manh, Thang
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Kontrastive Phraseologie Tschechisch–Deutsch–Vietnamesisch: Haustiere/ Heimtiere und Nutztiere | Theses on a related topic

191.
Nguyen Manh, Thang
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Kontrastive Phraseologie Deutsch - Vietnamesisch, Vietnamesisch-Deutsch. Dargestellt an Phraseologismen mit Tierkomponenten in beiden Sprachen | Theses on a related topic

192.
Nikl, Radek
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: "The Gypsies" by Jan Yoors: Translation and Analysis with Special Regard to Lexical Means | Theses on a related topic

193.
Novák, Svatopluk
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Publish-subscribe založený na obsahu pro účely monitorování | Theses on a related topic

194.
Nováková, Barbora
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Translation of Modern European Languages / Translation of Spanish
Master's thesis defence: Análisis de la equivalencia de los subtítulos checos de la serie Vis a vis | Theses on a related topic

195.
Novotná Škarková, Jana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algoritmus AKS | Theses on a related topic

196.
Novotná Škarková, Jana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Variace s opakováním | Theses on a related topic

197.
Obert, Martin
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Humanities / Film and Audio-Visual Culture Studies, Media Studies and Journalism (combination/specialization: Digital Media)
Bachelor's thesis defence: Nová média a filmový prostor | Theses on a related topic

198.
Ondryášová, Hana
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: The Style of the Translator in Erotic Literature | Theses on a related topic

199.
Oškerová, Martina
Faculty: Faculty of Education
Year: 2014, 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: Zdeněk Jirotka: Saturnin (Analysis of English Translation by Mark Corner) | Theses on a related topic

200.
Palacková, Lucia
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Vornamen in slowakischen, tschechischen und deutschen Phraseologismen. Ein Vergleich Slowakisch - Tschechisch - Deutsch | Theses on a related topic