Berković, Ivana

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 261-280 од 293 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1995	Ordered linear resolution as the base of the system for automatic theorem proving	Berković, Ivana	Научни чланак	Мп категорија ће бити приказана накнадно.
1995	The Induced Relations on a Pow Set	Mitrović, Žarko; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Računarska grafika i botanika	Mitrović, Žarko; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Upliv novih tehnologija na obrazovanje i prateći rizici	Jovović, V.; Radulović, (Ćurić) Biljana ; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teorema	Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Informatics education as the development in energetic and energetics technologies	Radosav, (Stoin) Dragica ; Radulović, (Ćurić) Biljana ; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Relacione i objektne baze podataka	Radulović, (Ćurić) Biljana ; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Sistemi automatskog rezonovanja u tenici i tehnologiji	Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Primene rezolucijskih procedura u obradi tehničkih sadržaja	Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Informatičko obrazovanje kao faktor razvoja u energetici i energetskim tehnologijama	Radosav, (Stoin) Dragica ; Radulović, (Ćurić) Biljana ; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Sistem ADT i relacione baze podataka	Berković, Ivana ; Radulović, (Ćurić) Biljana ; Hotomski, Petar	Научни чланак	Мп категорија ће бити приказана накнадно.
1995	Automated reasoning systems in technics and technologies	Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1995	Prototip porologolikog jezika LP logičkog programiranja, zasnovan na rezolucijskom dokazivaču teorema Korisnik: Rađeno za: Tehnički fakultet	Berković, Ivana ; Hotomski, Petar ; Brtka, Vladimir	Техничко решење	Мп категорија ће бити приказана накнадно.
1994	Primena softverskih alata u nastavi informatičkih predmeta	Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1994	The effects of Computer - Assisted Instruction on Students' Learning Achievement Behavior and Attitude Toward Computer	Boral, E.; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1994	Primena softverskih alata u nastavi informatičkih predmeta	Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1994	Primena softverskih alata u nastavi informatičkih predmeta Naziv skupa: Tematska konferencija "Informatika i društvene promene"	Berković, Ivana ; Radulović, (Ćurić) Biljana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1994	Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijama	Hotomski, Petar ; Berković, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1993	Razvoj metode Monte-Karlo u postupcima upravljanja složenim protocima materijala u brodogradnji Naziv skupa: VII seminar i simpozijum "Informacioni i ekspertni sistemi u procesnoj industriji"	Lipovac, Dušan; Letić, Duško ; Berković, Ivana ; Radulović, (Ćurić) Biljana ; Lovre, Mile	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1992	Unitary set-matrices	Mitrović, Žarko; Berković, Ivana	Поглавље у монографији	Мп категорија ће бити приказана накнадно.