![]() Název práce |
![]() Rok vypsání |
![]() Rok obhájení |
Typ práce | Obor práce | ![]() Vedoucí / školitel |
![]() Řešitel |
![]() Vypsáno |
Zadáno | Ústav | Fakulta | |
![]() |
Podpora práce s pamětí (heap) v nástroji Hornix | 2025/2026 | diplomová práce | ISWSP, ISWSPA | doc. RNDr. Jan Kofroň, Ph.D. | 18.09.2025 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
![]() |
Techniky pro ověřování ekvivalence překladačových optimalizací | 2025/2026 | bakalářská práce | IPA, IPP | doc. RNDr. Jan Kofroň, Ph.D. | 18.09.2025 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-2 z 2 1



