Práce na příbuzné téma (mají shodná klíčová slova):
vass, vass mdp, doba terminate, linearni terminace, vass games, termination time, linear termination, asymptotic complexity, asymptoticka slozitost, hry na vassKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Dóczy, Jakub
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 / Softwarové systémy
Obhajoba diplomové práce: Automatic asymptotic-complexity detection of Python 3 implementations | Práce na příbuzné téma
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 / Softwarové systémy
Obhajoba diplomové práce: Automatic asymptotic-complexity detection of Python 3 implementations | Práce na příbuzné téma