Práce na stejné téma (mají shodná klíčová slova):
symbolic memory.Klíčová slova abecedně | Klíčová slova dle četnosti
Symbolic-size Memory Allocation Support for Klee
(Michael Šimáček)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdedh/ | Aplikovaná informatika / | Práce na příbuzné téma
Symbolic Execution and Program Loops
(Marek Trtík)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/t52nv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Improvements of Memory Management in KLEE
(Jakub Novák)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eazm0/ | Aplikovaná informatika / | Práce na příbuzné téma
Pluralism as a framework for cultural memory and heritage narratives
(Andrea TRENTA)2020, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//re1qbg// | Humanities / Euroculture | Práce na příbuzné téma