Práce na stejné téma (mají shodná klíčová slova):
termination analysisKlíčová slova abecedně | Klíčová slova dle četnosti
Automated Synthesis of Probabilistic Termination Proofs
(Radoslav Kvasňovský)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k74xa/ | Informatika / | Práce na příbuzné téma
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
(Michal Ajdarów)2022, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/djo4q/ | Teoretická informatika / | Práce na příbuzné téma
Analysis of Parallel C++ Programs
(Vladimír Štill)2020, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r9kjw/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Ukončenie osobnej a online terapie z pohladu psychoterapeutov
(Michal Hézsely)2023, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/d7ktu/ | Psychologie / | Práce na příbuzné téma
Symbolic Loop Bound Analysis
(Pavel Čadek)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gcsdp/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Komparativní analýza české a italské právní úpravy zániku manželství a rozbor příslušné italské právní terminologie
(Pavla MACUROVÁ)2014, Bakalářská práce, Filozofická fakulta / JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
• http://theses.cz/id//dzs7j1// | Filologie / Italský jazyk | Práce na příbuzné téma