- Software and data processing in particle physics INJSF081 | Faculty of Mathematics and Physics
- Decision procedures and SAT/SMT solversNAIL094 | Faculty of Mathematics and Physics
- Decision Procedures and VerificationNAIX094 | Faculty of Mathematics and Physics
- Algorithms and Programming +2OKBI1I129B | Faculty of Education
- Algorithms and Programming +1OPBI2I120B | Faculty of Education
- Programming IOPBI3I025A | Faculty of Education
- The Flying Man: Avicenna on the soulAFSV00309 | Faculty of Arts
- The C Programming LanguageNPRG066 | Faculty of Mathematics and Physics
- Computer SystemsNSWI170 | Faculty of Mathematics and Physics
- Fortran ProgrammingNPRF017 | Faculty of Mathematics and Physics
- Basic Programming for Students of Science II.MS710P67 | Faculty of Science
- Introduction to programmingAMLV00079 | Faculty of Arts
- Computer programming fundamentals IMC260P25 | Faculty of Science
- Programming in C++ +1NPRG041 | Faculty of Mathematics and Physics
- Advanced C++ Programming +1NPRG051 | Faculty of Mathematics and Physics
- Principles of Computers for BioinformaticsNSWI178 | Faculty of Mathematics and Physics
- Programming 2NMIN102 | Faculty of Mathematics and Physics
- C++ for Physicists +1NEVF107 | Faculty of Mathematics and Physics
- Diploma Thesis SeminarNAST031 | Faculty of Mathematics and Physics
- Programming INPRX030 | Faculty of Mathematics and Physics
- Programming in FORTRAN and Data ProcessingNPRF001 | Faculty of Mathematics and Physics