Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2013 | Квантификација самоорганизације и комплексности заснована на избору оптималног таласића | Milovanović, Miloš ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2013 | Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorima | Gajić, Dušan B. ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2013 | Usmeravanje pretrage u automatskom dokazivanju teorema (✓) | Nikolić, Mladen S. ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |