Registration for "Distributed Algorithms" (MTV2) and "Temporal logics for software engineers" (MTV3) is now possible via the respective ISIS-sites. During the first week of the term, there...

Online informations [ Module | Vorlesungsverzeichnis | ISIS ] concerning the courses offered by MTV in WiTe 07/08 are now available.

Overview of the current entire range of MTV courses, including the relation between the old and the new acronyms for modules and currently valid agreements to include it in THI (partly SSG) specializations of the Diploma...