Истраживачи

Резултати 261-280 од 294
ГодинаНасловАутор(и)Тип резултатаМп-кат.
1995Neki aspekti primene rezolucijski zasnovanog automatskog dokazivača teoremaBerković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Razvoj stohastičke metode balansiranja vremenskog kapaciteta montažne linijeLipovac, Dušan; Letić, Duško  ; Dimitrijević, P; Berković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Relational and object oriented databasesRadulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Relacione baze podataka u nastavi informatičkih predmetaRadulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Informatics education as the development in energetic and energetics technologiesRadosav, (Stoin) Dragica  ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Relacione i objektne baze podatakaRadulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Automated reasoning systems in technics and technologiesHotomski, Petar ; Berković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Ordered linear resolution as the base of the system for automatic theorem provingBerković, Ivana  Научни чланак
Мп категорија ће бити приказана накнадно.
1995Rozete u računarskoj graficiMitrović, Žarko; Berković, Ivana  Научни чланак
Мп категорија ће бити приказана накнадно.
1995Sistem ADT i relacione baze podatakaBerković, Ivana  ; Radulović, (Ćurić) Biljana  ; Hotomski, Petar Научни чланак
Мп категорија ће бити приказана накнадно.
1995Informatičko obrazovanje kao faktor razvoja u energetici i energetskim tehnologijamaRadosav, (Stoin) Dragica  ; Radulović, (Ćurić) Biljana  ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Računarska grafika i botanikaMitrović, Žarko; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995The Induced Relations on a Pow SetMitrović, Žarko; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1995Prototip porologolikog jezika LP logičkog programiranja, zasnovan na rezolucijskom dokazivaču teorema Korisnik: Rađeno za: Tehnički fakultetBerković, Ivana  ; Hotomski, Petar ; Brtka, Vladimir  Техничко решење
Мп категорија ће бити приказана накнадно.
1994The effects of Computer - Assisted Instruction on Students' Learning Achievement Behavior and Attitude Toward ComputerBoral, E.; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1994Implementacija sistema ADT za automatsko dokazivanje teorema sa varijabilnim strategijamaHotomski, Petar ; Berković, Ivana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1994Primena softverskih alata u nastavi informatičkih predmetaBerković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1994Primena softverskih alata u nastavi informatičkih predmetaBerković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1994Primena softverskih alata u nastavi informatičkih predmeta Naziv skupa: Tematska konferencija "Informatika i društvene promene"Berković, Ivana  ; Radulović, (Ćurić) Biljana  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993Razvoj 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Конференцијски рад
Мп категорија ће бити приказана накнадно.