Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 348)
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 IC3 with Implicit Predicate Abstraction for Golem Horn solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Implementation of a prototyped MCSat-based SMT solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Property directed k-induction for Golem Horn solver 2022/2023 bakalářská práce Mgr. Martin Blicha   03.10.2022 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Bit-vector solver pro OpenSMT 2022/2023 diplomová práce Mgr. Martin Blicha   08.10.2020 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-4 z 4 1
 
Univerzita Karlova | Informační systém UK