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 Bit-vector solver pro OpenSMT 2023/2024 diplomová práce Mgr. Martin Blicha, Ph.D.   08.10.2020 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail IC3 with Implicit Predicate Abstraction for Golem Horn solver 2023/2024 bakalářská práce Mgr. Martin Blicha, Ph.D.   03.10.2022 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