Истраживачи
Markoski, Branko
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2009 | ELECTRON THERMODYNAMICS OF NANOFILM-STRUCTURES | Markoski Branko ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2009 | DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY (✓) | Berković Ivana ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2009 | DEDUCTION OF PROGRAM CORRECTNESS IN FORMAL THEORY (✓) | Berković Ivana ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2009 | TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY (✓) | Berković Ivana ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2009 | SELECTIVE ABSORPTION IN TWOLAYERED OPTIC FILMS | Pelemiš Svetlana ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2009 | Neuron Network Applied to Video Encoder | Markoski, Branko ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2009 | Vizuelizacija numeričkih podataka - algoritmi i metode (✓) | Letić, Duško ![]() ![]() ![]() ![]() ![]() ![]() | Уџбеник | Мп категорија ће бити приказана накнадно. |
2009 | Deduction of program correctnes in formal theory (✓) | Berković, Ivana ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2008 | Computer Net Technical Protection | Markoski, Stojan; Markoski, Branko ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2008 | Linear System Model of Algorithm Linear Systems | Petrevski, Branko; Markoski, Branko ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2007 | Različiti pristupi rešavanju problema korektnosti programa | Markoski, Branko ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2002 | Program testing based on programming logic rules | Markoski, Branko ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |