Témata vypsaných disertačních prací 2013/2014

»1-4«
 
# Školitel -Ústav Student Název
1Kolář DušanUIFSAutomatizovaná tvorba kontextových gramatik
2Kolář DušanUIFSOptimalizace ve funkcionálních jazycích
3Kolář DušanUIFSParalelní analýza kontextových jazyků
4Kolář DušanUIFSStatická analýza binárního spustitelného kódu za účelem rekonstrukce datových typů