Истраживачи
Ognjanović, Zoran
Резултати 21-30 од 30
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 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. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Razvoj algoritama za izračunavanje spektralnih transformacija na grafičkim procesorima | Gajić, Dušan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Квантификација самоорганизације и комплексности заснована на избору оптималног таласића | Milovanović, Miloš | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2012 | O formalizaciji p-adske, kvalitativne i uslovne verovatnoće | Ilić Stepić , Angelina | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | (uređivanje) - Uređivački odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Probability logics | Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2009 | Logic in computer science | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |