• Home
  • People
  • Teaching
  • Theses
  • Research
  • Highschool Activities
  • Press
  • Contact
  • MOVES
  • Browsing: »
  • Home
  • »Teaching
  • »Winter Term 2022/2023

Winter Term 2022/2023

CourseTeacher
Lecture:
Satisfiability Checking
Erika Ábrahám, Jasper Nalbach, Valentin Promies
Contact address: teaching@ths.rwth-aachen.de
Seminars:
Satisfiability Checking / Formal Methods
Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Jasper Nalbach, Valentin Promies, Nicolai Radke
Practical Lab:
3D Wind Farm App
Erika Ábrahám, Pascal Richter
Practical Lab:
Learning App for Children
Erika Ábrahám, Pascal Richter
Practical Lab:
Web Application for the Simulation of Solar Thermal Power Plants
Erika Ábrahám, Richter
Practical Lab:
Lab: Efficient Buildings
Erika Ábrahám, Pascal Richter
  • Exams
  • Summer Term 2023
  • Winter Term 2022/2023
    • Lecture: Satisfiability Checking
  • Summer Term 2022
  • Winter Term 2021/2022
  • Summer Term 2021
  • ARC Teaching Materials RWTH Aachen University
  • Winter Term 2020/2021
  • Summer Term 2020
  • Winter Term 2019/2020
  • Summer Term 2019
  • Winter Term 2018/2019
  • Summer Term 2018
  • Winter Term 2017/2018
  • Summer Term 2017
  • Winter Term 2016/2017
  • Summer Term 2016
  • Winter Term 2015/2016
  • Summer Term 2015
  • Winter Term 2014/2015
  • Summer Term 2014
  • Winter Term 2013/2014
  • Summer Term 2013
  • Winter Term 2012/2013
  • Previous Terms

Links

  • RWTH Aachen
  • Fachgruppe Informatik