Browse by committee members
Now showing items 1-3 of 3
-
Automatsko generisanje i proveravanje uslova ispravnosti programa / Automated generation and checking of verification conditions
(Универзитет у Београду, Математички факултет, 17-12-2013) -
Modifikacije metode promenljivih okolina i njihove primene za rešavanje problema raspoređivanja prenosa datoteka / Modifications of the variable neighborhood search method and their applications to solving the file transfer scheduling problem
(Универзитет у Београду, Математички факултет, 02-12-2014) -
Rješavanje nekih problema u nastavi primjenom metoda kombinatorne optimizacije / Solving some problems in teaching by using combinatorial optimization methods
(Универзитет у Београду, Математички факултет, 08-07-2013)