Ivetić, Jelena

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 21-40 od 55 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Ostalo	Mp kategorija će biti prikazana naknadno.
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2017	Understanding the determinants of e-business adoption in ERP-enabled firms and non-ERP-enabled firms: A case study of the Western Balkan Peninsula	Ilin, Vladimir ; Ivetić, Jelena ; Simić, Dragan	Naučni članak	21aM21a - Vodeći međunarodni časopis kategorije M21a
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Probabilistic reasoning in type systems	Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Bajesove mreže - modeliranje u Netici i primer primene na tenis	Dojić, Ivana; Ivetić, Jelena	Naučni članak	53M53 - Nacionalni časopis kategorije M53
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.
2015	Normalisation in substructural term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
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	Structural rules and resource control in logic and computation	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2015	An optimization of lambda type assignment via resource control	Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad	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.
2014	Zbirka rešenih zadataka iz verovatnoće i statistike	Gilezan, Silvia ; Lužanin, Zorana ; Grbić, Tatjana ; Mihailović, Biljana ; Nedović, Ljubo ; Ovcin, Zoran ; Ivetić, Jelena ; Дорословачки, Ксенија	Udžbenik	Mp kategorija će biti prikazana naknadno.
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.
2014	Some Advantages of the Lambda Calculi with Resourse Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Church-Rosser Theorem for sequent lambda calculi	Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia	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.
2014	Internationalisation of Doctoral education - a good practise	Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila	Konferencijski rad	Mp kategorija će biti prikazana naknadno.