Истраживачи
Ognjanović, Zoran
Rezultati 21-30 od 30
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2014 | Digitalna forenzika u funkciji zaštite infomacionog sistema baziranog na Linux i Windows platformama | Korać, Vanja   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema | Nikolić, Mladen S. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Квантификација самоорганизације и комплексности заснована на избору оптималног таласића | Milovanović, Miloš | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorima | Gajić, Dušan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2012 | O formalizaciji p-adske, kvalitativne i uslovne verovatnoće | Ilić Stepić , Angelina | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | (uređivanje) - Uređivački odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Logic in computer science | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2009 | Probability logics | Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Уређивачки рад | Мп категорија ће бити приказана накнадно. |