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