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
101.
Kratochvílová, Pavla
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování stateflow diagramů pro účely verifikace | Práce na příbuzné téma
102.
Krčálová, Zdenka
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Justiční omyly | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Justiční omyly | Práce na příbuzné téma
103.
Kresta, Matěj
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Role spravedlnosti a dobra podle Johna Rawlse a kritika Michaela Sandela | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Role spravedlnosti a dobra podle Johna Rawlse a kritika Michaela Sandela | Práce na příbuzné téma
104.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma
105.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma
106.
Krupárová, Adéla
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Anarchokapitalistická percepce společnosti: ochrana a spravedlnost | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Mezinárodní vztahy, Politologie
Obhajoba bakalářské práce: Anarchokapitalistická percepce společnosti: ochrana a spravedlnost | Práce na příbuzné téma
107.
Křenková, Zuzana
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Leibnizovo pojetí teodiceje | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Leibnizovo pojetí teodiceje | Práce na příbuzné téma
108.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma
109.
Kučera, Libor
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Idea spravedlnosti v soudobém právním myšlení. Filozoficko-právní analýza problému.
Fakulta: Právnická fakulta
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Idea spravedlnosti v soudobém právním myšlení. Filozoficko-právní analýza problému.
110.
Kudelová, Marianna
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: K teorii spravedlnosti Johna Rawlse | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: K teorii spravedlnosti Johna Rawlse | Práce na příbuzné téma
111.
Kudláč, Jiří
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: Cenová stabilita a inflační cílování | 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: Cenová stabilita a inflační cílování | Práce na příbuzné téma
112.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod 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: Kešování stavů pod DiVinE | Práce na příbuzné téma
113.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma
114.
Kunderová, Denisa
Fakulta: Právnická fakulta
Rok: 2024, studium probíhá
Program/obor Teorie a praxe trestního a správního procesu / Teorie a praxe trestního a správního procesu
Obhajoba bakalářské práce: Restorativní justice a oběti trestné činnosti | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2024, studium probíhá
Program/obor Teorie a praxe trestního a správního procesu / Teorie a praxe trestního a správního procesu
Obhajoba bakalářské práce: Restorativní justice a oběti trestné činnosti | Práce na příbuzné téma
115.
Kuráň, Jan
Fakulta: Právnická fakulta
Rok: 2013, 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 ochrany slabší smluvní strany | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2013, 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 ochrany slabší smluvní strany | Práce na příbuzné téma
116.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma
117.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě
118.
Láska, Ľuboš
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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | 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: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
119.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma
120.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma
121.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma
122.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Name Service Cache Daemon with DIVINE Model Checker | Práce na příbuzné téma
123.
Lobotka, Andrej
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Trestní právo)
Obhajoba rigorózní práce: Účel trestu v českém právu trestním | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: JUDr.
Program/obor Právo a právní věda / Právo (kombinace/zaměření: Trestní právo)
Obhajoba rigorózní práce: Účel trestu v českém právu trestním | Práce na příbuzné téma
124.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma
125.
Macháček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Mapping the Omega-Automata Jungle | 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: Mapping the Omega-Automata Jungle | Práce na příbuzné téma
126.
Macháčková, Kateřina
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Psané a nepsané zákony jako předmět uměleckého zobrazení | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Psané a nepsané zákony jako předmět uměleckého zobrazení | Práce na příbuzné téma
127.
Major, Juraj
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Práce na příbuzné téma
128.
Malinová, Jiřina
Fakulta: Právnická fakulta
Rok: 2008, 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 spravedlivé odměny za práci a vnitropodnikový mzdový systém | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2008, 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 spravedlivé odměny za práci a vnitropodnikový mzdový systém | Práce na příbuzné téma
129.
Martinek, Jan
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Politologie
Obhajoba diplomové práce: Institucionální design grantové komise na principech deliberace | 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 Politologie / Politologie
Obhajoba diplomové práce: Institucionální design grantové komise na principech deliberace | Práce na příbuzné téma
130.
Mateásková, Alexandra
Fakulta: Právnická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Občanská neposlušnost | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Občanská neposlušnost | Práce na příbuzné téma
131.
Matoušek, Adam
Fakulta: Fakulta informatiky
Rok: 2018, 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: Metadata paměti programu v nástroji DIVINE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, 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: Metadata paměti programu v nástroji DIVINE | Práce na příbuzné téma
132.
Menšík, Radovan
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura 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: Využití vlivu mýtů při rozvíjení etických postojů | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura 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: Využití vlivu mýtů při rozvíjení etických postojů | Práce na příbuzné téma
133.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma
134.
Mikš, Petr
Fakulta: Právnická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: K některým otázkám regulace společenských vztahů | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: K některým otázkám regulace společenských vztahů | Práce na příbuzné téma
135.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma
136.
Namešanská, Lucie roz. Fajkošová
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství základů společenských věd pro střední školy
Obhajoba diplomové práce: Etika sportu | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství základů společenských věd pro střední školy
Obhajoba diplomové práce: Etika sportu | Práce na příbuzné téma
137.
Nikl, Václav
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Přirozenost člověka | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Přirozenost člověka | Práce na příbuzné téma
138.
Novotná, Alena
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy (čtyřleté) / Teorie práva
Obhajoba disertační práce: Tolerance jako lidské právo | Práce na příbuzné téma
Obhajoba disertační práce: Tolerance jako lidské právo | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy (čtyřleté) / Teorie práva
Obhajoba disertační práce: Tolerance jako lidské právo | Práce na příbuzné téma
Obhajoba disertační práce: Tolerance jako lidské právo | Práce na příbuzné téma
139.
Novotný, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Automatická detekce chyb v programech | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Automatická detekce chyb v programech | Práce na příbuzné téma
140.
Obrajterová, Zuzana
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Změna mzdového systému jako nástroj stabilizace zaměstnanců ve společnosti XY | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Veřejná a sociální politika a lidské zdroje / Personální management a organizační rozvoj
Obhajoba diplomové práce: Změna mzdového systému jako nástroj stabilizace zaměstnanců ve společnosti XY | Práce na příbuzné téma
141.
Omarov, Magaram
Fakulta: Právnická fakulta
Rok: 2006, 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ávní myšlení na prahu 21. století. Analýza základních proudů, problémů a kategorií. | Práce na příbuzné téma
Obhajoba diplomové práce: Právní myšlení na prahu 21. století. Analýza základních proudů, problémů a kategorií.
Fakulta: Právnická fakulta
Rok: 2006, 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ávní myšlení na prahu 21. století. Analýza základních proudů, problémů a kategorií. | Práce na příbuzné téma
Obhajoba diplomové práce: Právní myšlení na prahu 21. století. Analýza základních proudů, problémů a kategorií.
142.
Oškera, Aleš
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: Zvláštní irácký tribunál - záruka spravedlivého procesu? | 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: Zvláštní irácký tribunál - záruka spravedlivého procesu? | Práce na příbuzné téma
143.
Pastva, Samuel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Práce na příbuzné téma
144.
Pelánek, Radek
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Reduction and Abstraction Techniques for Model Checking | Práce na příbuzné téma
145.
Pelechová, Judita
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: Objektivní a subjektivní aspekt spravedlnosti v právu | 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: Objektivní a subjektivní aspekt spravedlnosti v právu | Práce na příbuzné téma
146.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Zrychlení syntézy parametrů pro stochastické modely | Práce na příbuzné téma
147.
Piro, Tomáš
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Politologie
Obhajoba bakalářské práce: Spravedlnost a individuální práva v díle J. Rawlse, R. Nozicka a G. A. Cohena | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Politologie / Politologie
Obhajoba bakalářské práce: Spravedlnost a individuální práva v díle J. Rawlse, R. Nozicka a G. A. Cohena | Práce na příbuzné téma
148.
Plášil, Roman
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Grafický editor parametrizovaných modelů pro DiVinE | Práce na příbuzné téma
149.
Plešáková, Natálie
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura 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 jako férovost? | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Český jazyk a literatura 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 jako férovost? | Práce na příbuzné téma
150.
Plotěný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2008, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vytvoření modelu výtahů se sběrným řízením | Práce na příbuzné téma