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

gui (graphical user interface), bpa (basic process algebra), normovane bpa tablo, java-applet, bisimulace

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

1.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Grafický webový editor LTS a nástroj pro počítání bisimulace | Práce na příbuzné téma Zobrazit popisek

2.
Janík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slabé faktorizační systémy | Práce na příbuzné téma

3.
Míznerová, Pavla
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Modální logika | Práce na příbuzné téma

4.
Štefaňák, Filip
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Residue Component Synthesis for Handshake Composition | Práce na příbuzné téma