Ivetić, Jelena

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 55 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Остало	Мп категорија ће бити приказана накнадно.
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Probabilistic reasoning in type systems	Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2016	Bajesove mreže - modeliranje u Netici i primer primene na tenis	Dojić, Ivana; Ivetić, Jelena	Научни чланак	53M53 - Национални часопис категорије M53
2015	An Optimization of Lambda Type assignments via Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Научни чланак	Мп категорија ће бити приказана накнадно.
2015	Normalisation in substructural term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2015	An optimisation of lambda type assignments via resource control	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2015	Structural rules and resource control in logic and computation	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2015	An optimization of lambda type assignment via resource control	Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2015	Intersection Types Fit Well with Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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 ; Дорословачки, Ксенија	Уџбеник	Мп категорија ће бити приказана накнадно.
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2014	Some Advantages of the Lambda Calculi with Resourse Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Church-Rosser Theorem for sequent lambda calculi	Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Approaching substructural term calculi via the resource control calculus	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Internationalisation of Doctoral education - a good practise	Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila	Конференцијски рад	Мп категорија ће бити приказана накнадно.