Theses on a related topic (having the same keywords):
satisfiability, complexity, satisfiability modulo theories, bit-vectors, logicKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
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
2.
Podhorská, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Animace ve výuce logiky | 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: Animace ve výuce logiky | Theses on a related topic
3.
Abaffy, Matúš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Složitost řešení patrolovacích her na orientovaných grafech | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Složitost řešení patrolovacích her na orientovaných grafech | Theses on a related topic
4.
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
5.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | 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: Automating Software Development with Explicit Model Checking | Theses on a related topic
6.
Bednářová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Faktory ovlivňující dodržování daňových předpisů: Teoretické a experimentální přístupy | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Faktory ovlivňující dodržování daňových předpisů: Teoretické a experimentální přístupy | Theses on a related topic
7.
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
8.
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
9.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
10.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
11.
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
12.
Ď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
13.
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
14.
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
15.
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
16.
Fodor, Jakub
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: The Relevance of Stochastic Variables in Economics | 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: The Relevance of Stochastic Variables in Economics | Theses on a related topic
17.
Fronček, Peter
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Utilizing the Complexity Paradigm in Sociology | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Utilizing the Complexity Paradigm in Sociology | Theses on a related topic
18.
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
19.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
20.
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
21.
Hrdlička, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
22.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Problém splnitelnosti pro pravděpodobnostní temporální logiky | 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: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Theses on a related topic
23.
Jankaničová, Natália
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algorithms for Counting of Maximal Satisfiable Subsets | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Algorithms for Counting of Maximal Satisfiable Subsets | Theses on a related topic
24.
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
25.
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
26.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic
27.
Kettner, Daniel
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení | Theses on a related topic
28.
Klejchová, Vendula
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: Breaking the Mold: Queer Representation Revolution in Heartbreak High and Its Reboot | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: Breaking the Mold: Queer Representation Revolution in Heartbreak High and Its Reboot | Theses on a related topic
29.
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
30.
Kovářová, Marie
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Psychology (4-years) / General Psychology
Doctoral thesis defence: Komplexita a její vztah k duševním onemocněním | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Psychology (4-years) / General Psychology
Doctoral thesis defence: Komplexita a její vztah k duševním onemocněním | Theses on a related topic
31.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic
32.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic
33.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic
34.
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
35.
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
36.
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
37.
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
38.
Morháčová, Veronika
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Social Work / Social Work Micro – Counselling
Master's thesis defence: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Social Work / Social Work Micro – Counselling
Master's thesis defence: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Theses on a related topic
39.
Navrátil, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Adding Support for Bit-Vectors to BDD Libraries CUDD and Sylvan | Theses on a related topic
40.
Nešpor, Zdeněk
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: Informace, chaos a komplexita: Nové hranice informační vědy | 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: Informace, chaos a komplexita: Nové hranice informační vědy | Theses on a related topic
41.
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
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
42.
Novotný, Petr
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic
43.
Pavlík, Matěj
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementation of 3-valued BDDs in Q3B | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementation of 3-valued BDDs in Q3B | Theses on a related topic
44.
Pipek, Vojtěch
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Special Education
Master's thesis defence: On Backchannels in English Conversation | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Special Education
Master's thesis defence: On Backchannels in English Conversation | Theses on a related topic
45.
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
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
46.
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
47.
Staněk, Ondřej
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theory of Interactive Media / Culture Management, Theory of Interactive Media
Master's thesis defence: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theory of Interactive Media / Culture Management, Theory of Interactive Media
Master's thesis defence: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Theses on a related topic
48.
Stehlík, Ondřej
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Theses on a related topic
49.
Š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
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
50.
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