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 | |
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