Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Grafický webový editor LTS a nástroj pro počítání bisimulace | Theses on a related topic Display description

2.
Janík, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Slabé faktorizační systémy | Theses on a related topic

3.
Míznerová, Pavla
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Modální logika | Theses on a related topic

4.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic