Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Seznam prací
   Přihlásit přes CAS
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail 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
detail 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
 
Univerzita Karlova | Informační systém UK