Type | Author and work title | Supervisor | Year | prog | disc |
---|---|---|---|---|---|
BP | Soukup Petr: Hardware Implementation of Petri Nets | Kubátová Hana | 2011 | EI | Výpočetní technika (bakalářský) |
BP | Civín Ondřej: ADOP simulation with respect to its hardware implementation | Kubátová Hana | 2011 | STM | Softwarové inženýrství |
DP | Snopkov Oleksandr: SoC Design from the Formal Model | Kubátová Hana | 2012 | EI | Výpočetní technika (magisterský) |
diploma
DEBUG: found in cache: