Истраживачи

Филтрирано по:
Година:  [2000 TO 2009]

Резултати 61-71 од 71
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2002Symbolical execution of Pascal programs in teheorem prover of Baselog systemHotomski, Petar ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Sistem ENGLDEDUC ver.8.4 .Hotomski, Petar ; Berković, Ivana  ; Radulović, (Ćurić) Biljana  ; Radišić, Duško; Hotomski, M.; Soćanin, S.; Divjak, N.; Nikolić, V.; Prohaska D.Техничко решење
Мп категорија ће бити приказана накнадно.
2001Sistem ENGLDEDUC ver.8.4 na engleskom jeziku, razvijena u periodu 1999-2001. . cija DEDUC-a na InternetuHotomski, Petar ; Berković, Ivana  ; Radulović, (Ćurić) Biljana  ; Radišić, Duško; Hotomski, M.; Soćanin, S.Техничко решење
Мп категорија ће бити приказана накнадно.
2001ADT sistem i normalni algoritam kao osnove inteligentnog tutorskog sistemaBrtka, Vladimir  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Proširenje jezika logičkog programiranja LogProBerković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000Nastava logičkog programiranjaBerković, Ivana  ; Brtka, Vladimir  Научни чланак
Мп категорија ће бити приказана накнадно.
2000Priprema nastavne lekcije u inteligentnom tutorskom sistemu – iTUTORBerković, Ivana  ; Brtka, Vladimir  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000Anti-Aliasing in Computer GraphicsMilićević, Vladimir ; Berković, Ivana  ; Dobrilović, Dalibor  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000Priprema nastavnog plana u inteligentnom tutorskom sistemu – iTUTORBrtka, Vladimir  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000Primena nastavne lekcije u inteligentnom tutorskom sistemu - iTUTOR - iTUTORBerković, Ivana  ; Brtka, Vladimir  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000The Recursion Rules and the FractalsBerković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.