Práce na stejné téma (mají shodná klíčová slova):
verificationKlíčová slova abecedně | Klíčová slova dle četnosti
Authorship verification via cloze-test
(Tomáš Kancko)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bz1lo/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Experimental Verification of a Synergy of Techniques for Efficient Similarity Search in Metric Spaces
(Iuliia Mariachkina)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m14as/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Eletrical Verification Report Editor
(Marcel Lukčo)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Signature verification
(Václav Novák)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pg7gr/ | Informatika / | Práce na příbuzné téma
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
(Vít Unčovský)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/as4mz/ | Informatika / | 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
Updates of distributed provenance chains with integrity verification
(Radomír Mann)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xnbu3/ | Informatika / | Práce na příbuzné téma
Eletrical Verification Report Editor
(Marcel Lukčo)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Signature verification
(Václav Novák)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pg7gr/ | Informatika / | Práce na příbuzné téma
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
(Vít Unčovský)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/as4mz/ | Informatika / | Práce na příbuzné téma