- Decision procedures and SAT/SMT solversNAIL094 | Faculty of Mathematics and Physics
- Decision Procedures and VerificationNAIX094 | Faculty of Mathematics and Physics
- A Posteriori Numerical Analysis Based on the Method of Equilibrated FluxesNMNV464 | Faculty of Mathematics and Physics
- Applied Computer Technology +1GAF131 | Faculty of Pharmacy in Hradec Králové
- Machine Learning and ReasoningNMMB562 | Faculty of Mathematics and Physics
- Computer Technology +1GB211 | Faculty of Pharmacy in Hradec Králové
- Numerical modeling in hydrogeology IMG451C35 | Faculty of Science
- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Sparse Matrices in Numerical MathematicsNMNV533 | Faculty of Mathematics and Physics
- Logic in Computer ScienceNMAI067 | Faculty of Mathematics and Physics
- Methods of Logic ProgrammingNAIL022 | Faculty of Mathematics and Physics
- Financial Modelling Using MS Excel and VBAJEM128 | Faculty of Social Sciences
- Modern Computational Physics INEVF160 | Faculty of Mathematics and Physics
- Saddle Point Problems and Their SolutionNMMO537 | Faculty of Mathematics and Physics
- Field hydrogeologyMG451P32 | Faculty of Science