- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta
- Výuka operačních systémů: semestrální práce z perspektivy softwarového inženýství2008 | Matematicko-fyzikální fakulta
- Nová hvězda září na poli operačních systémů1999 | Matematicko-fyzikální fakulta
- ver. Distribuované operační systémy - učební textyPublikace bez příslušnosti k fakultě
- Operační systém pro všeobecné použití postavený na komponentech2007 | Matematicko-fyzikální fakulta
- Architektura pro vysokorychlostní I/O2007 | Matematicko-fyzikální fakulta
- Linux šitý na míru škole +1Publikace bez příslušnosti k fakultě
- ro3D - aplikace pro studium 3D hmyzuPublikace bez příslušnosti k fakultě
- Abeceda českých reáliíPublikace bez příslušnosti k fakultě
- Evropské systémy GMES a GaliileoPublikace bez příslušnosti k fakultě
- Výuka v oblasti bezpečnostních systémů2008 | Lékařská fakulta v Hradci Králové
- MUSCIMarker 1.1Publikace bez příslušnosti k fakult ě
