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

divine, preprocessor, compiler, model checking, verification, ltl, parser, partial-order reduction, interpret, interpreter, kompilator

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

251.
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 Zobrazit popisek

252.
Zhumatay, Aikumis
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Management v kultuře / Management v kultuře
Obhajoba diplomové práce: Indie rocková scéna v České republice na příkladu vybraných skupin | Práce na příbuzné téma

253.
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

254.
Zmrzlý, Adam
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vizuální programovací jazyk | Práce na příbuzné téma

255.
Zudová, Hana
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Anglický jazyk a literatura se zaměřením na vzdělávání, Hudební výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Antonín Nosek | Práce na příbuzné téma