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

cubical sets, box category, higher dimensional automata, concurrency

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

1.
Dražanová, Jana roz. Fabriková
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Geometrie
Obhajoba diplomové práce: Kubické množiny | Práce na příbuzné téma Zobrazit popisek

2.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Concurrency support for PureScript | Práce na příbuzné téma

3.
Kolčák, Juraj
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Efektivní analýza boolovských sítí s neurčitostí parametrů | Práce na příbuzné téma

4.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Analysis of Parallel C++ Programs | Práce na příbuzné téma