Организације

Refined By:
Date Issued:  [1990 TO 1999]

Results 81-100 of 111

The results include the works of researchers who are CURRENTLY employed at the displayed institution.

Issue DateTitleAuthor(s)TypeМp-cat.
1995Some notes on the formal definition of streamsMalbaški, Dušan; Ivetić, Dragan  Conference Paper
Mp. category will be shown later
1994Koncepcija razvoja sistema za automatizovano modularno projektovanje transportno skladišnih i manipulacionih sistema u fleksibilnim tehnološkim strukturamaNovaković, Dragoljub  ; Gatalo, RatkoConference Paper
Mp. category will be shown later
1994Proračuni stacionarnih režima elektroenergetskih sistemaStrezoski, Vladimir; Popović, Dragan  Text book
Mp. category will be shown later
1994Application of typed lambda calculi in the untyped lambda calculusGhilezan, Silvia  Article
23M23
1994Conjugation in SerboCroatianGhilezan, Silvia  Article
Mp. category will be shown later
1994Uticaj deformacije smicanja na matricu krutosti grednog nosača i profilaOstrić, Davor; Brkljač, Nikola; Kovačić, Ivana  Conference Paper
Mp. category will be shown later
1994Prilog globalnoj klasifikaciji i interdisciplinarnost automatizovanih transportnih sistemaVladić, Jovan; Babin, Nikola; Novaković, Dragoljub  ; Rodić, MiloradConference Paper
Mp. category will be shown later
1994Panelni sistemi montažnih betonskih konstrukcija prema modelu normi CEB-FIP 90Milorad Tatomirović; RADONjANIN, VLASTIMIR S.  ; S. Vasić; Mirjana MaleševConference Paper
Mp. category will be shown later
1994Podloge za projektovanje uređaja za rukovanje materijalomRodić, Milorad; Novaković, Dragoljub  ; Vladić, Jovan; Stević, MiodragConference Paper
Mp. category will be shown later
1994Effect of sulfur oxides on surface state and carbon monoxide oxidation activity of CuxZnl-xCr204 mixed oxidesTerlecki-Baričević, Ana; Jovanović, Dušan  ; Grbić, Boško ; Marinova, Tsvetana; Kirilov-Stefanov, PlamenНаучни чланак
22M22 - Рад у истакнутом међ. часопису
1994Sistem kvaliteta - unapređenje - metode i tehnikeBeker, Ivan  ; Vulanović, Vojislav; Duđak, Ljubica  ; Zelenović, Dragutin; Kamberović, Bato; Kecojević, Slobodan; Majstorović, Vidosav ; Maksimović, Rado; Maletić, Jelena; Pavlović, Milan;
Radaković, Nikola; Radlovački, Vladan; Rakić, Milutin; Spasić, Zoran T.; Stanić, Joko; Stanivuković, Dragutin; Stojković, Suzana; Tumbas, Zoran;
Монографија
Мп категорија ће бити приказана накнадно.
1994IIS*CASE – alat za automatizovano projektovanje šeme baze podataka – modul za propagaciju primarnog ključa i generisanje međurelacionih ograničenjaRistić, Sonja  ; Mogin, Pavle; Luković, Ivan  Техничко решење
Мп категорија ће бити приказана накнадно.
1993A note on typed combinators and typed lambda termsGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1993Intersection types in lambda calculus and logicGilezan, Silvia  Докторска дисертација
70M70 - Одбрањена докторска дисертација
1993Dijagnosticiranje i procena stanja betonskih konstrukcijaRADONjANIN, VLASTIMIR S.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993Inhabitation in intersection and union type assignment systemsGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1993Biofizika - odabrana poglavlja za studente medicine i stomatologijeStanković, Slobodanka; Kapor, Agneš; Vesković, Miroslav  Уџбеник
Мп категорија ће бити приказана накнадно.
1992Peirce's law and lambda calculusGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1992Ispitivanje materijala i pregled stanja konstrukcije manastira Petkovica na Fruškoj goriB. Zakić; Z. Vapa; Miroslava Radeka; Mirjana Malešev; RADONjANIN, VLASTIMIR S.  ; Tatjana Kočetov Mišulić  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1992Probno opterećenje fert gredica za fazu montažeRADONjANIN, VLASTIMIR S.  ; Mirjana Malešev; Miroslava RadekaКонференцијски рад
Мп категорија ће бити приказана накнадно.

Results 81-100 of 111