Претрага по члановима комисија
Приказ резултата 1-20 од 20
-
Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets
(Универзитет у Новом Саду, Факултет техничких наука, 01-01-2010) -
Application of new shape descriptors and theory of uncertainty in image processing / Примена нових дескриптора облика и теорије неодређености у обради слике
(Универзитет у Новом Саду, Факултет техничких наука, 20-12-2019) -
Dynamic formation of the distributed micro clouds / Dinamičko formiranje distribuiranog mikro okruženja u računarstvu u oblaku
(Универзитет у Новом Саду, Факултет техничких наука, 09-05-2022) -
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(Универзитет у Новом Саду, Факултет техничких наука, 22-01-2020) -
Formalni sistemi za dokazivanje teorema incidencije / Formal systems for proving incidence results
(Универзитет у Новом Саду, Факултет техничких наука, 28-10-2020) -
Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze / Formally verified fault tolerant distributed software transactional memory
(Универзитет у Новом Саду, Факултет техничких наука, 09-04-2021) -
Integration of Software Security Design Analysis to the Agile Development Process / Integracija bezbednosne analize dizajna softverau proces agilnog razvoja
(Универзитет у Новом Саду, Факултет техничких наука, 18-01-2020) -
Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications / Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
(Универзитет у Новом Саду, Факултет техничких наука, 10-10-2014) -
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(Универзитет у Новом Саду, Факултет техничких наука, 09-10-2013) -
Model za utvrđivanje uticaja nerezidentnih vozača na kapacitet prioritetnih kružnih raskrsnica / A model for determining the impacts of non-resident drivers on the capacity of priority roundabouts
(Универзитет у Новом Саду, Факултет техничких наука, 22-01-2020) -
Namenski jezik za vizuelizaciju evaluiranu statističkom analizom malih skupova podataka / Domain specific language for visualization evaluated by the statistical analysis of small data sets
(Универзитет у Новом Саду, Факултет техничких наука, 01-10-2018) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(Универзитет у Новом Саду, Факултет техничких наука, 28-02-2020) -
Strong positional games / Јаке позиционе игре
(Универзитет у Новом Саду, Факултет техничких наука, 29-08-2023) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(Универзитет у Новом Саду, Факултет техничких наука, 16-11-2016) -
Uticaj kružnih raskrsnica na uslove odvijanja saobraćaja na gradskim arterijama / Roundabout influence on the arterials traffic conditions
(Универзитет у Новом Саду, Факултет техничких наука, 27-12-2021) -
Интерактивно састављање машински читљивих и разумљивих судских писмена базирано на знању / Interaktivno sastavljanje mašinski čitljivih i razumljivih sudskih pismena bazirano na znanju
(Универзитет у Новом Саду, Факултет техничких наука, 20-12-2018) -
Поређење скупова података помоћу графова / Poređenje skupova podataka pomoću grafova
(Универзитет у Новом Саду, Факултет техничких наука, 02-03-2017) -
Прилог пројектовању, консолидацији и трансформацијама ограничења торке шеме базе података, заснован на платформски независним моделима / Prilog projektovanju, konsolidaciji i transformacijama ograničenja torke šeme baze podataka, zasnovan na platformski nezavisnim modelima
(Универзитет у Новом Саду, Факултет техничких наука, 10-10-2015) -
Прилог решењу брзе промене канала дигиталног ТВ пријемника / Prilog rešenju brze promene kanala digitalnog TV prijemnika
(Универзитет у Новом Саду, Факултет техничких наука, 11-10-2023) -
Формална верификација софтверске трансакционе меморије засноване на временским аутоматима / Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
(Универзитет у Новом Саду, Факултет техничких наука, 03-02-2020)