Истраживачи
Markoski, Branko
Резултати 261-280 од 282
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness![]() | Markoski, Branko | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2010 | APPLYING OF SYMBOLIC PROGRAM EXECUTION IN PROGRAM TESTING![]() | Markoski, Branko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | m – Uprava u oblasti državnih razvojnih fondova![]() | Arsovski, Saša; Šetrajčić, Jovan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Eksitoni u višeslojnim materijalima superrešetkama![]() | Šetrajčić, Jovan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | THROUGH MODERN INFORMATION TECHNOLOGY BY KNOWLEDGE MANAGEMENT![]() | Đuričić N.; Markoski Branko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Realization of school library software application![]() | Berković, Ivana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Elektronsko poslovanje![]() | Macanović, Aleksa; Petrevski, Branko; Petrevska, Miroslava; Ivanković, Zdravko; Markoski, Stojan; Markoski, Branko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Managing home appliances and light fixtures by X10 protocol![]() | Ivanković, Zdravko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Electron thermodynamics of nanofilm-structures![]() | Markoski, Branko | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2009 | Neuron Network Applied to Video Encoder![]() | Markoski, Branko | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2009 | Selective Absorption in Twolayered Optic Films![]() | Pelemiš, Svetlana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 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 | Različiti pristupi rešavanju problema korektnosti programa![]() | Markoski, Branko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Resolution Methods in Proving the Program Correctness![]() | Markoski, Branko | Научни чланак | Мп категорија ће бити приказана накнадно. |
