еНаука - преглед

Преглед према Аутор Ivetić, Jelena

Приказ резултата 21 до 40 од 55 < претходно   следеће >
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2007Intersection types for λGtz-calculusGhilezan, Silvia  ; Ivetić, Jelena  Научни чланак
Мп категорија ће бити приказана накнадно.
2013Intesection types and resource control in the intuitionistic sequent lambda calculusIvetić, Jelena  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2020Macrologistic performance and logistics commitments in sales contracts in international supply chainsStojanović, Đurđica  ; Ivetić, Jelena  Научни чланак
21M21 - Рад у врхунском међ. часопису
2021Модел процене ефективности управљања заштићеним подручјима у АП ВојводиниBanjac, NikolaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2020Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnicaGarunović, NemanjaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2021Modelling Risk under Volatile Conditions: Tail Index Estimation and ValidationĐaković, Vladimir  ; Ivetić, Jelena  ; Anđelić, Goran  Научни чланак
22M22 - Рад у истакнутом међ. часопису
2019Monitoring and Assessment of Protected Areas' Management Capacities in the Republic of SerbiaBanjac, Nikola; Maksimović, Rado  ; Dragaš, Katarina; Ivetić, Jelena  Научни чланак
22M22 - Рад у истакнутом међ. часопису
2015Normalisation in substructural term calculiGilezan, Silvia  ; Ivetić, Jelena  ; SAVIĆ, NENAD Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Parallel software system for counting finite modelsPejović, AleksandarДокторска дисертација
70M70 - Одбрањена докторска дисертација
2021Patient safety: Knowledge and attitudes of medical and nursing students: Cross-sectional studyBrestovački-Svitlica, Branislava S  ; Šajnović, Maja; Simin, Dragana  ; Ivetić, Jelena B  ; Milutinović, Dragana  Научни чланак
21aM21a - Рад у међ. часопису изузетних вредности
2020Possibilities of using Incoterms clauses in a country logistics performance assessment and benchmarkingStojanović, Đurđica  ; Ivetić, Jelena  Научни чланак
21M21 - Рад у врхунском међ. часопису
2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; IVETIĆ, JELENA B.  ; KAŠTEROVIĆ, SIMONA Đ.  ; Ognjanović, Zoran D.  ; Nenad SavicКонференцијски рад
Мп категорија ће бити приказана накнадно.
2024Probabilistic reasoning in computation and simple type theoryProkić, SimonaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; SAVIĆ, NENAD Конференцијски рад
Мп категорија ће бити приказана накнадно.
2024Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилностиPočuč, MiodragДокторска дисертација
70M70 - Одбрањена докторска дисертација
2022Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanjaDedeić, Jovana  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Resource aware computing with proofsGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Naučni članak
Mp kategorija će biti prikazana naknadno.
2013Resource control and strong normalisationGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
Приказ резултата 21 до 40 од 55 < претходно   следеће >