Theses on a related topic (having the same keywords):
satisfiability, logiclibrary, dpll, animation, normal forms, animacia, normalne formy, sld strom, logika, splnitelnost, logic, sld treeKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Knihovna pro animace v logice | Theses on a related topic
2.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic
3.
Blahová, Jaroslava
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: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
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: Místo logu v Hérakleitově a stoické filosofii | Theses on a related topic
4.
Blaňárová, Nikola
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hra s adaptivní obtížností | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hra s adaptivní obtížností | Theses on a related topic
5.
Ďurigová, Karolína
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / German Language for Education, Mathematics for Education
Bachelor's thesis defence: Úlohy z matematické logiky v TSP a Scio testech | Theses on a related topic
6.
Dvořáková, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Logické a kombinatorické problémy v matematice na ZŠ | Theses on a related topic
7.
Homolová, Zuzana
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Music / Lower Secondary School Teacher Training in Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Hudba 20. století v kontextu matematiky a logiky | Theses on a related topic
8.
Jelínek, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Type theory and its semantics | Theses on a related topic
9.
Jenčo, Branislav
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / International Relations, Media Studies and Journalism
Bachelor's thesis defence: Webové prezentácie: Web design optikou nových technológií | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / International Relations, Media Studies and Journalism
Bachelor's thesis defence: Webové prezentácie: Web design optikou nových technológií | Theses on a related topic
10.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic
11.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: SMT Solving for the Theory of Bit-Vectors | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: SMT Solving for the Theory of Bit-Vectors | Theses on a related topic
12.
Jurčo, Štefan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická kontrola rezolučních důkazů | Theses on a related topic
13.
Klementová, Soňa
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 Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
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 Mathematics, Secondary School Teacher Training in Music
Master's thesis defence: Matematik muzikantem aneb jak se dva různé obory navzájem ovlivňují | Theses on a related topic
14.
Kutálková, Veronika
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Sbírka úloh z diskrétní matematiky | Theses on a related topic
15.
Lédl, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algebras for unranked trees | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algebras for unranked trees | Theses on a related topic
16.
Lukáčová, Eva
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Humor zalozeny na jazyku v sucasnej animacii: Sheep in the Big City | Theses on a related topic
Faculty: Faculty of Arts
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Humor zalozeny na jazyku v sucasnej animacii: Sheep in the Big City | Theses on a related topic
17.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic
18.
Mihalov, Adam
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Praktické aspekty sound dizajnu v motion dizajne | Theses on a related topic
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Praktické aspekty sound dizajnu v motion dizajne | Theses on a related topic
19.
Michálek, Marek
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies under way
Programme/field: Philosophy / English Language and Literature, Philosophy
Bachelor's thesis defence: Intuicionistic Type Theory and its Application to Natural Language | Theses on a related topic
20.
Priehradníková, Klára
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Arts and Visual Arts for Education / Arts and Visual Arts for Education
Bachelor's thesis defence: Záznam pohybu | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Arts and Visual Arts for Education / Arts and Visual Arts for Education
Bachelor's thesis defence: Záznam pohybu | Theses on a related topic
21.
Skalová, Michaela
Faculty: Faculty of Education
Year: 2011, 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 Mathematics
Master's thesis defence: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, 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 Mathematics
Master's thesis defence: Odraz Descartovy filosofie v českém myšlení po roce 1990 | Theses on a related topic
22.
Sulírová, Dominika
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Tušenie dotyku, ľahkosť stopy | Theses on a related topic
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Tušenie dotyku, ľahkosť stopy | Theses on a related topic
23.
Ťažká, Mária
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Estetic Education
Master's thesis defence: Vývoj galerijnej edukácie v brnenskom kontexte | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Estetic Education
Master's thesis defence: Vývoj galerijnej edukácie v brnenskom kontexte | Theses on a related topic
24.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic
25.
Vlk, Jozef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Porovnání animačních technik pomocí kosterního systému | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Porovnání animačních technik pomocí kosterního systému | Theses on a related topic
26.
Abaffy, Matúš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Generátor příkladů k teorii formálních jazyků | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Generátor příkladů k teorii formálních jazyků | Theses on a related topic
27.
Ádám, Gabriel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba softwarového nástroje prezentující historii předávání informace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba softwarového nástroje prezentující historii předávání informace | Theses on a related topic
28.
Bachratý, Adam
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Pravdivost informace | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v předlatinkovém období | Theses on a related topic
Bachelor's thesis defence: Způsoby zaznamenávání a uchovávání poznání v Mezopotámii a starověkém Egyptě | Theses on a related topic
29.
Bartošek, Marek
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výukové animace v jazyce JavaScript | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výukové animace v jazyce JavaScript | Theses on a related topic
30.
Běhalová, Monika
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Odraz japonské kultury v anime. Stereotypy o japonské kultuře a společnosti a vliv anime na jejich tvorbu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Odraz japonské kultury v anime. Stereotypy o japonské kultuře a společnosti a vliv anime na jejich tvorbu | Theses on a related topic
31.
Bredlová, Tereza
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Václav Bedřich - tvůrce večerníčků | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Václav Bedřich - tvůrce večerníčků | Theses on a related topic
32.
Brchaňová, Jitka
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: Stínová kinematika | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: Stínová kinematika | Theses on a related topic
33.
Brodský, Jan
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Vizualizace rozvoje zástavby ve vybrané lokalitě v prostředí GOOGLE EARTH. | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Vizualizace rozvoje zástavby ve vybrané lokalitě v prostředí GOOGLE EARTH. | Theses on a related topic
34.
Brůža, Vojtěch
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Záznam videosekvencí molekulárních struktur ve virtuální realitě | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Záznam videosekvencí molekulárních struktur ve virtuální realitě | Theses on a related topic
35.
Ciglbauer, František
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Media Studies and Journalism / Media Studies and Journalism, Theory and History of Film and Audiovisual Culture
Bachelor's thesis defence: ANIMACO? - Rozhlasový dokument | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Media Studies and Journalism / Media Studies and Journalism, Theory and History of Film and Audiovisual Culture
Bachelor's thesis defence: ANIMACO? - Rozhlasový dokument | Theses on a related topic
36.
Čajanová, Kateřina
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Videomapping v tvorbě autorky Vortex Visual Division | Theses on a related topic
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Videomapping v tvorbě autorky Vortex Visual Division | Theses on a related topic
37.
Darmová, Barbora
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba realistické 3D scény | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba realistické 3D scény | Theses on a related topic
38.
Di Liberti, Ivan
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Mathematics and Statistics / Algebra, Number Theory and Mathematical Logic
Doctoral thesis defence: The Scott adjunction | Theses on a related topic
39.
Dobešová, Marie maiden name: Štěpáníková
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Brunův průvodce městem Kroměříž | Theses on a related topic
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Brunův průvodce městem Kroměříž | Theses on a related topic
40.
Donko, Pavol
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba a animace 3D charakteru a jeho integrace do reálné scény. | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba a animace 3D charakteru a jeho integrace do reálné scény. | Theses on a related topic
41.
Doupovec, Michal
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Machinima: Filmové umění počítačových her | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Machinima: Filmové umění počítačových her | Theses on a related topic
42.
Duchoňová, Nina
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Výuková interaktivní animace TCP/IP síťové komunikace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Výuková interaktivní animace TCP/IP síťové komunikace | Theses on a related topic
43.
Ďurica, Matej
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace transportních protokolů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace transportních protokolů | Theses on a related topic
44.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic
45.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
46.
Franek, Juraj
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Classical Greek Language and Literature, Latin Language and Literature
Bachelor's thesis defence: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Theses on a related topic
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Classical Greek Language and Literature, Latin Language and Literature
Bachelor's thesis defence: Dialektika v diele Martiana Capellu De Nuptiis Philologiae et Mercurii | Theses on a related topic
47.
Frkáň, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Animace směrování dotazů v P2P sítích | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Animace směrování dotazů v P2P sítích | Theses on a related topic
48.
Gašpar, Andrej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Steinerovy stromy | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Steinerovy stromy | Theses on a related topic
49.
Géryk, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Visual Analytics of Educational Time-Dependent Data | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Visual Analytics of Educational Time-Dependent Data | Theses on a related topic
50.
Govind, Prashanth Reddy
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Design and detection of Hardware Trojans | Theses on a related topic