Personal
About me
Portrait
Master study
General
Papers
Projects
Diploma thesis
PhD. study
General
Various texts
Publications
Courses
Discrete mathematics
2003/2004
2004/2005
Introduction to theoretical CS
2003/2004
2005/2006
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
Theoretical Computer Science
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
2015/2016
Introduction to programming
Modelling and Verification
2011/2012
2014/2015
2022/2023
Constraint processing
2012/2013
2013/2014
2015/2016
Some texts writen during my PhD study
Object oriented technologies
Factory
- Text about use of design pattern Factory in JAVA API's classes
Text (in czech) - pdf file
Powerpoint presentation (in czech)
Petri Nets
State Space Explosion Problem
- Text about state space explosion problem which arises from use of state space methods for verification of concurrent systems.
Text - pdf file
Text (in czech) - ps file
XY-pic
Příručka k LaTeXovému balíku XY-pic
- A tutorial on XY-pic LaTeX package (in czech)
Manual - pdf file