eNauka - pregled
Pregled prema Autor Ivetić, Jelena
Prikaz rezultata 1 do 20 od 55
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia   ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2023 | Algoritmi klaster analize sa primenom | Galogaža, Dragana; Ivetić, Jelena | Naučni članak | 53M53 - Rad u nac. časopisu |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | IVETIĆ, JELENA B. ; DELIĆ, MARIJA D. ; Ilija Kovačević | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Assessment of international trade-related transport CO2 emissions – A logistics responsibility perspective | STOJANOVIĆ, ĐURĐICA M. ; Jelena Ivetić ; VELIČKOVIĆ, MARKO S. | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis | Dojić, Ivana; Ivetić, Jelena | Naučni članak | 53M53 - Rad u nac. časopisu |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2010 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries | STOJANOVIĆ, ĐURĐICA M. ; Marko Veličković; IVETIĆ, JELENA B. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Zoran Marković; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; STOJAKOVIĆ, MILA | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |