Práce na příbuzné téma (mají shodná klíčová slova):
metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuraciesKlíčová slova abecedně | Klíčová slova dle četnosti
451.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma
![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
452.
Žemba, Jan
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Monitoring hokejisty v rámci optimalizace tréninkového procesu a prevence přetrénování v přípravném období | Práce na příbuzné téma
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Monitoring hokejisty v rámci optimalizace tréninkového procesu a prevence přetrénování v přípravném období | Práce na příbuzné téma
453.
Župa, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma