Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)

Gesamtdarstellungen und allgemeine Einzelfragen

(Einzelne Gebiete)

Kodierungstheorie. Kryptographie. Informationstheorie

Graphentheorie. Algorithmische Geometrie

Gesamtdarstellungen

Schaltalgebra. Anwendungen der Bool'schen Algebra

Digitale Schaltwerke. Schaltnetze
Mikroelektronik s. YFB* s.

Logik (Grundlagen der Informatik, Anwendungen)
Mathematische Logik s. TCK-TDH

Gesamtdarstellungen und allgemeine Einzelfragen

Algorithmentheorie

Theorie der Berechenbarkeit. Rekursive Funktionen

Komplexitätstheorie

Algorithmen (Analyse, Komplexität, Effizienz)

Automatentheorie

Theorie der formalen Sprachen und ihrer Automaten

Datenstrukturen (Algorithmen, ...)

Programmierung. Nebenläufige Prozesse

Theorie der Programmierung (Semantik, Verfikation, Schemata). Algebraische Spezifikation

Theorie der nebenläufige Prozesse (Petrinetze, Produktnetze, ...)

Sonstiges

Gesamtdarstellungen und allgemeine Einzelfragen

Kybernetik

Prozeßtechnik

Modellbildung. Systemanalyse. Systementwicklung

Simulation. Virtuelle Realität

Künstliche Intelligenz (KI)

Allgemeines

Methoden d. KI (Problemlösen, Such- und Planverfahren, Spielstrategien; Repräsentation von Wissen; Lernen)

KI-Programmierung. Funktionales Programmieren. Logic Programming. Constraint Programming
spezielle Programmiersprachen s. TXW
KI-Hardware s. TWIK

Expertensysteme. Wissensbasierte Systeme

Deduktionssysteme. Theorembeweis

Automatisches Programmieren (Synthese, Verifikation, Compilierung, ...)

Anwendungen. Robotik. Agenten
Anwendung in der Fertigungstechnik s. ZHV
Bildsensoren s. WFC
Robotertechnik s. XRW

Sonstiges (Verteilte KI ...)

Sonstiges

Bildverarbeitung. Computer-Sehen. Mustererkennung

Allgemeines

Bildverarbeitung. Computer-Sehen. Szenen-Analyse
Computer-Graphik s. TZAC

Mustererkennung

Data Mining

Natürlich-sprachliche Systeme (Parsing, ATN, Übersetzen, ...)