Researchers

Secondary authorships



Refined By:
Date Issued:  [2010 TO 2019]

Results 1-20 of 21

Issue DateTitleAuthor(s)TypeМ-cat.
2019Symbolic and Quantitative Approaches to Reasoning with UncertaintyEditorial works
Mp. category will be shown later
2019Савремени модел дигитализације архивске грађе научног института и његова примена у проучавању историје Математичког института САНУ (✓)Šegan-Radonjić, Marija  Doctoral theses
70M70
2019Symbolic and quantitative approaches to reasoning with uncertainty - 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings - Gabriele Kern-Isberner, Zoran Ognjanović (eds.)Editorial works
Mp. category will be shown later
2019Primena tehnologije proširene stvarnosti za poboljšanje bezbednosti i efikasnosti rada u industrijskim okruženjima (✓)Tatić, Dušan D.  Doctoral theses
70M70
2018Оптимизација проблема управљања односима користи и трошкова при распоређивању пројеката применом метахеуристичких алгоритамаGlišović, Nataša S.Doctoral theses
70M70
2016(uređivanje) - p-Adic probability logicsEditorial works
Mp. category will be shown later
2016Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропијиBoričić, MarijaDoctoral theses
70M70
2016Капацитет дигиталне технологије за развој инклузивног друштва (✓)Masliković, Dejan M.  Doctoral theses
70M70
2016Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизацијеBanković, Milan M.Doctoral theses
70M70
2016Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti formula u verovatnosnim logikamaStojanović, Tatjana  Doctoral theses
70M70
2015Extraction and analysis of complex networks from different domainsSavić, Miloš  Doctoral theses
70M70
2015Razvoj algoritama za izračunavanje autokorelacije prekidačkih funkcija preko dijagrama odlučivanja (✓)Radmanović, Miloš M.  Doctoral theses
70M70
2015(uređivanje) - First-order probabilistic logics and their applicationsEditorial works
Mp. category will be shown later
2014Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and ApplicationsMarinković, Bojan  Doctoral theses
70M70
2014Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama (✓)Korać, Vanja  Doctoral theses
70M70
2013Квантификација самоорганизације и комплексности заснована на избору оптималног таласићаMilovanović, Miloš  Doctoral theses
70M70
2013Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorimaGajić, Dušan B.  Doctoral theses
70M70
2013Development and verification of probability logics and logical frameworksMaksimović, PetarDoctoral theses
70M70
2013Usmeravanje pretrage u automatskom dokazivanju teorema (✓)Nikolić, Mladen S.  Doctoral theses
70M70
2012O formalizaciji p-adske, kvalitativne i uslovne verovatnoće (✓)Ilić Stepić , Angelina  Doctoral theses
70M70

Results 1-20 of 21