..:: Martin Kot ::..
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
 
Petriho sítě
State Space Explosion Problem - Referát o problému stavové exploze při ověřování správnosti systémů.
 
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.