Course catalogue
Overview > Courses held in English > Dept. 20 - Computer Science > Practical Labs
Course offerings / Modules
|
Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
|---|---|---|---|---|
|
20-00-0236-pr Serious Games Lab PD Dr.-Ing. Stefan Peter Göbel Wed, 19. Apr. 2017 [09:50] - Wed, 19. Jul. 2017 [11:30] |
practical / lab /internship | |||
|
20-00-0306-pr Implementation of Programming Languages Ph.D. Guido Salvaneschi |
practical / lab /internship | |||
|
20-00-0673-pr Software Development Tools Prof. Dr.-Ing. Ermira Mezini |
practical / lab /internship | |||
|
20-00-0778-pr Hands-on-Course: Formal Specification and Verification in Isabelle/HOL Prof. Dr.-Ing. Heiko Mantel Mon, 24. Apr. 2017 [16:15] - Mon, 17. Jul. 2017 [17:55] |
practical / lab /internship | |||
|
20-00-0799-pr Reliable Software Security for Mobile Devices Prof. Dr.-Ing. Heiko Mantel Th, 20. Apr. 2017 [14:25] - Th, 20. Jul. 2017 [16:05] |
practical / lab /internship | |||