Istraživači

Rezultati 21-40 od 59
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2019The golden section in Gompertz mortality modelMihailović, Biljana  ; Ivetić, Jelena  ; Doroslovački, Ksenija  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Monitoring and Assessment of Protected Areas' Management Capacities in the Republic of SerbiaBanjac, Nikola; Maksimović, Rado  ; Dragaš, Katarina; Ivetić, Jelena  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2019Incoterms clauses in trade between Serbia and the neighbouring countriesStojanović, Đurđica M.  ; Veličković, Marko  ; Ivetić, Jelena B.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2018PrefaceGhilezan, Silvia  ; Geuvers, Herman; Ivetić, Jelena  Ostalo
Mp kategorija će biti prikazana naknadno.
2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savic, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2018Towards probabilistic reasoning about typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2017Understanding the determinants of e-business adoption in ERP-enabled firms and non-ERP-enabled firms: A case study of the Western Balkan PeninsulaIlin, Vladimir  ; Ivetić, Jelena  ; Simić, Dragan  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2017Towards Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Bajesove mreže - modeliranje u Netici i primer primene na tenisDojić, Ivana; Ivetić, Jelena  Naučni članak
53M53 - Nacionalni časopis kategorije M53
2016Probabilistic reasoning in type systemsGhilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2016Towards probabilistic reasoning about lambda terms with intersection typesGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015An optimization of lambda type assignment via resource controlIvetić, Jelena  ; Ghilezan, Silvia ; Savić, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015An optimisation of lambda type assignments via resource controlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Structural rules and resource control in logic and computationGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescannePoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2015Normalisation in substructural term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Naučni članak
Mp kategorija će biti prikazana naknadno.
2015Intersection Types Fit Well with Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2014Zbirka rešenih zadataka iz verovatnoće i statistikeGilezan, Silvia  ; Lužanin, Zorana  ; Grbić, Tatjana  ; Mihailović, Biljana  ; Nedović, Ljubo  ; Ovcin, Zoran  ; Ivetić, Jelena  ; Дорословачки, Ксенија  Udžbenik
Mp kategorija će biti prikazana naknadno.
2014Church-Rosser Theorem for sequent lambda calculiGhilezan, Silvia ; Ivetić, Jelena  ; Likaves, SilviaKonferencijski rad
Mp kategorija će biti prikazana naknadno.