Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 1-20 од 34

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2019The golden section in Gompertz mortality modelMihailović, Biljana  ; Ivetić, Jelena  ; Doroslovački, Ksenija  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Analiza prijemnog ispita iz matematike na FTNIVETIĆ, JELENA B.  ; DELIĆ, MARIJA D.  ; Ilija KovačevićКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019Monitoring and Assessment of Protected Areas' Management Capacities in the Republic of SerbiaBanjac, Nikola; Maksimović, Rado  ; Dragaš, Katarina; Ivetić, Jelena  Научни чланак
22M22 - Рад у истакнутом међ. часопису
2019Incoterms clauses in trade between Serbia and the neighbouring countriesSTOJANOVIĆ, ĐURĐICA M.  ; Marko Veličković; IVETIĆ, JELENA B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; IVETIĆ, JELENA B.  ; KAŠTEROVIĆ, SIMONA Đ.  ; Ognjanović, Zoran D.  ; Nenad SavicКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018Towards probabilistic reasoning about typed lambda termsGilezan, Silvia K.  ; IVETIĆ, JELENA B.  ; KAŠTEROVIĆ, SIMONA Đ.  ; Zoran Ognjanović  ; Nenad SavićКонференцијски рад
Мп категорија ће бити приказана накнадно.
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  Научни чланак
21aM21a - Рад у међ. часопису изузетних вредности
2017Towards Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; IVETIĆ, JELENA B.  ; KAŠTEROVIĆ, SIMONA Đ.  ; Ognjanović, Zoran D.  ; SAVIĆ, NENAD D. Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; SAVIĆ, NENAD Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Towards probabilistic reasoning about lambda terms with intersection typesGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; SAVIĆ, NENAD D. Конференцијски рад
Мп категорија ће бити приказана накнадно.
2016Bajesove mreže - modeliranje u Netici i primer primene na tenisDojić, Ivana; Ivetić, Jelena  Научни чланак
53M53 - Рад у нац. часопису
2015Normalisation in substructural term calculiGilezan, Silvia  ; Ivetić, Jelena  ; SAVIĆ, NENAD Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Научни чланак
Мп категорија ће бити приказана накнадно.
2015An optimisation of lambda type assignments via resource controlGilezan, Silvia  ; Ivetić, Jelena  ; SAVIĆ, NENAD Конференцијски рад
Мп категорија ће бити приказана накнадно.
2015Structural rules and resource control in logic and computationGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2015Intersection Types Fit Well with Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Some Advantages of the Lambda Calculi with Resourse ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2014Zbirka rešenih zadataka iz verovatnoće i statistikeGilezan, Silvia  ; Lužanin, Zorana  ; Grbić, Tatjana  ; Mihailović, Biljana  ; Nedović, Ljubo  ; Ovcin, Zoran  ; Ivetić, Jelena  ; Дорословачки, Ксенија  Уџбеник
Мп категорија ће бити приказана накнадно.

Резултати 1-20 од 34