Práce na stejné téma (mají shodná klíčová slova):
probabilistic programsKlíč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
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/olmmy/ | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxz9s/ | Informatika / | Práce na příbuzné téma
Agentní modelování šíření infekční nemoci s využitím pravděpodobnostních programů
(Ivan Havran)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fb1jd/ | Aplikovaná informatika / | Práce na příbuzné téma