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

301.
Vosyková, Michala
Faculty: Faculty of Education
Year: 2016, 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 Music
Bachelor's thesis defence: Problematika hry na klavír u začátečníků | Theses on a related topic Display description

302.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic

303.
Vrtišová, Viktorie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: German Language and Literature / German language and literature, Portuguese Language and Literature
Bachelor's thesis defence: Phraseme mit inneren Organen zur Verbalisierung von Emotionen | Theses on a related topic

304.
Vyhnálek, Pavel
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Výuková opora pro předmět Stavební materiály | Theses on a related topic

305.
Vyšohlídová, Magdaléna
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Combined Art Studies / Combined Art Studies
Bachelor's thesis defence: Výtvarný svět Bronisława Liberdy | Theses on a related topic

306.
Wanderburgová, Petra
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Liebe in der deutsch-tschechischen Phraseologie (Eine kontrastive Analyse) | Theses on a related topic

307.
Wanderburgová, Petra
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / German-language Translation
Master's thesis defence: Kontrastive deutsch-tschechische Phraseologie: Verwendung und Übersetzung der Phraseologismen in künstlerischen Texten, dargestellt am Roman von Elfriede Jelinek („Die Klavierspielerin“ – „Pianistka“) | Theses on a related topic

308.
Weingartová, Tereza
Faculty: Faculty of Education
Year: 2011, 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 German Language and Literature
Bachelor's thesis defence: Jazyk a styl Poláčkovy knihy Muži v ofsajdu | Theses on a related topic

309.
Werl, Pavel
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Arbitrážní příležitosti na vybraných finančních trzích Východní Asie | Theses on a related topic

310.
Willerthová, Petra
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Vývoj estetických názorů Miroslava Tyrše a jeho vliv na kulturní život v Čechách a na Moravě | Theses on a related topic

311.
Zadražilová, Zuzana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Alliteration und Endreim bei deutschen Paarformeln, Idiomen, Sprichwörtern und Zitaten | Theses on a related topic

312.
Zadražilová, Zuzana
Faculty: Faculty of Arts
Year: 2011, 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: Antike Welt - korpusbasierte Untersuchung | Theses on a related topic

313.
Zadražilová, Zuzana
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Antike Welt - korpusbasierte Untersuchung | Theses on a related topic

314.
Zagorová, Pavla
Faculty: Faculty of Science
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Informatics, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Algoritmy v diskrétní matematice

315.
Zagyiová, Boglárka
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature, Italian Language and Literature
Bachelor's thesis defence: The Influence of 19th Century Negro Spirituals on Contemporary American Music | Theses on a related topic

316.
Zapletalová, Veronika
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Algoritmický obraz v českém výtvarném umění | Theses on a related topic

317.
Závodská, Pavlína
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / French Language and Literature
Master's thesis defence: Vulgarismes dans un corpus de chansons de rap: étude lexicométrique en synchronie dynamique | Theses on a related topic

318.
Závodská, Pavlína
Faculty: Faculty of Arts
Year: 2010, 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: Vulgarismes dans un corpus de chansons de rap: étude lexicométrique en synchronie dynamique | Theses on a related topic

319.
Zigo, Rostislav
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Comparative and Art Studies
Master's thesis defence: Znak a obraz v artificialismu | Theses on a related topic

320.
Zmrzlá, Petra
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / English Linguistics
Doctoral thesis defence: Co-referential Cohesive Chains in Research Articles | Theses on a related topic

321.
Zöhrerová, Renáta
Faculty: Faculty of Arts
Year: 2019, 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: Phraseme mit einigen Farbbezeichnungen im Deutschen, Russischen und Tschechischen | Theses on a related topic

322.
Zoľáková, Alena
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Biology / Mathematical Biology
Bachelor's thesis defence: Metody pro hodnocení dodržení klinických protokolů v oblasti protinádorové chemoterapie | Theses on a related topic

323.
Zoľáková, Alena
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Získávání znalostí v oblasti protinádorové chemoterapie z dat plátců zdravotní péče. | Theses on a related topic

324.
Žvanutová, Anežka maiden name: Březinová
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Armut, Reichtum und Geld in tschechischen und deutschen Redewendungen | Theses on a related topic