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

divine, implementation, fuzzing, fuzzer, system calls, posix, c, c++, file system, verification, model checking, operating system

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

451.
Zagorová, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Matematika / Učitelství matematiky pro střední školy
Obhajoba rigorózní práce: Multimediální diskrétní matematika
Obhajoba rigorózní práce: Multimediální diskrétní matematika | Práce na příbuzné téma Zobrazit popisek

452.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma

453.
Zachar, Lev Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Digital Poet | Práce na příbuzné téma

454.
Zárubová, Kristýna
Fakulta: Ekonomicko-správní fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba diplomové práce: Od sociálních inovací k advokacii: úsilí o změny ve společnosti | Práce na příbuzné téma

455.
Zaťovič, Daniel
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Using fuzzing for Linux disk encryption tools | Práce na příbuzné téma

456.
Zezulčíková, Markéta
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: Implementace směrnice o službách na vnitřním trhu v ČR | Práce na příbuzné téma

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

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

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

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

461.
Zollerová, Patrícia
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance a účetnictví / Finance
Obhajoba diplomové práce: Implementace konceptu EVA ve vybrané společnosti | Práce na příbuzné téma

462.
Zvoňárová, Pavla
Fakulta: Filozofická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Pedagogika / Pedagogika
Obhajoba bakalářské práce: Podnikové vzdělávání a jeho úloha v řízení lidských zdrojů | Práce na příbuzné téma

463.
Žalmánek, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Hospodářská politika a správa / Veřejná ekonomika a správa
Obhajoba bakalářské práce: Projektový manažer na úrovni obce - implementace, bariéry, přínosy | Práce na příbuzné téma

464.
Žaludová, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba diplomové práce: Zavedení controllingu v konkrétním podniku | Práce na příbuzné téma
Obhajoba diplomové práce: Zavedení controllingu v konkrétním podniku | Práce na příbuzné téma

465.
Ž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