direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

13/14 SoSe - Bachelor

TheGI4: "Theoretische Grundlagen der Informatik 4"

  • "Spezifikation und Semantik" (2VL+2UE)
    0434 L 285 [ VV | ISIS ]

HorrorShow

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

 

13/14 SoSe - Master

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 2014<<