Práce na stejné téma (mají shodná klíčová slova):
Formal VerificationKlíčová slova abecedně | Klíčová slova dle četnosti
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Basic model-checking problems for stochastic games
(Václav Brožek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gg6sx/ | Informatika / | Práce na příbuzné téma
Basic Model Checking Problems for Stochastic Games
(Václav Brožek)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / Informatika | 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
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
A Game-Playing Algorithm for Briscola
(Samuel Gazda)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rfvzn/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | 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