Pretraga po mentorima
Prikaz rezultata 1-3 od 3
-
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(Универзитет у Новом Саду, Факултет техничких наука, 09-10-2013) -
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)