![]() ![]() |
![]() ![]() |
![]() ![]() |
Typ práce | Obor práce | ![]() ![]() |
![]() ![]() |
![]() ![]() |
Zadáno | Ústav | Fakulta | |
![]() |
Rozhodovací procedura pro lineární celočíselnou aritmetiku v moderním SMT řešiči | 2023/2024 | diplomová práce | I | doc. RNDr. Jan Kofroň, Ph.D. | 07.11.2019 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
![]() |
Techniky pro ověřování ekvivalence původního a optimalizovaného kódu | 2024/2025 | diplomová práce | doc. RNDr. Jan Kofroň, Ph.D. | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Výsledky 1-2 z 2 1