Istraživači
Gilezan, Silvia
Rezultati 21-32 od 32
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | (uređivanje) - Uredjivanje zbornika radova sa konferencije | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | (uređivanje) - Preface - | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Прилог пројектовању, консолидацији и трансформацијама ограничења торке шеме базе података, заснован на платформски независним моделима | Obrenović, Nikola   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2014 | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | Marinković, Bojan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | (uređivanje) - Uredjivacki odbor | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Živa teorema | Vilani, Sedrik | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Regularized Problems in Image Processing | Lukić, Tibor | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2011 | (uređivanje) - Gost uredjivač | Nema autora | Uređivački rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |