Browsing eNauka
Browsing by Author Malbaški, Dušan
Showing results 1 to 20 of 24
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka | Marić, Petar | Doctoral theses | 70M70 |
| 2011 | An Algorithm for the Automatic Verification of Inheritance | Kupusinac, Aleksandar   ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2012 | Analysis of Infinite Loops Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2012 | Analysis of Loop Semantics Using S-formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Article | 23M23 |
| 2011 | Automatic Inference of Invariants in Objects with Variable Structure | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2011 | Classification of Invariants in Class Based on Conceptual Definitions | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2010 | Elegancija i složenost algoritma | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2012 | Formalization of the General Hoare Logic Laws | Kupusinac, Aleksandar ; Malbaški, Dušan | Article | 23M23 |
| 2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 1996 | Integracija šema modula baze podataka informacionog sistema | Luković, Ivan | Doctoral theses | 70M70 |
| 2018 | Inteligentni softverski sistem za dijagnostiku metaboličkog sindroma | Ivanović, Darko | Doctoral theses | 70M70 |
| 2010 | Klasifikacija invarijanata u klasi | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2010 | Konceptualna definicija objekta i klase | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2016 | Pristup agregaciji mrežnih veza u operativnom sistemu sa mikrojezgrom | Stričević, Lazar | Doctoral theses | 70M70 |
| 2010 | Model učenja programskog jezika PASCAL na daljinu | Пардањац, (Барбарић) Марјана | Doctoral theses | 70M70 |
| 2002 | Model računarski podržane nastave engleskog jezika i metode njene realizacije kao faktor unapređenja i informatizacije obrazovanja | Tobolka, Erika | Doctoral theses | 70M70 |
| 2018 | Napredni distributivni menadžment sistem zasnovan na Cloud infrastrukturi | Popović, Nemanja | Doctoral theses | 70M70 |
| 2012 | On the Equilibrium of Owner/Component System | Kupusinac, Aleksandar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 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 | Technical reports | Mp. category will be shown later |