Results 1-6 of 6
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2021 | Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze | Popović, Marko | Doctoral theses | 70M70 |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав   | Doctoral theses | 70M70 |
| 2020 | Модел бежичних акустичких сензора за командовање гласом у паметним кућама | Четић, Ненад | Doctoral theses | 70M70 |
| 2019 | Предлог проширења мултимедијалног система у аутомобилу сервисима дигиталне телевизије | Kovačević, Branimir | Doctoral theses | 70M70 |
| 2018 | Прилог аутоматској паралелизацији секвенцијалног машинског кода | Marinković, Vladimir | Doctoral theses | 70M70 |
| 2017 | Естимација потрошње енергије вишејезгарних наменских апликација | Krunić, Momčilo | Doctoral theses | 70M70 |