TVA-TVV Theoretische Informatik
TVA Gesamtdarstellungen und allgemeine Einzelfragen
TVB* (Einzelne Gebiete)
TVBC Kodierungstheorie. Kryptographie. Informationstheorie
  Informationstheorie in der Nachrichtentechnik s. YCB
TVBE Graphentheorie. Algorithmische Geometrie
  Graphentheorie (math. Grundlagen) s. TDB
TVC-TVE Theorie der digitalen Schaltwerke
TVC Gesamtdarstellungen
TVD Schaltalgebra. Anwendungen der Bool'schen Algebra
TVE Digitale Schaltwerke. Schaltnetze
  Mikroelektronik s. YFB*
TVG Logik (Grundlagen der Informatik, Anwendungen)
  Mathematische Logik s. TCK-TDC
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
TVP-TVV Theorie der Informationsverarbeitung und Automation
TVP Gesamtdarstellungen und allgemeine Einzelfragen
TVQ Kybernetik
TVR-TVT Modellbildung. Simulation
TVR Prozeßtechnik
TVS Modellbildung. Systemanalyse. Systementwicklung
TVT Simulation. Virtuelle Realität
TVU* Künstliche Intelligenz (KI)
TVUA Allgemeines
TVUC Methoden d. KI (Problemlösen, Such- und Planverfahren, Spielstrategien; Repräsentation von Wissen; Lernen)
TVUF KI-Programmierung. Funktionales Programmieren. Logic Programming. Constraint Programming
  KI-Hardware s. TWIK
  spezielle Programmiersprachen s. TXW
TVUK Expertensysteme. Wissensbasierte Systeme
TVUN Deduktionssysteme. Theorembeweis
TVUP Automatisches Programmieren (Synthese, Verifikation, Compilierung, ...)
TVUR Anwendungen. Robotik. Agenten
  Robotertechnik s. XRW*
  Bildsensoren s. WFC
  Anwendung in der Fertigungstechnik s. ZHV
TVUU Sonstiges (Verteilte KI ...)
TVV* Bildverarbeitung. Computer-Sehen. Mustererkennung
TVVA Allgemeines
TVVC Bildverarbeitung. Computer-Sehen. Szenen-Analyse
  Computer-Graphik s. TZAC
TVVG Mustererkennung
TVVK Natürlich-sprachliche Systeme (Parsing, ATN, Übersetzen, ...)
TVVZ Sonstiges

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