Theses on a related topic (having the same keywords):

vass, vass mdp, doba terminate, linearni terminace, vass games, termination time, linear termination, asymptotic complexity, asymptoticka slozitost, hry na vass

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Dóczy, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Automatic asymptotic-complexity detection of Python 3 implementations | Theses on a related topic Display description