Práce na stejné téma (mají shodná klíčová slova):
rozhodnutelne problemyKlíčová slova abecedně | Klíčová slova dle četnosti
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků
(Daniel Pelíšek)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gzefg/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků
(Tomáš Pastirčák)2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xcr6a/ | Aplikovaná informatika / | Práce na příbuzné téma
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti formálních jazyků
(Adrián Elgyütt)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o5e3d/ | Informatika / Matematická informatika | Práce na příbuzné téma
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i4kyb/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu
(Daniel Šudřich)2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119225 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
(Vojtěch Forejt)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yvwbl/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Algebraické metody pro CSP
(Petr Novotný)2010, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/l1k2c/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma