Práce na stejné téma (mají shodná klíčová slova):
Formal VerificationKlíčová slova abecedně | Klíčová slova dle četnosti
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
Experimental evaluation of heuristic improvements of the Bellman-Ford algorithm
(Šimon Soták)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nli81/ | Informatika / Matematická informatika | Práce na příbuzné téma
Customers Classification using Recency Frequency, Monetary value (RFM), and K-means clustering algorithm
(Mark Azietaku)2024, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/jf2ey/ | Business Management / | 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
Parallelization of brute force attack on MD5 hash algorithm in FPGA
(Maruthi Gillela)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xa53n/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma