Browsing eNauka
Browsing by Author Malbaški, Dušan
Showing results 1 to 9 of 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 | Купусинац, Александар | Doctoral theses | 70M70 |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Doctoral theses | 70M70 |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Article | 24M24 |
| 2014 | Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja | Kazi, Zoltan | Doctoral theses | 70M70 |
| 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 | Article | Mp. category will be shown later |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Doctoral theses | 70M70 |