eNauka - pregled
Pregled prema Autor Mendes Torres Vieira Hugo, Filipe
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2022 | Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja | Dedeić, Jovana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |