Истраживачи
Ivetić, Jelena
Резултати 1-20 од 38
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Concentration of nitrates in public water systems and gastrointestinal cancer incidence in the municipalities of Bogatic and Ljubovija![]() | Dragičević, Igor; Srećković, Marijana; Backović, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 - Међународни часопис категорије M22 |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries![]() | Stojanović, Đurđica M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Preface![]() | Ghilezan, Silvia | Остало | Мп категорија ће бити приказана накнадно. |
| 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 - Водећи међународни часопис категорије M21a |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in types systems![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis![]() | Dojić, Ivana; Ivetić, Jelena | Научни чланак | 53M53 - Национални часопис категорије M53 |
| 2016 | Probabilistic reasoning in type systems![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimization of lambda type assignment via resource control![]() | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control![]() | Gilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Normalisation in substructural term calculi![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Structural rules and resource control in logic and computation![]() | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
