Researchers

Secondary authorships



Results 21-30 of 30

Issue DateTitleAuthor(s)TypeМ-cat.
2014Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama (✓)Korać, Vanja  Doctoral theses
70M70
2013Usmeravanje pretrage u automatskom dokazivanju teorema (✓)Nikolić, Mladen S.  Doctoral theses
70M70
2013Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorimaGajić, Dušan B.  Doctoral theses
70M70
2013Квантификација самоорганизације и комплексности заснована на избору оптималног таласићаMilovanović, Miloš  Doctoral theses
70M70
2013Development and verification of probability logics and logical frameworksMaksimović, PetarDoctoral theses
70M70
2012O formalizaciji p-adske, kvalitativne i uslovne verovatnoće (✓)Ilić Stepić , Angelina  Doctoral theses
70M70
2010(uređivanje) - Uređivački odborEditorial works
Mp. category will be shown later
2009Formalizacija, implementacija i primene SAT rešavača (✓)Marić, Filip  Doctoral theses
70M70
2009Logic in computer scienceEditorial works
Mp. category will be shown later
2009Probability logicsOgnjanović, Zoran  ; Rašković, Miodrag; Marković, ZoranEditorial works
Mp. category will be shown later

Results 21-30 of 30