Osobní
O mně
Portrét
Ing. studium
Obecné informace
Referáty
Projekty
Diplomová práce
PhD. studium
Obecné informace
Různé texty
Publikace
Výuka
DIM
2003/2004
2004/2005
UTI
2003/2004
2005/2006
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
TI
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
2015/2016
UPR
MAV
2011/2012
2014/2015
2022/2023
ARUO
2012/2013
2013/2014
2015/2016
Texty napsané během doktorského studia
Objektově orientované technologie
Factory
- Referát o využití návrhového vzoru factory ve třídách JAVA API
Text referátu (pdf)
Powerpoint prezentace (ppt)
Petriho sítě
State Space Explosion Problem
- Referát o problému stavové exploze při ověřování správnosti systémů.
Text referátu (pdf)
Text referátu (ps)
Petriho sítě
Příručka k LaTeXovému balíku XY-pic
- Stručná příručka popisující základní příkazy používané k vykreslování vektorových obrázku v LaTeXu při použití balíku XY-pic.
Příručka (pdf)