Истраживачи
Ivetić, Jelena
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | The golden section in Gompertz mortality model![]() | Mihailović, Biljana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | IVETIĆ, JELENA B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Monitoring and Assessment of Protected Areas' Management Capacities in the Republic of Serbia![]() | Banjac, Nikola; Maksimović, Rado | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries | STOJANOVIĆ, ĐURĐICA M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis![]() | Dojić, Ivana; Ivetić, Jelena | Научни чланак | 53M53 - Рад у нац. часопису |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control![]() | Gilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Structural rules and resource control in logic and computation![]() | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Resource control and intersection types: an intrinsic connection![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Zbirka rešenih zadataka iz verovatnoće i statistike![]() | Gilezan, Silvia | Уџбеник | Мп категорија ће бити приказана накнадно. |
