eNauka - pregled
Pregled prema Autor Malbaški, Dušan
Prikaz rezultata 1 do 20 od 23
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka | Marić, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2011 | An Algorithm for the Automatic Verification of Inheritance | Kupusinac, Aleksandar   ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Analysis of Infinite Loops Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Analysis of Loop Semantics Using S-formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2011 | Automatic Inference of Invariants in Objects with Variable Structure | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Konceptualna definicija objekta i klase | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Pristup agregaciji mrežnih veza u operativnom sistemu sa mikrojezgrom | Stričević, Lazar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2002 | Model računarski podržane nastave engleskog jezika i metode njene realizacije kao faktor unapređenja i informatizacije obrazovanja | Tobolka, Erika | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Napredni distributivni menadžment sistem zasnovan na Cloud infrastrukturi | Popović, Nemanja | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2012 | On the Equilibrium of Owner/Component System | Kupusinac, Aleksandar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 |
| 2011 | Programsko rešenje za primarnu procenu kardiometaboličkog rizika primenom veštačkih neuronskih mreža - | Kupusinac, Aleksandar ; Doroslovački, Rade; Malbaški, Dušan; Stokić, Edita; Srdić, Biljana | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |