Práce na příbuzné téma (mají shodná klíčová slova):
static analysis, memory, klee, symbolic execution, verification, testingKlíčová slova abecedně | Klíčová slova dle četnosti
401.
Župa, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma
402.
Žváčková, Šárka
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Vliv typu 2D a 3D vizualizace na kontextovou výbavnost | Práce na příbuzné téma
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Psychologie / Psychologie
Obhajoba bakalářské práce: Vliv typu 2D a 3D vizualizace na kontextovou výbavnost | Práce na příbuzné téma