Истраживачи



Филтрирано по:
Тип:  Докторска дисертација
Година:  [2010 TO 2019]
Година:  2016

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