Тип
Година
Мп-кат.
Година - распон
Резултати 1-6 од 6
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2021 | Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze | Popović, Marko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2020 | Модел бежичних акустичких сензора за командовање гласом у паметним кућама | Четић, Ненад | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2019 | Предлог проширења мултимедијалног система у аутомобилу сервисима дигиталне телевизије | Kovačević, Branimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2018 | Прилог аутоматској паралелизацији секвенцијалног машинског кода | Marinković, Vladimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2017 | Естимација потрошње енергије вишејезгарних наменских апликација | Krunić, Momčilo | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |