Резултати 1-13 од 13
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehiclesMatijević, LukaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2024Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилностиPočuč, MiodragДокторска дисертација
70M70 - Одбрањена докторска дисертација
2024Probabilistic reasoning in computation and simple type theoryProkić, SimonaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2023Strong positional gamesStratijev, Jelena  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2022Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanjaDedeić, Jovana  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2022Clones of Nondeterministic OperationsČolić Oravec, JelenaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2021Модел процене ефективности управљања заштићеним подручјима у АП ВојводиниBanjac, NikolaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2020Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnicaGarunović, NemanjaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2020Parallel software system for counting finite modelsPejović, AleksandarДокторска дисертација
70M70 - Одбрањена докторска дисертација
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2018(uređivanje) - TYPES 2016 postproceedingsНема аутораУређивачки рад
Мп категорија ће бити приказана накнадно.
2016Types for Access and Memory ControlJakšić, SvetlanaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2016(uređivanje) - Uredjivanje zbornika radova sa konferencijeНема аутораУређивачки рад
Мп категорија ће бити приказана накнадно.