Module Handbook

Schneider, Klaus, Prof. Dr. (PROF | DEPT: INF)

Responsible for Modules

INF-01-11-M-4
Bachelor Seminar
[INF-PFL] Mandatory Modules
INF-02-09-M-2
Digital Systems and Computer Architecture
[INF-PFL] Mandatory Modules
INF-02-10-M-2
Computer Organization and System Software
[INF-PFL] Mandatory Modules
INF-60-11-M-4
Embedded Systems and Robotics (Ba-Seminar)
[INF-ES] Embedded Systems and Robotics
INF-60-45-M-4
Embedded Systems (Project)
[INF-ES] Embedded Systems and Robotics
INF-62-01-M-5
Processor Architecture
[INF-ES] Embedded Systems and Robotics
INF-62-36-M-6
Model-based Design of Embedded Systems
[INF-ES] Embedded Systems and Robotics
INF-62-46-M-4
Hardware-Specific Programming (Project)
[INF-ES] Embedded Systems and Robotics
INF-62-52-M-6
Verification of Reactive Systems
[INF-ES] Embedded Systems and Robotics
INF-62-54-M-5
Parallel Computing
[INF-ES] Embedded Systems and Robotics
INF-62-81-M-7
Hardware-Software Synthesis (Project)
[INF-ES] Embedded Systems and Robotics
INF-62-83-M-7
Applied Verification (Project)
[INF-ES] Embedded Systems and Robotics

Lecturer for Modules

INF-02-09-M-2
Digital Systems and Computer Architecture
[INF-PFL] Mandatory Modules
INF-02-10-M-2
Computer Organization and System Software
[INF-PFL] Mandatory Modules
INF-60-45-M-4
Embedded Systems (Project)
[INF-ES] Embedded Systems and Robotics
INF-62-01-M-5
Processor Architecture
[INF-ES] Embedded Systems and Robotics
INF-62-36-M-6
Model-based Design of Embedded Systems
[INF-ES] Embedded Systems and Robotics
INF-62-46-M-4
Hardware-Specific Programming (Project)
[INF-ES] Embedded Systems and Robotics
INF-62-54-M-5
Parallel Computing
[INF-ES] Embedded Systems and Robotics
INF-62-83-M-7
Applied Verification (Project)
[INF-ES] Embedded Systems and Robotics
INF-82-58ITI-M-2
Foundations of Technical Computer Science for "Informationstechnik/Informatik"
[INF-LA] Teacher Education
INF-82-58-M-2
Foundations of Technical Computer Science
[INF-LA] Teacher Education

Lecturer for Courses

INF-02-09-K-2
Digital Systems and Computer Architecture
4V+2U [INF-PFL] Mandatory Modules
INF-02-10-K-2
Computer Organization and System Software
4V+2U [INF-PFL] Mandatory Modules
INF-32-52-K-6
Specification and Verification with Higher Order Logic
3V+3U [INF-SE] Software-Engineering
INF-60-45-K-4
Embedded Systems (Project)
4L [INF-ES] Embedded Systems and Robotics
INF-61-72-K-7
Embedded Systems and Robotics (Seminar)
2S [INF-ES] Embedded Systems and Robotics
INF-62-01-K-5
Processor Architecture
2V+1U [INF-ES] Embedded Systems and Robotics
INF-62-36-K-6
Model-based Design of Embedded Systems
4V+2U [INF-ES] Embedded Systems and Robotics
INF-62-46-K-4
Hardware-Specific Programming (Project)
4L [INF-ES] Embedded Systems and Robotics
INF-62-52-K-6
Verification of Reactive Systems
4V+2U [INF-ES] Embedded Systems and Robotics
INF-62-54-K-5
Parallel Computing
2V+1U [INF-ES] Embedded Systems and Robotics
INF-62-81-K-7
Hardware-Software Synthesis (Project)
4L [INF-ES] Embedded Systems and Robotics
INF-62-83-K-7
Applied Verification (Project)
4L [INF-ES] Embedded Systems and Robotics