Theses on a related topic (having the same keywords):
overovani modelu, model checking, ltl, protokoly pro vzajemne vylouceni, spravedlnostKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
Čukan, Ondřej
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Morálka mocných: N. Machiavelli a F. Nietzsche – komparace a využití v hodinách OV | Theses on a related topic
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in History
Bachelor's thesis defence: Morálka mocných: N. Machiavelli a F. Nietzsche – komparace a využití v hodinách OV | Theses on a related topic
52.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
53.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
54.
Drápelová, Lucie
Faculty: Faculty of Education
Year: 2018, 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 English Language and Literature
Master's thesis defence: Etika ctnosti v učitelské profesi | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, 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 English Language and Literature
Master's thesis defence: Etika ctnosti v učitelské profesi | Theses on a related topic
55.
Dražan, Sven
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Výpočetní analýza nelineárních dynamických systémů | Theses on a related topic
56.
Enachescu - Hroncová, Iva
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Psychology / Social Psychology
Doctoral thesis defence: Teorie sociální směny a její užití v poradenství | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Psychology / Social Psychology
Doctoral thesis defence: Teorie sociální směny a její užití v poradenství | Theses on a related topic
57.
Fárová, Iveta maiden name: Škrabánková
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Koncept spravedlnosti u dospívajících s problémovým chováním | Theses on a related topic
Master's thesis defence: Koncept spravedlnosti u dospívajících s problémovým chováním | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Koncept spravedlnosti u dospívajících s problémovým chováním | Theses on a related topic
Master's thesis defence: Koncept spravedlnosti u dospívajících s problémovým chováním | Theses on a related topic
58.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic
59.
Fuková, Martina
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Chemistry for Education / Chemistry for Education, Natural Science for Education
Bachelor's thesis defence: Spravedlnost u učitelů na základní škole | Theses on a related topic
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Chemistry for Education / Chemistry for Education, Natural Science for Education
Bachelor's thesis defence: Spravedlnost u učitelů na základní škole | Theses on a related topic
60.
Gertner, Radek
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Problém objektivity - právo a morálka | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Problém objektivity - právo a morálka | Theses on a related topic
61.
Gorecká, Marcela
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Basics of Social Studies for Education, Music for Education
Bachelor's thesis defence: Spravedlnost v pojetí J. Rawlse a R. Nozicka | Theses on a related topic
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Basics of Social Studies for Education, Music for Education
Bachelor's thesis defence: Spravedlnost v pojetí J. Rawlse a R. Nozicka | Theses on a related topic
62.
Grejtáková, Klára
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Víra ve spravedlivý svět ve vztahu k politické orientaci v České republice | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Víra ve spravedlivý svět ve vztahu k politické orientaci v České republice | Theses on a related topic
63.
Gritzbach, Jan
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Princip rovnosti v právu | Theses on a related topic
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Princip rovnosti v právu | Theses on a related topic
64.
Hájková, Deborah
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School English Language Teacher Training / Lower Secondary School English Language Teacher Training
Master's thesis defence: The Evolution and Effect of the Me Too Movement | Theses on a related topic
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School English Language Teacher Training / Lower Secondary School English Language Teacher Training
Master's thesis defence: The Evolution and Effect of the Me Too Movement | Theses on a related topic
65.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
66.
Halahija, Martin
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Theory of Law)
Advanced Master's thesis defence: Hodnotový rozměr práva | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: JUDr.
Programme/field: Law and Legal Science / Law (combination/specialization: Theory of Law)
Advanced Master's thesis defence: Hodnotový rozměr práva | Theses on a related topic
67.
Hanzlík, Horst
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Právo a morálka - právní moralismus | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Právo a morálka - právní moralismus | Theses on a related topic
68.
Haran, Himanshu Kumar
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
69.
Hašková, Andrea
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education and Counselling
Master's thesis defence: Spravedlivé a nespravedlivé chování učitelů pohledem žáků | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education and Counselling
Master's thesis defence: Spravedlivé a nespravedlivé chování učitelů pohledem žáků | Theses on a related topic
70.
Hauerová, Martina
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Italian Language and Literature
Bachelor's thesis defence: Il tema della Provvidenza in Manzoni | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Italian Language and Literature
Bachelor's thesis defence: Il tema della Provvidenza in Manzoni | Theses on a related topic
71.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
72.
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
73.
Hermann, Jan
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Materiální právní stát jako justiciabilní koncept: rozbor judikatury Ústavního soudu ČR | Theses on a related topic
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Materiální právní stát jako justiciabilní koncept: rozbor judikatury Ústavního soudu ČR | Theses on a related topic
74.
Holeček, Jan
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti
75.
Holík, Lukáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic
76.
Horáček, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Theses on a related topic
77.
Hüttnerová, Kristýna
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Italian Language and Literature / English Language and Literature, Italian Language and Literature
Bachelor's thesis defence: Il tema della giustizia nell'opera di Leonardo Sciascia da un punto di vista giuridico | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Italian Language and Literature / English Language and Literature, Italian Language and Literature
Bachelor's thesis defence: Il tema della giustizia nell'opera di Leonardo Sciascia da un punto di vista giuridico | Theses on a related topic
78.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic
79.
Chatrná, Ivana maiden name: Puškarová
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Political Science
Bachelor's thesis defence: Jsou soukromé školy nespravedlivé? Otázka spravedlnosti ve vzdělávání z pohledu liberálního egalitarismu a libertarianismu | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Political Science
Bachelor's thesis defence: Jsou soukromé školy nespravedlivé? Otázka spravedlnosti ve vzdělávání z pohledu liberálního egalitarismu a libertarianismu | Theses on a related topic
80.
Chvátal, Jakub
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy and International Relations
Master's thesis defence: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Theses on a related topic
Master's thesis defence: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy and International Relations
Master's thesis defence: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Theses on a related topic
Master's thesis defence: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Theses on a related topic
81.
Janečková, Mariana
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science
Bachelor's thesis defence: Manželství pro všechny z hlediska liberálů a jejich odpůrců | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science
Bachelor's thesis defence: Manželství pro všechny z hlediska liberálů a jejich odpůrců | Theses on a related topic
82.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic
83.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
84.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic
85.
Jaroš, Josef
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Tocquevillův paradox demokracie | Theses on a related topic
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Tocquevillův paradox demokracie | Theses on a related topic
86.
Jirkovská, Kateřina
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Dobré mravy a horizontální působení základních práv | Theses on a related topic
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Dobré mravy a horizontální působení základních práv | Theses on a related topic
87.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic
88.
Kamaryt, Václav
Faculty: Faculty of Law
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Theoretical Legal Sciences (4-years) / Theory of Law
Doctoral thesis defence: Spravedlivé fungování společnosti | Theses on a related topic
Doctoral thesis defence: Spravedlivé fungování společnosti | Theses on a related topic
Faculty: Faculty of Law
Year: 2011, studies terminated for failure to fulfill study requirements
Programme/field: Theoretical Legal Sciences (4-years) / Theory of Law
Doctoral thesis defence: Spravedlivé fungování společnosti | Theses on a related topic
Doctoral thesis defence: Spravedlivé fungování společnosti | Theses on a related topic
89.
Katzorová, Denisa
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Koncepce nerovnosti ve zdraví v období pozdní modernity. Jak je utvářena sociální nerovnost ve zdraví? | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Koncepce nerovnosti ve zdraví v období pozdní modernity. Jak je utvářena sociální nerovnost ve zdraví? | Theses on a related topic
90.
Kaumen, Arman
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Oriental logos: the comparison of justice in Confucianism and Rinzai school Zen Buddhism | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Political Science
Bachelor's thesis defence: Oriental logos: the comparison of justice in Confucianism and Rinzai school Zen Buddhism | Theses on a related topic
91.
Kazdová, Hana
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Public Economy and Administration)
Bachelor's thesis defence: Daňová asignace jako nástroj financování neziskového sektoru | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration (combination/specialization: Public Economy and Administration)
Bachelor's thesis defence: Daňová asignace jako nástroj financování neziskového sektoru | Theses on a related topic
92.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic
93.
Kinská, Tereza
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Counter Automata for MTL over Untimed Words | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Counter Automata for MTL over Untimed Words | Theses on a related topic
94.
Klusák, Tomáš
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Zásada koncentrace a její vliv na průběh řízení před soudem prvního stupně | Theses on a related topic
Faculty: Faculty of Law
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Zásada koncentrace a její vliv na průběh řízení před soudem prvního stupně | Theses on a related topic
95.
Kocáb, Miroslav
Faculty: Faculty of Education
Year: 2018, 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: Rozšiřování svobody - skutečnost nebo záminka pro získání moci a prohloubení nerovnosti? | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, 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: Rozšiřování svobody - skutečnost nebo záminka pro získání moci a prohloubení nerovnosti? | Theses on a related topic
96.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
97.
Kosinka, Jan Petr
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právo a morálka jako sociální kapitál | Theses on a related topic
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právo a morálka jako sociální kapitál | Theses on a related topic
98.
Košut, Marek
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právo a spravedlnost. Filosoficko-právní analýza problému | Theses on a related topic
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právo a spravedlnost. Filosoficko-právní analýza problému | Theses on a related topic
99.
Koudelka, Josef
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Political Science (4-years) / Political Science
Doctoral thesis defence: Politická teorie imigrace: Možnosti a limity normativní analýzy | Theses on a related topic
Doctoral thesis defence: Politická teorie imigrace: Možnosti a limity normativní analýzy | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Political Science (4-years) / Political Science
Doctoral thesis defence: Politická teorie imigrace: Možnosti a limity normativní analýzy | Theses on a related topic
Doctoral thesis defence: Politická teorie imigrace: Možnosti a limity normativní analýzy | Theses on a related topic
100.
Kratochvíla, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic