Theses on the same topic (having an identical keyword):
Formal VerificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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ů | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic