direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

11/12 SoSe - Bachelor

BINF-GL-TheGI4: "Theoretische Grundlagen der Informatik 4"

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

BINF-SWT-Show

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

 

11/12 SoSe - Master

MINF-VS-AlgProCalc

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

MINF-VS-FDC: "Foundations of Distributed Systems"
(Gemeinsames Modul mit Fachgebiet INET)

  • "Foundations of Distributed Systems" (4IV)
    0432 L 819 / 0434 L 350 [ VV | ISIS | WWW ]

MINF-VS-VeriSynth (ausgefallen wegen mangelnder Teilnehmerzahl)

  • "Modelle und Analyse Nebenläufiger Systeme" (2SE)
    0434 L 355 [ VV | ISIS ]
  • "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
    0434 L 356  [ VV | ISIS ] 

MINF-VS-WraP (ausgefallen wegen mangelnder Teilnehmerzahl)

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

M-MTV-Theorem

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