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

satisfiability, logiclibrary, dpll, animation, normal forms, animacia, normalne formy, sld strom, logika, splnitelnost, logic, sld tree

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Oliva, Jiří
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Využití Moodle ve vzdělávání | Theses on a related topic Display description

102.
Opálený, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Sbírka příkladů pro předmět IB000 | Theses on a related topic

103.
Paleček, Vojtěch
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Civics
Bachelor's thesis defence: čas | Theses on a related topic

104.
Paulenová, Nikola
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vybrané matematické modely pro rezervy v životním pojištěni | Theses on a related topic

105.
Pendl, Jakub
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Konverze výukových animací | Theses on a related topic

106.
Petrů, Marianna
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Specialization in Pedagogy / Arts Education
Doctoral thesis defence: Umění zažít umění: Vlastní tvorba jako cesta poznávání | Theses on a related topic

107.
Pištěková, Lucie
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Art, Lower Secondary School Teacher Training in Civics
Master's thesis defence: Globální rozvojové vzdělávání na hodinách OV v rámci projektové výuky | Theses on a related topic

108.
Rábek, Pavel
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy detekce kolizí pro deformovatelné objekty | Theses on a related topic

109.
Racek, Lukáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výuková animace bezpečnostních mechanismů IPv6 protokolu | Theses on a related topic

110.
Reháková, Monika
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Čo je motion dizajn? | Theses on a related topic

111.
Richter, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro interaktivní dokazování tvrzení o formálních jazycích | Theses on a related topic

112.
Rolenc, Michal
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Švankmajerovo zpracování faustovského mýtu | Theses on a related topic

113.
Rovenská, Veronika
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Queer Representation and Animation in the 2010s: Steven Universe and She-Ra and the Princesses of Power | Theses on a related topic

114.
Říhová, Jana
Faculty: Faculty of Education
Year: 2008, 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: Epikúros versus stoikové | Theses on a related topic

115.
Sečík, Daniel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: WebGL aplikace pro otáčení stránek v prohlížečce knih | Theses on a related topic

116.
Síč, Juraj
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Satisfiability of DQBF Using Binary Decision Diagrams | Theses on a related topic

117.
Sieklová, Katarína
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Interactive visual guide for explaining diabetes to children | Theses on a related topic

118.
Skočík, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Příprava 3D modelu lidské hlavy pro animaci tváře | Theses on a related topic

119.
Slavík, Ondřej
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Studio Pixar a hyperrealita | Theses on a related topic

120.
Slezáček, Jakub
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Violin Performance Motion Capture | Theses on a related topic

121.
Spurný, Robert
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Tomáš Kulka: Pro et Contra | Theses on a related topic

122.
Strečanský, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace směrování v Ad hoc sítích | Theses on a related topic

123.
Stuchlíková, Dita
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Theory and History of Film and Audiovisual Culture / Theory and History of Film and Audiovisual Culture
Master's thesis defence: Vztah tvůrce a díla v současném českém animovaném filmu | Theses on a related topic

124.
Stupka, Tomáš
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Machinima - nová forma digitálního umění | Theses on a related topic

125.
Suchánek, Otto
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Logika v učebnicích středních škol | Theses on a related topic

126.
Sůvová, Barbora
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Interpretace a analýza japonského anime na příkladu tvorby Hayaoa Miyazakiho | Theses on a related topic

127.
Svobodová, Tamara
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: The Queer Outcasts: Three Decades of Queer-Coded Characters in Mainstream Animation | Theses on a related topic

128.
Šaldová, Lucie
Faculty: Faculty of Education
Year: 2023, 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: Vlastní svět v pohybu | Theses on a related topic

129.
Šebová, Martina
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vybrané animační nástroje programu 3ds Max a jejich využití při tvorbě charakteru | Theses on a related topic

130.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic

131.
Štěpánková, Kateřina
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Česká scéna klasické loutkové animace | Theses on a related topic

132.
Šúrová, Ivica
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: Animácia na motív knihy | Theses on a related topic

133.
Tesařová, Kateřina
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Czech Language and Literature for Education
Bachelor's thesis defence: Pigs On The Wing | Theses on a related topic

134.
Tesařová, Kateřina
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Metamorfózy | Theses on a related topic

135.
Trnka, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: General Theory and History of Arts and Culture (4-years) / Theory and History of Theatre, Film and Audio-Visual Culture Studies
Doctoral thesis defence: Dobrý scenárista Josef Neuberg. Procesy psaní a vývoje scénáře v české kinematografii 1919–1965 | Theses on a related topic

136.
Uxová, Alena maiden name: Dlouhá
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Multimedialita a bioartové koncepty v tvorbě Jakuba Nepraše | Theses on a related topic

137.
Veselý, Aleš
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: V čase | Theses on a related topic

138.
Vláčilová, Zora
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Řeč krajky | Theses on a related topic

139.
Vojkovská, Tereza
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Realizace animačních programů společnosti BeeFree | Theses on a related topic

140.
Vondráčková, Elena
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 Arts, Lower Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Výchova animovaným filmem | Theses on a related topic

141.
Vyškovská, Eva
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Zjistit, kde jsou v Andalusii barvy nejjasnější | Theses on a related topic

142.
Zahradníčková, Alena
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic

143.
Zamazalová, Lucie
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Secondary School Teacher Training in Arts
Master's thesis defence: (Per aspera) Ad astra nebo muzeum, tvorba edukačních programů v prostorách zámku Kuřim | Theses on a related topic

144.
Záňová, Dominika
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Film and Audio-Visual Culture Studies
Bachelor's thesis defence: Produkčná kultúra súčasného animovaného seriálu na Slovensku | Theses on a related topic

145.
Zaorálková, Ilona
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Animovaný film pohledem žen | Theses on a related topic

146.
Zapletalová, Veronika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Strategie svádění v animovaném filmu Bambi | Theses on a related topic

147.
Zelenay, Matúš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Tvorba instruktážního videa v programu Cinema4D | Theses on a related topic

148.
Zelenková, Kamila
Faculty: Faculty of Arts
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Humanities / German Language and Literature, Theory of Interactive Media
Bachelor's thesis defence: Konstantní a inovativní prvky ve filmové tvorbě Jana Švankmajera | Theses on a related topic

149.
Ziembová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic

150.
Žember, Richard
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Úvod do animačních technik prezentovaný ve webové aplikaci | Theses on a related topic