Práce na stejné téma (mají shodná klíčová slova):
logika bitovych vektoruKlíčová slova abecedně | Klíčová slova dle četnosti
Překladač grafu toků dat do logiky bitových vektorů
(Tomáš Sušovský)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//xz95fe// | Informační technologie / | Práce na příbuzné téma
SMT Solving for the Theory of Bit-Vectors
(Martin Jonáš)2016, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ovulj/ | Informatika / | Práce na příbuzné téma
Automatická analýza neúplných programů
(Jakub Šárník)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wpq9e/ | Aplikovaná informatika / | Práce na příbuzné téma