еНаука - преглед
Преглед према Аутор Ivetić, Jelena
Приказ резултата 1 до 20 од 55
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia   ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2023 | Algoritmi klaster analize sa primenom | Galogaža, Dragana; Ivetić, Jelena | Научни чланак | 53M53 - Рад у нац. часопису |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | IVETIĆ, JELENA B. ; DELIĆ, MARIJA D. ; Ilija Kovačević | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Assessment of international trade-related transport CO2 emissions – A logistics responsibility perspective | STOJANOVIĆ, ĐURĐICA M. ; Jelena Ivetić ; VELIČKOVIĆ, MARKO S. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis | Dojić, Ivana; Ivetić, Jelena | Научни чланак | 53M53 - Рад у нац. часопису |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Научни чланак | 23M23 - Рад у међ. часопису |
| 2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries | STOJANOVIĆ, ĐURĐICA M. ; Marko Veličković; IVETIĆ, JELENA B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Zoran Marković; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; STOJAKOVIĆ, MILA | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |