Results 1-12 of 12
| Issue Date | Title | Author(s) | Type | Мp-cat. |
| 2026 | Модел целоживотног учења заснован на блокчејну и вештачкој интелигенцији - приступни рад | Марковић, Лазар | Editorial works | |
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода | Spasić, Mirko   | Doctoral theses | |
| 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 | |
| 2018 | Rešavanje diskretnih lokacijskih problema primenom metode promenljivih okolina | Đenić, Aleksandar D. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Banković, Milan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Rešavanje problema CSP tehnikama svođenja na problem SAT | Stojadinović, Mirko S. | Докторска дисертација | 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 | Нема аутора | Уређивачки рад | |