TVH-TVN Theoretische Grundlagen der Programmierung
TVH Gesamtdarstellungen und allgemeine Einzelfragen
TVI* Algorithmentheorie
TVIC Theorie der Berechenbarkeit. Rekursive Funktionen
TVIE Komplexitätstheorie
TVIG Algorithmen (Analyse, Komplexität, Effizienz)
TVJ Automatentheorie
TVL Theorie der formalen Sprachen und ihrer Automaten
TVM* Programmierung. Nebenläufige Prozesse
TVMC Theorie der Programmierung (Semantik, Verfikation, Schemata). Algebraische Spezifikation
TVME Theorie der nebenläufige Prozesse (Petrinetze, Produktnetze, ...)
TVMG Datenstrukturen (Algorithmen, ...)
TVN Sonstiges

© UB Siegen / Dr. A. vom Heede (2011-07-06 Simone Niederfranke)