Práce na stejné téma (mají shodná klíčová slova):
Model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Model Checking Software
(Petr Ročkai)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tpopu/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Partial Order Reduction in Parallel Model Checking
(Petr Ročkai)2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p04i0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Model Checking Software
(Petr Ročkai)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d966p/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
State dependent working memory: Effect of sexual primes on men's working memory capacity
(Oleg Czop)2014, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/qrwj5/ | Psychologie / | Práce na příbuzné téma
Social drama, Cultural Trauma and Public Memory. The case of Madimak Massacre in Turkey
(Fabio Salomoni)2020, Disertační práce, Fakulta sociálních studií / Masarykova univerzita
• https://is.muni.cz/th/kz7z9/ | Sociology / | Práce na příbuzné téma
Memory Training Techniques in ELT: Teaching Vocabulary
(Šárka Železná)2022, Diplomová práce, Pedagogická fakulta / Masarykova univerzita
• https://is.muni.cz/th/qjl4q/ | Učitelství anglického jazyka pro základní školy / | Práce na příbuzné téma
Verification of Memory Safety with Predator and Symbiotic
(Tomáš Jašek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
In-memory compilation of freshly decompiled classes back into a running VM
(Marián Konček)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n9gzn/ | Aplikovaná informatika / | Práce na příbuzné téma
A Contemporary Investigation into the Social Memory of the Transatlantic Slave trade and its Impact on Slave Descendants’ Everyday Experiences in Southwest Cameroon and the Cross River State Nigeria
(Maurine Ekun Nyok)2024, Disertační práce, Fakulta sociálních studií / Masarykova univerzita
• https://is.muni.cz/th/eif1l/ | Sociology / | Práce na příbuzné téma
Teaching English as a Foreign Language to a Learner with Autism with an Emphasis on Vocabulary Memory Retention
(Šárka Ferenčíková)2023, Diplomová práce, Pedagogická fakulta / Masarykova univerzita
• https://is.muni.cz/th/sf7ws/ | Učitelství anglického jazyka pro základní školy / | Práce na příbuzné téma