Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2016 | Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији | Boričić, Marija | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Капацитет дигиталне технологије за развој инклузивног друштва (✓) | Masliković, Dejan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikama | Stojanović, Tatjana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2016 | Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације | Banković, Milan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |