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
201.
Varechová, Pavla
Fakulta: Fakulta sociálních studií
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Motivační a etický aspekt péče o pracovníky ve vybrané společnosti | 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 Sociální politika a sociální práce / Veřejná politika a lidské zdroje (kombinace/zaměření: Personální management a organizační rozvoj)
Obhajoba diplomové práce: Motivační a etický aspekt péče o pracovníky ve vybrané společnosti | Práce na příbuzné téma
202.
Vašek, David
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Inkluzivní vzdělávání jako filozofický problém | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Inkluzivní vzdělávání jako filozofický problém | Práce na příbuzné téma
203.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma
204.
Vejpustek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Visual Specification of Temporal Properties over Time Series | Práce na příbuzné téma
205.
Veselá Samková, Klára
Fakulta: Právnická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Ochrana lidských práv ( se zřetelem na jejich původ ) | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Teoretické právní vědy / Teorie práva
Obhajoba disertační práce: Ochrana lidských práv ( se zřetelem na jejich původ ) | Práce na příbuzné téma
206.
Voda, Václav
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: Funkce daní v České Republice | Práce na příbuzné téma
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: Funkce daní v České Republice | Práce na příbuzné téma
207.
Vondrák, David
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: Spravedlnost v právu | 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: Spravedlnost v právu | Práce na příbuzné téma
208.
Vozárová, Viktória
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Craig's Interpolant in Model Checking Algorithms | Práce na příbuzné téma
209.
Weiser, Jiří
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE | Práce na příbuzné téma
210.
Werner, Jan
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Politologie
Obhajoba diplomové práce: Legitimita obce, občanství a spravedlnost v antickém politicko - filosofickém myšlení | Práce na příbuzné téma
Fakulta: Fakulta sociálních studií
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Politologie
Obhajoba diplomové práce: Legitimita obce, občanství a spravedlnost v antickém politicko - filosofickém myšlení | Práce na příbuzné téma
211.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
212.
Zedníčková, Magdaléna
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Statistika a analýza dat
Obhajoba diplomové práce: Pásy spolehlivosti pro funkcionální parametry | Práce na příbuzné téma
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Statistika a analýza dat
Obhajoba diplomové práce: Pásy spolehlivosti pro funkcionální parametry | Práce na příbuzné téma
213.
Zelenka, Tomáš
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Čtyři ctnosti v ideální obci Platónovy Ústavy | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Čtyři ctnosti v ideální obci Platónovy Ústavy | Práce na příbuzné téma
214.
Zemánková, Anna
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Literatura jako pramen práva | Práce na příbuzné téma
Fakulta: Právnická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Literatura jako pramen práva | Práce na příbuzné téma
215.
Zhuk, Marharyta
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma
216.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
217.
Zubalík, Jan
Fakulta: Pedagogická fakulta
Rok: 2022, 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, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Pojetí spravedlnosti u učitelů základních škol | Práce na příbuzné téma
Obhajoba diplomové práce: Pojetí spravedlnosti u učitelů základních škol | Práce na příbuzné téma
Fakulta: Pedagogická fakulta
Rok: 2022, 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, Učitelství občanské výchovy pro základní školy
Obhajoba diplomové práce: Pojetí spravedlnosti u učitelů základních škol | Práce na příbuzné téma
Obhajoba diplomové práce: Pojetí spravedlnosti u učitelů základních škol | Práce na příbuzné téma
218.
Zwyrtek, Mateusz
Fakulta: Filozofická fakulta
Rok: 2017, 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: Od liberalismu k anarchokapitalismu | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2017, 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: Od liberalismu k anarchokapitalismu | Práce na příbuzné téma