Researchers



Rezultati 261-280 od 282
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2010Dijkstra's interpretation of the approach to solving a problem of program correctnessMarkoski, Branko  ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, DaniloNaučni članak
24M24 - Vodeći nacionalni časopis kategorije M24
2010m – Uprava u oblasti državnih razvojnih fondovaArsovski, Saša; Šetrajčić, Jovan ; Pecev, Predrag ; Petrevski, Branko; Markoski, Branko  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2010APPLYING OF SYMBOLIC PROGRAM EXECUTION IN PROGRAM TESTINGMarkoski, Branko  ; Radosav, Dragica  ; Šetrajčić, Jovan; Petreski, Branko; Petrevska, Miroslava; Milošević, ZoranKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2010Eksitoni u višeslojnim materijalima superrešetkamaŠetrajčić, Jovan ; Vučenović, Siniša; Pelemiš, Svetlana; Škipina, Blanka; Markoski, Branko  ; Mirjanić, DragoljubKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2010THROUGH MODERN INFORMATION TECHNOLOGY BY KNOWLEDGE MANAGEMENTĐuričić N.; Markoski Branko  ; Ivanković Zdravko ; Radosav Dragica  ; Šetrajčić Jovan ; Mirjanić DragoljubКонференцијски рад
Мп категорија ће бити приказана накнадно.
2009Elektronsko poslovanjeMacanović, Aleksa; Petrevski, Branko; Petrevska, Miroslava; Ivanković, Zdravko; Markoski, Stojan; Markoski, Branko  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2009Realization of school library software applicationBerković, Ivana  ; Markoski, Branko S.  ; Ivetić, Dragan V.  Conference Paper
Mp. category will be shown later
2009Electron thermodynamics of nanofilm-structuresMarkoski, Branko  ; Šetrajčić, Jovan ; Džambas, Ljubiša  ; Mirjanić, Dragoljub; Vučenović, SinišaArticle
23M23
2009Managing home appliances and light fixtures by X10 protocolIvanković, Zdravko ; Markoski, Branko  ; Berković, Ivana  ; Stojanov, Željko  ; Dobrilović, Dalibor  Conference Paper
Mp. category will be shown later
2009DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORYBerković Ivana  ; Markoski Branko  ; Šetrajčić Jovan; Brtka Vladimir  ; Dobrilović Dalibor  Conference Paper
Mp. category will be shown later
2009DEDUCTION OF PROGRAM CORRECTNESS IN FORMAL THEORYBerković Ivana  ; Markoski Branko  ; Šetrajčić Jovan ; Brtka Vladimir  ; Dobrilović Dalibor  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2009TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORYBerković Ivana  ; Markoski Branko  ; Šetrajčić Jovan; Brtka Vladimir  ; Dobrilović Dalibor  Научни чланак
Мп категорија ће бити приказана накнадно.
2009Selective Absorption in Twolayered Optic FilmsPelemiš, Svetlana ; Šetrajčić, Jovan ; Markoski, Branko  ; Delić, Vlado  ; Vučenović, SinišaНаучни чланак
22M22 - Међународни часопис категорије M22
2009Neuron Network Applied to Video EncoderMarkoski, Branko  ; Šetrajčić, Jovan ; Petrevska, Miroslava; Obradović, Borislav  ; Milošević, Zoran  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2009Vizuelizacija numeričkih podataka - algoritmi i metodeLetić, Duško  ; Berković, Ivana  ; Markoski, Branko  Уџбеник
Мп категорија ће бити приказана накнадно.
2009Deduction of program correctnes in formal theoryBerković, Ivana  ; Markoski, Branko  ; Šetrajčić, Jovan ; Brtka, Vladimir  ; Dobrilović, Dalibor  Conference Paper
Mp. category will be shown later
2008Computer Net Technical ProtectionMarkoski, Stojan; Markoski, Branko  ; Petrevski, Branko; Petrevska, MiroslavaConference Paper
Mp. category will be shown later
2008Linear System Model of Algorithm Linear SystemsPetrevski, Branko; Markoski, Branko  ; Petrevska, Miroslava; Vasić, Dragana; Markoski, StojanConference Paper
Mp. category will be shown later
2007Resolution Methods in Proving the Program CorrectnessMarkoski, Branko  ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, DaniloArticle
Mp. category will be shown later
2007Različiti pristupi rešavanju problema korektnosti programaMarkoski, Branko  ; Babić, ĐorđeConference Paper
Mp. category will be shown later