Práce na příbuzné téma (mají shodná klíčová slova):

kompozicionalni verifikace, modal transition systems, deterministicke specifikace, complexity, deterministic specifications, consistency, konzistence, zjemneni, compositional verification, modalni prechodove systemy, refinement, slozitost

Klíčová slova abecedně | Klíčová slova dle četnosti

51.
Tománková, Iveta
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba diplomové práce: Personální politika a interakce subkultur v rámci vybrané firmy | Práce na příbuzné téma Zobrazit popisek

52.
Trávníček, Zdeněk
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filozofie / Filozofie
Obhajoba diplomové práce: Problémy dialetheismu | Práce na příbuzné téma

53.
Veselý, Kamil
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Analýza postupů řešení úlohy Tangram | Práce na příbuzné téma

54.
Zatrochová, Zuzana
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: Analysis and testing of distributed NoSQL datastore Riak | Práce na příbuzné téma