| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima![]() | Brtka, Vladimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura![]() | Markoski, Branko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2007 | Metode razvoja i primena XML web servisa kao podrška tradicionalnom obrazovnom procesu![]() | Savić, Ana M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |