Istraživači
Marić, Filip
Tip
Godina
Mp-kat.
Godina - raspon
Rezultati 1-11 od 11
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода | Spasić, Mirko   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Rešavanje diskretnih lokacijskih problema primenom metode promenljivih okolina | Đenić, Aleksandar D. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica | Vučković, Bojan M. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Banković, Milan M. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | Rešavanje problema CSP tehnikama svođenja na problem SAT | Stojadinović, Mirko S. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema | Nikolić, Mladen S. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | (uređivanje) - Editorial | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa | Vujošević-Janičić, Milena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |