Práce na příbuzné téma (mají shodná klíčová slova):
overovani modelu, model checking, ltl, protokoly pro vzajemne vylouceni, spravedlnostKlíčová slova abecedně | Klíčová slova dle četnosti
51.
Čukan, Ondřej
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Morálka mocných: N. Machiavelli a F. Nietzsche – komparace a využití v hodinách OV | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství dějepisu pro základní školy, Pedagogické asistentství občanské výchovy pro základní školy
Obhajoba bakalářské práce: Morálka mocných: N. Machiavelli a F. Nietzsche – komparace a využití v hodinách OV | Práce na příbuzné téma
52.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Práce na příbuzné téma
53.
Demko, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Počítačové systémy
Obhajoba rigorózní práce: Parameter Synthesis of Dynamical Systems via Model Checking | Práce na příbuzné téma
54.
Drápelová, Lucie
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Etika ctnosti v učitelské profesi | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka a literatury pro základní školy, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Etika ctnosti v učitelské profesi | Práce na příbuzné téma
55.
Dražan, Sven
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Výpočetní analýza nelineárních dynamických systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Výpočetní analýza nelineárních dynamických systémů | Práce na příbuzné téma
56.
Enachescu - Hroncová, Iva
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie / Sociální psychologie
Obhajoba disertační práce: Teorie sociální směny a její užití v poradenství | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Psychologie / Sociální psychologie
Obhajoba disertační práce: Teorie sociální směny a její užití v poradenství | Práce na příbuzné téma
57.
Fárová, Iveta roz. Škrabánková
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Koncept spravedlnosti u dospívajících s problémovým chováním | Práce na příbuzné téma
Obhajoba diplomové práce: Koncept spravedlnosti u dospívajících s problémovým chováním | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Koncept spravedlnosti u dospívajících s problémovým chováním | Práce na příbuzné téma
Obhajoba diplomové práce: Koncept spravedlnosti u dospívajících s problémovým chováním | Práce na příbuzné téma
58.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma
59.
Fuková, Martina
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie se zaměřením na vzdělávání / Chemie se zaměřením na vzdělávání, Přírodopis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Spravedlnost u učitelů na základní škole | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie se zaměřením na vzdělávání / Chemie se zaměřením na vzdělávání, Přírodopis se zaměřením na vzdělávání
Obhajoba bakalářské práce: Spravedlnost u učitelů na základní škole | Práce na příbuzné téma
60.
Gertner, Radek
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Problém objektivity - právo a morálka | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Problém objektivity - právo a morálka | Práce na příbuzné téma
61.
Gorecká, Marcela
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Hudební výchova se zaměřením na vzdělávání, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Spravedlnost v pojetí J. Rawlse a R. Nozicka | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Hudební výchova se zaměřením na vzdělávání, Základy společenských věd se zaměřením na vzdělávání
Obhajoba bakalářské práce: Spravedlnost v pojetí J. Rawlse a R. Nozicka | Práce na příbuzné téma
62.
Grejtáková, Klára
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Víra ve spravedlivý svět ve vztahu k politické orientaci v České republice | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Víra ve spravedlivý svět ve vztahu k politické orientaci v České republice | Práce na příbuzné téma
63.
Gritzbach, Jan
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Princip rovnosti v právu | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Princip rovnosti v právu | Práce na příbuzné téma
64.
Hájková, Deborah
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství anglického jazyka pro základní školy / Učitelství anglického jazyka pro základní školy
Obhajoba diplomové práce: The Evolution and Effect of the Me Too Movement | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství anglického jazyka pro základní školy / Učitelství anglického jazyka pro základní školy
Obhajoba diplomové práce: The Evolution and Effect of the Me Too Movement | Práce na příbuzné téma
65.
Hajnal, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba rigorózní práce: Formal Methods for Model Selection in Systems Biology | Práce na příbuzné téma
66.
Halahija, Martin
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Teorie práva)
Obhajoba rigorózní práce: Hodnotový rozměr práva | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Teorie práva)
Obhajoba rigorózní práce: Hodnotový rozměr práva | Práce na příbuzné téma
67.
Hanzlík, Horst
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Právo a morálka - právní moralismus | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Právo a morálka - právní moralismus | Práce na příbuzné téma
68.
Haran, Himanshu Kumar
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
Obhajoba diplomové práce: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Práce na příbuzné téma
69.
Hašková, Andrea
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika a poradenství
Obhajoba diplomové práce: Spravedlivé a nespravedlivé chování učitelů pohledem žáků | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Sociální pedagogika a poradenství
Obhajoba diplomové práce: Spravedlivé a nespravedlivé chování učitelů pohledem žáků | Práce na příbuzné téma
70.
Hauerová, Martina
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Italský jazyk a literatura
Obhajoba bakalářské práce: Il tema della Provvidenza in Manzoni | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Italský jazyk a literatura
Obhajoba bakalářské práce: Il tema della Provvidenza in Manzoni | Práce na příbuzné téma
71.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma
72.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma
73.
Hermann, Jan
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Materiální právní stát jako justiciabilní koncept: rozbor judikatury Ústavního soudu ČR | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Materiální právní stát jako justiciabilní koncept: rozbor judikatury Ústavního soudu ČR | Práce na příbuzné téma
74.
Holeček, Jan
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarového plánovače paměti
75.
Holík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Rozhodnutelnost v temporálních logikách | Práce na příbuzné téma
76.
Horáček, Petr
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Práce na příbuzné téma
77.
Hüttnerová, Kristýna
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Italský jazyk a literatura / Anglický jazyk a literatura, Italský jazyk a literatura
Obhajoba bakalářské práce: Il tema della giustizia nell'opera di Leonardo Sciascia da un punto di vista giuridico | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Italský jazyk a literatura / Anglický jazyk a literatura, Italský jazyk a literatura
Obhajoba bakalářské práce: Il tema della giustizia nell'opera di Leonardo Sciascia da un punto di vista giuridico | Práce na příbuzné téma
78.
Huvar, Ondřej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Symbolic Model Checking of Hybrid CTL | Práce na příbuzné téma
79.
Chatrná, Ivana roz. Puškarová
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Politologie
Obhajoba bakalářské práce: Jsou soukromé školy nespravedlivé? Otázka spravedlnosti ve vzdělávání z pohledu liberálního egalitarismu a libertarianismu | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika, Politologie
Obhajoba bakalářské práce: Jsou soukromé školy nespravedlivé? Otázka spravedlnosti ve vzdělávání z pohledu liberálního egalitarismu a libertarianismu | Práce na příbuzné téma
80.
Chvátal, Jakub
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika a mezinárodní vztahy
Obhajoba diplomové práce: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Práce na příbuzné téma
Obhajoba diplomové práce: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Hospodářská politika a mezinárodní vztahy
Obhajoba diplomové práce: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Práce na příbuzné téma
Obhajoba diplomové práce: Komparace postojů evropských států a Spojených států amerických ve vztahu k Izraeli a jeho okolí | Práce na příbuzné téma
81.
Janečková, Mariana
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Politologie
Obhajoba bakalářské práce: Manželství pro všechny z hlediska liberálů a jejich odpůrců | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Politologie
Obhajoba bakalářské práce: Manželství pro všechny z hlediska liberálů a jejich odpůrců | Práce na příbuzné téma
82.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Transformation of Nondeterministic Büchi Automata to Tight Automata | Práce na příbuzné téma
83.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma
84.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma
85.
Jaroš, Josef
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Tocquevillův paradox demokracie | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Tocquevillův paradox demokracie | Práce na příbuzné téma
86.
Jirkovská, Kateřina
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Dobré mravy a horizontální působení základních práv | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Dobré mravy a horizontální působení základních práv | Práce na příbuzné téma
87.
Kadaši, Jakub
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Verifikace paralelní hashovací tabulky z knihovny Folly | Práce na příbuzné téma
88.
Kamaryt, Václav
Fakulta: Právnická fakulta
Rok: 2011, studium neúspěšně ukončeno
Program/obor Teoretické právní vědy (čtyřleté) / Teorie práva
Obhajoba disertační práce: Spravedlivé fungování společnosti | Práce na příbuzné téma
Obhajoba disertační práce: Spravedlivé fungování společnosti | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2011, studium neúspěšně ukončeno
Program/obor Teoretické právní vědy (čtyřleté) / Teorie práva
Obhajoba disertační práce: Spravedlivé fungování společnosti | Práce na příbuzné téma
Obhajoba disertační práce: Spravedlivé fungování společnosti | Práce na příbuzné téma
89.
Katzorová, Denisa
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Koncepce nerovnosti ve zdraví v období pozdní modernity. Jak je utvářena sociální nerovnost ve zdraví? | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociologie / Sociologie
Obhajoba diplomové práce: Koncepce nerovnosti ve zdraví v období pozdní modernity. Jak je utvářena sociální nerovnost ve zdraví? | Práce na příbuzné téma
90.
Kaumen, Arman
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Oriental logos: the comparison of justice in Confucianism and Rinzai school Zen Buddhism | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Oriental logos: the comparison of justice in Confucianism and Rinzai school Zen Buddhism | Práce na příbuzné téma
91.
Kazdová, Hana
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa (kombinace/zaměření: Veřejná ekonomika a správa)
Obhajoba bakalářské práce: Daňová asignace jako nástroj financování neziskového sektoru | Práce na příbuzné téma
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa (kombinace/zaměření: Veřejná ekonomika a správa)
Obhajoba bakalářské práce: Daňová asignace jako nástroj financování neziskového sektoru | Práce na příbuzné téma
92.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma
93.
Kinská, Tereza
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Counter Automata for MTL over Untimed Words | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Counter Automata for MTL over Untimed Words | Práce na příbuzné téma
94.
Klusák, Tomáš
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Zásada koncentrace a její vliv na průběh řízení před soudem prvního stupně | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Zásada koncentrace a její vliv na průběh řízení před soudem prvního stupně | Práce na příbuzné téma
95.
Kocáb, Miroslav
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Rozšiřování svobody - skutečnost nebo záminka pro získání moci a prohloubení nerovnosti? | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Rozšiřování svobody - skutečnost nebo záminka pro získání moci a prohloubení nerovnosti? | Práce na příbuzné téma
96.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma
97.
Kosinka, Jan Petr
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právo a morálka jako sociální kapitál | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právo a morálka jako sociální kapitál | Práce na příbuzné téma
98.
Košut, Marek
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právo a spravedlnost. Filosoficko-právní analýza problému | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právo a spravedlnost. Filosoficko-právní analýza problému | Práce na příbuzné téma
99.
Koudelka, Josef
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Politologie (čtyřleté) / Politologie
Obhajoba disertační práce: Politická teorie imigrace: Možnosti a limity normativní analýzy | Práce na příbuzné téma
Obhajoba disertační práce: Politická teorie imigrace: Možnosti a limity normativní analýzy | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Politologie (čtyřleté) / Politologie
Obhajoba disertační práce: Politická teorie imigrace: Možnosti a limity normativní analýzy | Práce na příbuzné téma
Obhajoba disertační práce: Politická teorie imigrace: Možnosti a limity normativní analýzy | Práce na příbuzné téma
100.
Kratochvíla, Tomáš
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarových systémů | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Formální verifikace hardwarových systémů | Práce na příbuzné téma