Претрага по члановима комисија
Приказ резултата 1-6 од 6
-
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(Универзитет у Београду, Математички факултет, 17-12-2013) -
Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica / New combinatorial constructions related to problems from the chromatic graph theory, extremal set theory and Boolean matrix theory.
(Универзитет у Београду, Математички факултет, 22-02-2018) -
Rešavanje diskretnih lokacijskih problema primenom metode promenljivih okolina / Variable neighborhood search for solving discrete location problems
(Универзитет у Београду, Математички факултет, 19-06-2018) -
Usmeravanje pretrage u automatskom dokazivanju teorema / Guiding search in automated theorem proving
(Универзитет у Београду, Математички факултет, 27-05-2013) -
Аутоматско решавање конструктивних проблема у геометрији / Automated solving of construction problems in geometry.
(Универзитет у Београду, Математички факултет, 04-06-2015) -
Моделовање упитних језика са применама у рефакторисању и оптимизацији кода / Modeling of query languages and applications in code refactoring and code optimization
(Универзитет у Београду, Математички факултет, 23-03-2021)