Researchers

eNauka > Researchers > Marić, Filip

Marić, Filip

Type

10 Doctoral theses
1 Editorial works

Date issued

11 2000 - 2027

Mp-cat.

10 M70
1 M17/M18

Date issued - custom

Year from:

Year to:

Results 1-11 of 11 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2021	Моделовање упитних језика са применама у рефакторисању и оптимизацији кода	Spasić, Mirko	Doctoral theses	70M70
2018	Rešavanje diskretnih lokacijskih problema primenom metode promenljivih okolina	Đenić, Aleksandar D.	Doctoral theses	70M70
2018	Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica	Vučković, Bojan M.	Doctoral theses	70M70
2017	Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема	Simić, Danijela	Doctoral theses	70M70
2016	Формализација и аутоматско доказивање теорема еуклидске геометрије	Stojanović, Sana	Doctoral theses	70M70
2016	Rešavanje problema CSP tehnikama svođenja na problem SAT	Stojadinović, Mirko S.	Doctoral theses	70M70
2016	Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације	Banković, Milan M.	Doctoral theses	70M70
2015	Аутоматско решавање конструктивних проблема у геометрији	Marinković, Vesna	Doctoral theses	70M70
2013	(uređivanje) - Editorial	No authors	Editorial works	Mp. category will be shown later
2013	Automatsko generisanje i proveravanje uslova ispravnosti programa	Vujošević-Janičić, Milena	Doctoral theses	70M70
2013	Usmeravanje pretrage u automatskom dokazivanju teorema	Nikolić, Mladen S.	Doctoral theses	70M70