еНаука - преглед
Преглед према Аутор Malbaški, Dušan
Приказ резултата 1 до 20 од 24
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka | Marić, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2011 | An Algorithm for the Automatic Verification of Inheritance | Kupusinac, Aleksandar   ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Analysis of Infinite Loops Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Analysis of Loop Semantics Using S-formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2011 | Automatic Inference of Invariants in Objects with Variable Structure | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Classification of Invariants in Class Based on Conceptual Definitions | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Elegancija i složenost algoritma | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalization of the General Hoare Logic Laws | Kupusinac, Aleksandar ; Malbaški, Dušan | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Integracija šema modula baze podataka informacionog sistema | Luković, Ivan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2018 | Inteligentni softverski sistem za dijagnostiku metaboličkog sindroma | Ivanović, Darko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Klasifikacija invarijanata u klasi | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Konceptualna definicija objekta i klase | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Pristup agregaciji mrežnih veza u operativnom sistemu sa mikrojezgrom | Stričević, Lazar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Model učenja programskog jezika PASCAL na daljinu | Пардањац, (Барбарић) Марјана | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2002 | Model računarski podržane nastave engleskog jezika i metode njene realizacije kao faktor unapređenja i informatizacije obrazovanja | Tobolka, Erika | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2018 | Napredni distributivni menadžment sistem zasnovan na Cloud infrastrukturi | Popović, Nemanja | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2012 | On the Equilibrium of Owner/Component System | Kupusinac, Aleksandar ; Malbaški, Dušan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Primarna procena kardiometaboličkog rizika primenom veštačkih neuralnih mreža | Doroslovački, Rade ; Kupusinac, Aleksandar ; Malbaški, Dušan; Srdić Galić, Biljana; Stokić, Edita | Техничко решење | Мп категорија ће бити приказана накнадно. |