Classes
- Programming in C# Language +1NPRG035 | Faculty of Mathematics and Physics
- Advanced C# Programming +1NPRG038 | Faculty of Mathematics and Physics
- Advanced .NET Programming IINPRG057 | Faculty of Mathematics and Physics
- Programming user interfaces in .NETNPRG064 | Faculty of Mathematics and Physics
- Principles of ComputersNSWI120 | Faculty of Mathematics and Physics
Publications
- DeSpec: Modeling the Windows Driver Environment2009 | Faculty of Mathematics and Physics
- CoCoME in Fractal2008 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience +12006 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report2023 | Faculty of Mathematics and Physics, Faculty of Education
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Faculty of Mathematics and Physics
- Eight-year-olds' conceptions of computer viruses: A quantitative study2019 | Faculty of Mathematics and Physics, Faculty of Arts
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
Loading network view...