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

term, formula, e-graph, quantifier, function, smt, expression

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Kunovská, Pavlína
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Russian Studies / Russian with a Focus on Translating
Master's thesis defence: Komentovaný překlad odborných textů z oblasti ošetřovatelství | Theses on a related topic Display description

102.
Kuruncziová, Dominika
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Humanities / English-language Translation, General Linguistics
Master's thesis defence: Binominálne každý - experimentálna štúdia | Theses on a related topic

103.
Kuřátková, Hana
Faculty: Faculty of Education
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Russian Language and Literature
Bachelor's thesis defence: NÁZORY PRESIDENTA BENEŠE NA REDUKCI POL. STRAN | Theses on a related topic

104.
Kuřilová, Kateřina
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Politologická terminologie v současné ruštině | Theses on a related topic

105.
Kustyánová, Marianna
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Physics / Mathematics with a view to Education, Physics with a view to Education
Bachelor's thesis defence: Testové úlohy z matematiky pro výuku fyziky pro e-learning | Theses on a related topic

106.
Lebeda, Tomáš
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Film and Audio-Visual Culture Studies
Master's thesis defence: Pohyb kamery v českém fikčním filmu do roku 1922: prostředek, postup a funkce | Theses on a related topic

107.
Líška, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Vyhledávání v matematickém textu | Theses on a related topic

108.
Líška, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Evaluation of Mathematics Retrieval | Theses on a related topic

109.
Lytvynyuk, Olga
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Paleoslavic and Slavic Languages
Doctoral thesis defence: Dijeslova ta dijeslivni utvoreňňa jak džerelo formuvaňňa jurydyčnoji terminolohiji (komparatyvne doslidžeňňa na materiali českoji ta ukrajinskoji mov) | Theses on a related topic

110.
Machátová, Tereza
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 transformačních technologií. | Theses on a related topic

111.
Maksović, Sofija
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Model-Based Analysis of Forensic-Ready Software Systems | Theses on a related topic

112.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

113.
Malata, Martin
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Historical Sciences / Prehistoric Archaeology of Near East
Master's thesis defence: Materiality of Urartian Stone Inscriptions and its Implications | Theses on a related topic

114.
Marková, Kateřina
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Philology / Ukrainian Language and Literature
Master's thesis defence: Překlad a lingvistická analýza odborné terminologie z oblasti vinařství | Theses on a related topic

115.
Marušková, Michaela
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature / Czech Language and Literature
Bachelor's thesis defence: Literární antroponyma ve vybraných prózách Ladislava Fukse | Theses on a related topic

116.
Marvan, Petr
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 English Language and Literature
Master's thesis defence: Sources and Structure of Idioms Denoting Economic Concepts | Theses on a related topic

117.
Mašková, Martina maiden name: Andryková
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Historical Sciences / Auxiliary Historical Sciences, History
Master's thesis defence: K výrobě inkoustu a recepturám v českých zemích do 16. století | Theses on a related topic

118.
Matoušková, Michaela
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Litevská počítačová terminologie ve světle jazykové politiky a jazykových norem | Theses on a related topic

119.
Matveeva, Oxana
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature
Master's thesis defence: Russkaja sportivnaja terminologija na materiale terminosistemy florbola | Theses on a related topic

120.
Meduna, Eduard
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Vlastimil Vondruška: komentovaná bibliografie recepce vybrané části jeho tvorby | Theses on a related topic
Bachelor's thesis defence: Vlastimil Vondruška: komentovaná bibliografie recepce vybrané části jeho tvorby | Theses on a related topic

121.
Menšíková, Martina
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philology / Ukrainian Language and Literature
Master's thesis defence: Účetní terminologie v ukrajinském a českém jazykovém prostředí (komparativní aspekt) | Theses on a related topic

122.
Michalák, Patrik
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Philology / Polish Language and Literature
Master's thesis defence: Zvieratá v jazyku a texte | Theses on a related topic

123.
Milata, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verifikace konečných systémů pomocí SMT-solveru | Theses on a related topic

124.
Mišejka, Lubomír
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Ukrainian Language and Literature
Master's thesis defence: Formování ukrajinské terminologie (na materiálech Ukrajinsko-českého slovníku počítačové terminologie) | Theses on a related topic

