Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

checkers

Klíčová slova abecedně | Klíčová slova dle četnosti

Safety Checkers for Termination Proofs
 (Jiří Zárevúcky)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

On Chaining Divine and Prism Model Checkers
 (Kristína Zákopčanová)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/sc0k5/ | Aplikovaná informatika / | Práce na příbuzné téma

Researcher recommendation to fact checkers leveraging on knowledge graphs and topic-based ranking
 (Farhana Keya)

2023, Diplomová práce, Vysoká škola ekonomická v Praze

• https://vskp.vse.cz/eid/89342 | Information Systems Management / | Práce na příbuzné téma

New checkers for Sequence Chart Studio
 (Václav Vacek)

2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/asieu/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Informační chování fact-checkerů
 (Barbora Šambergerová)

2022, Diplomová práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/mfn2x/ | Informační studia a knihovnictví / | Práce na příbuzné téma

Čínská dáma
 (Lucie Kozarová)

2019, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/136082 | Informační a komunikační technologie / Mobilní technologie | Práce na příbuzné téma

Čínská dáma
 (Josef Micak)

2021, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/144021 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma

Desková hra Dáma
 (Miroslav Ježík)

2014, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/104102 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Hra Dáma
 (Roland Krutek)

2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/98666 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma