Předměty
- Pokročilé programování v jazyce C# +1NPRG038 | Matematicko-fyzikální fakulta
- Pokročilé programování pro .NET IINPRG057 | Matematicko-fyzikální fakulta
- Principy počítačůNSWI120 | Matematicko-fyzikální fakulta
- Programování v jazyce C# +1NPRG035 | Matematicko-fyzikální fakulta
- Programování uživatelských rozhraní v .NETNPRG064 | Matematicko-fyzikální fakulta
Publikace
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Matematicko-fyzikální fakulta
- Podpora pro tvorbu reálných aplikací v prostředí hierarchických komponentových systémů2009 | Matematicko-fyzikální fakulta
- Model checking specifikací chování komponent: praktická zkušenost2006 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Automatické ověřování specifikace chování komponenty: praktické poznatky2005 | Matematicko-fyzikální fakulta
- Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report2023 | Matematicko-fyzikální fakulta, Pedagogická fakulta
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Matematicko-fyzikální fakulta
- Eight-year-olds' conceptions of computer viruses: A quantitative study2019 | Matematicko-fyzikální fakulta, Filozofická fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
Loading network view...