ℹ️
🇬🇧
Search
Search for people relevant for "MnAs"
MnAs
Person
Class
Person
Publication
Programmes
Mgr. Pavel Ježek Ph.D.
Academic staff at Faculty of Mathematics and Physics
7 classes
13 publications
Classes
class
Programming in C# Language
+1
NPRG035 |
Faculty of Mathematics and Physics
class
Advanced C# Programming
+1
NPRG038 |
Faculty of Mathematics and Physics
class
Advanced .NET Programming II
NPRG057 |
Faculty of Mathematics and Physics
class
Programming user interfaces in .NET
NPRG064 |
Faculty of Mathematics and Physics
class
Principles of Computers
NSWI120 |
Faculty of Mathematics and Physics
Publications
publication
Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report
2023 |
Faculty of Mathematics and Physics, Faculty of Education
publication
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
2020 |
Faculty of Mathematics and Physics
publication
Eight-year-olds' conceptions of computer viruses: A quantitative study
2019 |
Faculty of Mathematics and Physics, Faculty of Arts
publication
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
2018 |
Faculty of Mathematics and Physics
publication
Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?
2013 |
Faculty of Mathematics and Physics
publication
Strengthening Component Architectures by Modeling Fine-Grained Entities
2011 |
Faculty of Mathematics and Physics
publication
Supporting Real-Life Applications in Hierarchical Component Systems
2009 |
Faculty of Mathematics and Physics
publication
DeSpec: Modeling the Windows Driver Environment
2009 |
Faculty of Mathematics and Physics
publication
CoCoME in Fractal
2008 |
Faculty of Mathematics and Physics
publication
Model Checking of Component Behavior Specification: A Real Life Experience
+1
2006 |
Faculty of Mathematics and Physics
Load more publications (3)
Loading network view...