Researchers
Markoski, Branko
Results 261-280 of 282
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 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 |
| 2010 | Eksitoni u višeslojnim materijalima superrešetkama | Šetrajčić, Jovan ; Vučenović, Siniša; Pelemiš, Svetlana; Škipina, Blanka; Markoski, Branko ; Mirjanić, Dragoljub | Conference Paper | Mp. category will be shown later |
| 2010 | m – Uprava u oblasti državnih razvojnih fondova | Arsovski, Saša; Šetrajčić, Jovan ; Pecev, Predrag ; Petrevski, Branko; Markoski, Branko | Conference Paper | Mp. category will be shown later |
| 2010 | THROUGH MODERN INFORMATION TECHNOLOGY BY KNOWLEDGE MANAGEMENT | Đuričić N.; Markoski Branko ; Ivanković Zdravko ; Radosav Dragica ; Šetrajčić Jovan ; Mirjanić Dragoljub | Conference Paper | Mp. category will be shown later |
| 2010 | APPLYING OF SYMBOLIC PROGRAM EXECUTION IN PROGRAM TESTING | Markoski, Branko ; Radosav, Dragica ; Šetrajčić, Jovan; Petreski, Branko; Petrevska, Miroslava; Milošević, Zoran | Conference Paper | Mp. category will be shown later |
| 2009 | DEDUCTION OF PROGRAM CORRECTNESS IN FORMAL THEORY | Berković Ivana ; Markoski Branko ; Šetrajčić Jovan ; Brtka Vladimir ; Dobrilović Dalibor | Conference Paper | Mp. category will be shown later |
| 2009 | Elektronsko poslovanje | Macanović, Aleksa; Petrevski, Branko; Petrevska, Miroslava; Ivanković, Zdravko; Markoski, Stojan; Markoski, Branko | Conference Paper | Mp. category will be shown later |
| 2009 | DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY | Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor | Conference Paper | Mp. category will be shown later |
| 2009 | Realization of school library software application | Berković, Ivana ; Markoski, Branko S. ; Ivetić, Dragan V. | Conference Paper | Mp. category will be shown later |
| 2009 | Electron thermodynamics of nanofilm-structures | Markoski, Branko ; Šetrajčić, Jovan ; Džambas, Ljubiša ; Mirjanić, Dragoljub; Vučenović, Siniša | Article | 23M23 |
| 2009 | Managing home appliances and light fixtures by X10 protocol | Ivanković, Zdravko ; Markoski, Branko ; Berković, Ivana ; Stojanov, Željko ; Dobrilović, Dalibor | Conference Paper | Mp. category will be shown later |
| 2009 | TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY | Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor | Article | Mp. category will be shown later |
| 2009 | Selective Absorption in Twolayered Optic Films | Pelemiš, Svetlana ; Šetrajčić, Jovan ; Markoski, Branko ; Delić, Vlado ; Vučenović, Siniša | Article | 22M22 |
| 2009 | Neuron Network Applied to Video Encoder | Markoski, Branko ; Šetrajčić, Jovan ; Petrevska, Miroslava; Obradović, Borislav ; Milošević, Zoran | Book parts | Mp. category will be shown later |
| 2009 | Vizuelizacija numeričkih podataka - algoritmi i metode | Letić, Duško ; Berković, Ivana ; Markoski, Branko | Text book | Mp. category will be shown later |
| 2009 | Deduction of program correctnes in formal theory | Berković, Ivana ; Markoski, Branko ; Šetrajčić, Jovan ; Brtka, Vladimir ; Dobrilović, Dalibor | Conference Paper | Mp. category will be shown later |
| 2008 | Computer Net Technical Protection | Markoski, Stojan; Markoski, Branko ; Petrevski, Branko; Petrevska, Miroslava | Conference Paper | Mp. category will be shown later |
| 2008 | Linear System Model of Algorithm Linear Systems | Petrevski, Branko; Markoski, Branko ; Petrevska, Miroslava; Vasić, Dragana; Markoski, Stojan | Conference Paper | Mp. category will be shown later |
| 2007 | Različiti pristupi rešavanju problema korektnosti programa | Markoski, Branko ; Babić, Đorđe | 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 |