Browse by committee members
Now showing items 1-16 of 16
-
Analiza osobina dinamičkih postuslova u Horovim tripletima / Analyses of characteristics of dynamic postconditions in Hoare triplets
(University of Novi Sad, Faculty of Technical Science, 01-01-2010) -
Application of new shape descriptors and theory of uncertainty in image processing / Примена нових дескриптора облика и теорије неодређености у обради слике
(University of Novi Sad, Faculty of Technical Science, 20-12-2019) -
Formal modeling and analysis of resource usage and sharing in distributed software systems / Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
(University of Novi Sad, Faculty of Technical Science, 22-01-2020) -
Formalni sistemi za dokazivanje teorema incidencije / Formal systems for proving incidence results
(University of Novi Sad, Faculty of Technical Science, 28-10-2020) -
Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze / Formally verified fault tolerant distributed software transactional memory
(University of Novi Sad, Faculty of Technical Science, 09-04-2021) -
Integration of Software Security Design Analysis to the Agile Development Process / Integracija bezbednosne analize dizajna softverau proces agilnog razvoja
(University of Novi Sad, Faculty of Technical Science, 18-01-2020) -
Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications / Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene
(University of Novi Sad, Faculty of Technical Science, 10-10-2014) -
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(University of Novi Sad, Faculty of Technical Science, 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
(University of Novi Sad, Faculty of Technical Science, 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
(University of Novi Sad, Faculty of Technical Science, 01-10-2018) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(University of Novi Sad, Faculty of Technical Science, 28-02-2020) -
Types for Access and Memory Control / Типски системи за контролу меморије и права приступа
(University of Novi Sad, Faculty of Technical Science, 16-11-2016) -
Интерактивно састављање машински читљивих и разумљивих судских писмена базирано на знању / Interaktivno sastavljanje mašinski čitljivih i razumljivih sudskih pismena bazirano na znanju
(University of Novi Sad, Faculty of Technical Science, 20-12-2018) -
Поређење скупова података помоћу графова / Poređenje skupova podataka pomoću grafova
(University of Novi Sad, Faculty of Technical Science, 02-03-2017) -
Прилог пројектовању, консолидацији и трансформацијама ограничења торке шеме базе података, заснован на платформски независним моделима / Prilog projektovanju, konsolidaciji i transformacijama ograničenja torke šeme baze podataka, zasnovan na platformski nezavisnim modelima
(University of Novi Sad, Faculty of Technical Science, 10-10-2015) -
Формална верификација софтверске трансакционе меморије засноване на временским аутоматима / Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
(University of Novi Sad, Faculty of Technical Science, 03-02-2020)