Browsing eNauka
Browsing by Author Mendes Torres Vieira Hugo, Filipe
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan   | Doctoral theses | 70M70 |
| 2022 | Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja | Dedeić, Jovana | Doctoral theses | 70M70 |