Práce na stejné téma (mají shodná klíčová slova):
state compressionKlíčová slova abecedně | Klíčová slova dle četnosti
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Práce na příbuzné téma
Compression of connectivity for meshes with known geometry
(Stanislav KAFARA)2024, Bakalářská práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//ygomxu// | Informatika a výpočetní technika / Informatika | Práce na příbuzné téma
Huffmanovo kódování stavů v DiVinE
(Jaroslav Šeděnka)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xzhzl/ | Aplikovaná informatika / | Práce na příbuzné téma