Pronađeno 57 radova, za izraz:
"PROJEKT: (Matematička logika i primjene (MZOS-120-1203164-3074))"
DODAJ/IZMIJENI OPERATORE PRETRAŽIVANJA
-
51.Šikić, ZvonimirDiferencijalni i integralni račun / Klanac, Zlatko (ur.).
Zagreb: Profil, 2008 -
52.Vuković, MladenBisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)
-
53.Čačić, VedranNezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma, 2007., magistarski rad, Prirodoslovno-matematički fakultet, Zagreb
-
54.Vuković, MladenMatematička logika 1
Zagreb: PMF-Matematički odjel, 2007 -
55.Šikić, ZvonimirDiferencijalne jednadžbe / Zlatko Klanac (ur.).
Zagreb: Profil, 2007 -
56.Botinčan, Matko; Glavan, Paola; Runje, DavorDistributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad: Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
57.Dujella, Andrej; Maretić, MarcelKriptografija / Gračan, Sandra (ur.).
Zagreb: Element, 2007
