Browse by committee members
Now showing items 1-8 of 8
-
Clones of Nondeterministic Operations / Клонови недетерминистичких операција
(Универзитет у Новом Саду, Факултет техничких наука, 02-06-2022) -
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(Универзитет у Новом Саду, Факултет техничких наука, 22-01-2020) -
Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnica / The influence of an unsignalized midblock crosswalk on the level of service of urban street segments estimating model
(Универзитет у Новом Саду, Факултет техничких наука, 09-10-2020) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(Универзитет у Новом Саду, Факултет техничких наука, 28-02-2020) -
Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja / Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation
(Универзитет у Новом Саду, Факултет техничких наука, 13-01-2022) -
Strong positional games / Јаке позиционе игре
(Универзитет у Новом Саду, Факултет техничких наука, 29-08-2023) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(Универзитет у Новом Саду, Факултет техничких наука, 16-11-2016) -
Модел процене ефективности управљања заштићеним подручјима у АП Војводини / Model procene efektivnosti upravljanja zaštićenim područjima u AP Vojvodini
(Универзитет у Новом Саду, Факултет техничких наука, 18-06-2021)