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

« 1 2 » (celkem 12 prací)
Graphical User Interface for Modelling of Petri Nets
 (Adam Vaňko)

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

https://is.muni.cz/th/trvza/ | Aplikovaná informatika / Služby - výzkum, řízení a inovace | Práce na příbuzné téma

A Graphical User Interface Generator for Embedded Systems
 (Marek Hrušovský)

2017, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně

http://theses.cz/id//mual9l// | Inženýrská informatika / Informační technologie | Práce na příbuzné téma

Návrh GUI v prostředí Matlab pro extrakci řečových příznaků
 (Jakub Jánošík)

2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/108850 | Informační a komunikační technologie / Telekomunikační technika | Práce na příbuzné téma

Fidentis II - návrh GUI a odhad symetrie
 (Natália Bebjaková)

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

https://is.muni.cz/th/k3ut1/ | Aplikovaná 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

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

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

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

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

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

« 1 2 » (celkem 12 prací)