Práce na stejné téma (mají shodná klíčová slova):
Formal VerificationKlíčová slova abecedně | Klíčová slova dle četnosti
Euclid's algorithm for large integers
(Tomáš Marek)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r6myg/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
(Dávid Meluš)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
A Hybrid Book Recommender System Utilizing Diverse-Item Selection Algorithm
(Martin Balucha)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zd8v3/ | Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů | Práce na příbuzné téma
Implementation and security analysis of construction algorithm of Sigma-LFSR
(Susil Kumar Bishoi)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jw1bj/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma