|
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
| 1995 | Sistemi automatskog rezonovanja u tenici i tehnologiji | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana  | Конференцијски рад | |
| 1995 | Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teorema | Berković, Ivana ; Radulović, (Ćurić) Biljana  | Конференцијски рад | |
| 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 | 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  | Техничко решење | |
| 1995 | Automated reasoning systems in technics and technologies | Hotomski, Petar ; Berković, Ivana ; Radulović, (Ćurić) Biljana  | Конференцијски рад | |
| 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  | Поглавље у монографији | |
| 1992 | Some induced equivalence relations on Pow Kn,n | Mitrović, Žarko; Berković, Ivana  | Поглавље у монографији | |
| 1992 | Projekat nastavno orijentisanog sistema za automatsko dokazivanje teorema | Berković, Ivana  | Поглавље у монографији | |
| 1992 | Baza podataka za pedagoško psihološku službu škole kao podsistema informacionog sistema škole | Černiček, Ištvan; Lipovac, Milan; Lipovac, Dušan; Sotirović, Velimir; Radulović, (Ćurić) Biljana ; Radosav, (Stoin) Dragica ; Berković, Ivana  | Конференцијски рад | |
| 1991 | Obrazovni programski paket ITER i njegova primena u nastavi matematike | Berković, Ivana  | Конференцијски рад | |
| 1991 | Programske aplikacije za nastavu iz informacionih sistema u upravljanju i mikrografiji | Runić, M.; Stoin, D. ; Radulović, (Ćurić) Biljana ; Berković, Ivana ; Ivanovski - Mirkov, S. | Конференцијски рад | |
| 1991 | Implementacija nekih poboljšanja rezolucijskog dokazivača teorema | Berković, Ivana ; Hotomski, Petar ; Radulović, (Ćurić) Biljana  | Конференцијски рад | |
| 1991 | Programske aplikacije za nastavu iz informacionih sistema u upravljanju i mikrografiji Naziv skupa: XV simpozijum o informacionim tehnologijama “Sarajevo 91” | Runić M.; Radosav, (Stoin) Dragica ; Radulović, (Ćurić) Biljana ; Berković, Ivana ; Ivanovski - Mirkov S. | Конференцијски рад | |