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

divine, dios, record, replay, trace, posix, c, c++, proxy, system call, verification, model checking, file system, operating system

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

351.
Zhukova, Anna
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 služeb
Obhajoba diplomové práce: Semi-Automatic Fusion of Multiple Cell Tracking Annotations | Práce na příbuzné téma Zobrazit popisek

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

353.
Ziman, Michal
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Segmentace biomedicínského obrazu pomocí otevřených aktivních kontur | Práce na příbuzné téma

354.
Živčic, Jozef
Fakulta: Fakulta informatiky
Rok: 2016, 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: Webové rozhraní k testování náhodnosti | Práce na příbuzné téma