125.
Morozowa, Alina
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / Russian-language Translation
Master's thesis defence: Lingvistická a translatologická analýza rusko-české odborné terminologie včelařského kalendáře | Theses on a related topic

126.
Mozolová, Daniela
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Optimalizace alternativních přístupů exprese lidských isoforem karbonických anhydráz | Theses on a related topic

127.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

128.
Musilová, Michaela
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian with orientation on Commercial Practice, Services and Travel
Bachelor's thesis defence: Fiktivní obchodní případ (Lingvistická analýza odborné terminologie z oblasti strojírenství) | Theses on a related topic

129.
Musilová, Michaela
Faculty: Faculty of Arts
Year: 2015, 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 medicíny (lymfologie). | Theses on a related topic

130.
Nagyová, Hana maiden name: Jašová
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Estetic Education
Master's thesis defence: Expresívna keramika ako súčasť estetickej výchovy s artefiletickým prístupom | Theses on a related topic

131.
Nasková, Eva
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Tourism Terminology in EU Legislation | Theses on a related topic

132.
Němcová, Tereza
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Analytical Biochemistry
Master's thesis defence: Donory oxidu dusnatého pro studium bakteriálního metabolismu | Theses on a related topic

133.
Nešporová, Lucie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Russian Studies / Russian Studies
Master's thesis defence: Determinologizační procesy v oblasti ruského medicínského pojmosloví | Theses on a related topic

134.
Nowaková, Markéta
Faculty: Faculty of Medicine
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: NO, jeho metabolismus, účinky, funkce a stanovení | Theses on a related topic

135.
Obenausová, Eva maiden name: Obenausová
Faculty: Faculty of Arts
Year: 2017, 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 a terminologie z oblasti sportu (volejbal) | Theses on a related topic

136.
Odehnalová, Lucie
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Hračka v životě dítěte | Theses on a related topic

137.
Okrajek, Petr
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Physics
Master's thesis defence: Sbírka příkladů z diferenciálního počtu funkcí dvou proměnných | Theses on a related topic

138.
Omastová, Hedvika
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Chemistry, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Funkcionální rovnice | Theses on a related topic

139.
Oplatek, Stanislav
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: PhDr.
Programme/field: Philology / Russian Language and Literature
Advanced Master's thesis defence: Studie o terminologii | Theses on a related topic

140.
Oppelt, Jan
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biomolecular Chemistry
Master's thesis defence: Určení vztahu mezi sekvencemi v blízkosti klastrovaných miRNA a jejich expresí | Theses on a related topic

141.
Osmíková, Monika
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Řízení lidských zdrojů v institucích veřejného sektoru | Theses on a related topic

142.
Padrtová, Jana
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Applied biochemistry
Bachelor's thesis defence: Vývoj separačního systému pro látky s potenciálem vázat se na receptor pro aromatické uhlovodíky | Theses on a related topic

143.
Pařízková, Zuzana
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Humanities / Czech Language and Literature, History of Arts
Master's thesis defence: Jazyk a styl textů o dějinách umění | Theses on a related topic

144.
Pekařová, Dana
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 mlékárenského průmyslu. | Theses on a related topic

145.
Pěnička, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kontextová nápověda pro redakční systém Kentico CMS | Theses on a related topic

146.
Plachá, Michaela
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Russian Studies / Russian Studies
Bachelor's thesis defence: Chemická terminologie a nomenklatura v ruštině a češtině: komparativní pohled | Theses on a related topic

147.
Pojezná, Darina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training
Bachelor's thesis defence: Péče o lidskou kůži a kožní deriváty | Theses on a related topic

148.
Pokorná, Zuzana
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Animator of Movement Activities, Mathematics with a view to Education
Bachelor's thesis defence: Moderní tanec a jeho využití v praxi | Theses on a related topic

149.
Pondikasová, Andrea
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: Obrazy imaginace | Theses on a related topic

150.
Pospíchal, Radoslav
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Typ a funkce postavy prosťáčka ve vybraných prózách severoamerické literatury 20. století | Theses on a related topic