Истраживачи



Филтрирано по:
Година:  [2010 TO 2019]
Година:  2013

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