Práce na stejné téma (mají shodná klíčová slova):
korektnost algoritmuKlíčová slova abecedně | Klíčová slova dle četnosti
Použitie separačnej logiky pre dokazovanie korektnosti programov
(Viliam Majerčík)2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/153829 | Informatika / | Práce na příbuzné téma
Základy algoritmizace v příkladech
(Karel Kubíček)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/u2u62/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Diagramy Voronoia pro neeuklidovské metriky
(Michal Novák)2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/h3835/ | Matematika / Algebra a diskrétní matematika | 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