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

vass-mdp, half-space, termination complexity, cone, petri nets, polynomial termination time, linear termination time, vector addition systems with states

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

1.
Ajdarów, Michal
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Algorithmic Asymptotic Analysis of Infinite-Sate Systems | Práce na příbuzné téma Zobrazit popisek

2.
Holomková, Dana roz. Kubešová
Fakulta: Pedagogická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství pro 1. stupeň základní školy (kombinace/zaměření: Ruský jazyk)
Obhajoba diplomové práce: Využití přírodnin jako didaktické pomůcky napříč předměty 1. stupně ZŠ | Práce na příbuzné téma

3.
Hudečková, Monika
Fakulta: Lékařská fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Teorie barevného vidění | Práce na příbuzné téma

4.
Krejčíková, Jitka
Fakulta: Lékařská fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Barevné vidění | Práce na příbuzné téma

5.
Mačák, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Práce na příbuzné téma

6.
Martínek, František
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Teoretická fyzika)
Obhajoba diplomové práce: Potenciály a geometrie v kvantové mechanice | Práce na příbuzné téma

7.
Morávková, Blanka
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Učitelství deskriptivní geometrie pro střední školy, Učitelství matematiky pro střední školy
Obhajoba diplomové práce: Úlohy s prostorovými tělesy v Mongeově zobrazovací metodě | Práce na příbuzné téma

8.
Spišák, Samuel
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Modelování podnikových procesů pomocí BPMN a Petriho sítí | Práce na příbuzné téma
Obhajoba diplomové práce: Modelování podnikových procesů pomocí BPMN a Petriho sítí | Práce na příbuzné téma