eNauka - pregled
Pregled prema Autor Malbaški, Dušan
Prikaz rezultata 1 do 9 od 9
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2013 | A primary estimation of the cardiometabolic risk by using artificial neural networks | Kupusinac, Aleksandar   ; Doroslovački, Rade ; Malbaški, Dušan ; Srdić Galić, Biljana ; Stokić, Edita | Article | 22M22 |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Naučni članak | 24M24 - Vodeći nacionalni časopis kategorije M24 |
| 2014 | Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja | Kazi, Zoltan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Predictive values of waist-to-height ratio for metabolic syndrome | Srdić Galić, Biljana ; Stokić, Edita ; Tomić-Naglić, Dragana ; Udicki, Mirjana ; Kupusinac, Aleksandar ; Doroslovački, Rade ; Malbaški, Dušan | Article | 52M52 |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan | Conference Paper | Mp. category will be shown later |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |