Zpět na vyhledávání

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

bisimulace

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

Grafický webový editor LTS a nástroj pro počítání bisimulace
 (Jan Havlíček)

2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/fljbs/ | Informatika / Matematická informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

General stochastic bisimulation with compositionality results
 (Jan Láník)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kilur/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Modální logika
 (Pavla Míznerová)

2014, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/c2btw/ | Matematika / Statistika a analýza dat | Práce na příbuzné téma

Slabé faktorizační systémy
 (Tomáš Janík)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/nayiv/ | Informatika / Teoretická informatika | Práce na příbuzné téma

On Extensions of Process Rewrite Systems
 (Vojtěch Řehák)

2007, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/nsah0/ | Informatika / | Práce na příbuzné téma

On Extensions of Process Rewrite Systems
 (Vojtěch Řehák)

2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ql3fb/ | Informatika / | Práce na příbuzné téma

Residue Component Synthesis for Handshake Composition
 (Filip Štefaňák)

2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jlht2/ | Informatika / | Práce na příbuzné téma

Webový generátor Tabel pro normované BPA
 (Tomáš Hebelka)

2008, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/os7ss/ | Informatika / | Práce na příbuzné téma