Reaktive Systeme

• "Reaktive Systeme" (2VL+2UE)
  0434 L 285 [ VV | ISIS ]

HorrorShow

• "The Software Horror Picture Show" (2SE)
  0434 L 367 [ VV | ISIS ]

AlgProCalc

• "Algebraische Prozesskalküle" (4IV)
  0434 L 352 [ VV | ISIS ]

WraP

• "Writing and Publishing a Scientific Paper" (6PJ)
  [ VV | ISIS ]

IsabelleLab

• "Einführung in das interaktive Theorembeweisen" (2IV)
  [ VV | ISIS ]  >>Blockveranstaltung im September 2015<<