Práce na stejné téma (mají shodná klíčová slova):
checkerKlíčová slova abecedně | Klíčová slova dle četnosti
TCP vrstva pro verifikační nástroj DIVINE
(Jiří Weiser)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n2ek4/ | Aplikovaná informatika / | Práce na příbuzné téma
Pravidla hry: od figurky k šachovnici
(Petr Hlávka)2016, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/bnxs7/ | Pedagogika / Andragogika | Práce na příbuzné téma
Sytém kontroly pravopisu pro webový editor
(Patrik HARAG)2020, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//tjgbq2// | Inženýrská informatika / Softwarové inženýrství | Práce na příbuzné téma
Vysvětlování protipříkladů v nástroji DiVinE
(Roman Plášil)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s07zh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Transformation of Nondeterministic Büchi Automata to Tight Automata
(Marek Jankola)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o0p4b/ | Informatika / Matematická informatika | Práce na příbuzné téma