BINF-GL-TheGI1: "Theoretische Grundlagen der Theoretischen Informatik 1"

• "Grundlagen und Algebraische Strukturen" (2VL+2UE)
  0401 L 155 [ VV | ISIS ]

BINF-SWT-CONCUR: "Concurrency"

• "Nebenläufige Modellierung und Programmierung" (2IV)
  0434 L 368 [ VV | ISIS ]
• "Temporallogik für Software-Ingenieure" (2IV)
  0434 L 369 [ VV | ISIS ]

MINF-VS-TDC: "Theory of Distributed Computing"
(Gemeinsames Modul mit Fachgebiet INET)

• INET: TDC1: "Algorithms and Lower Bounds" (2IV)
  0432 L 817 [ im SoSe 10/11 abgeschlossen | ISIS | WWW ]
• MTV:  TDC2: "Formal Models and Semantics" (2IV)
  0434 L 355 [ VV | ISIS ]

MINF-VS-VerDistAlgo

• "Modelle und Ziele Verteilter Algorithmen" (2SE)
  0434 L 365 [ VV | ISIS ]
• "Verifikation Verteilter Algorithmen" (4PJ)
  0434 L 366 [ VV | ISIS ]

MINF-VS-WraP

• "Writing and Publishing a Scientific Paper" (6PJ)
  [ neu in 11/12 WiSe ]