Истраживачи
Gilezan, Silvia
Резултати 21-32 од 32
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | (uređivanje) - Uredjivanje zbornika radova sa konferencije | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2015 | (uređivanje) - Preface - | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Прилог пројектовању, консолидацији и трансформацијама ограничења торке шеме базе података, заснован на платформски независним моделима | Obrenović, Nikola   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2014 | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | Marinković, Bojan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | (uređivanje) - Uredjivacki odbor | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Živa teorema | Vilani, Sedrik | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2011 | Regularized Problems in Image Processing | Lukić, Tibor | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2011 | (uređivanje) - Gost uredjivač | Нема аутора | Уређивачки рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |