Anmelden
 
UB / Systematik /

Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)

Suche
in der Systematik der UB
  • TVA-TVV
    Theoretische Informatik
  • Gesamtdarstellungen und allgemeine Einzelfragen
  • TVA-TVV
    Theoretische Informatik
  • (Einzelne Gebiete)
  • Kodierungstheorie. Kryptographie. Informationstheorie
  • Graphentheorie. Algorithmische Geometrie
  • TVC-TVE
    Theorie der digitalen Schaltwerke
  • Gesamtdarstellungen
  • TVC-TVE
    Theorie der digitalen Schaltwerke
  • Schaltalgebra. Anwendungen der Bool'schen Algebra
  • Digitale Schaltwerke. Schaltnetze
    Mikroelektronik s. YFB* s.
  • Logik (Grundlagen der Informatik, Anwendungen)
    Mathematische Logik s. TCK-TDH
  • TVH-TVN
    Theoretische Grundlagen der Programmierung
  • Gesamtdarstellungen und allgemeine Einzelfragen
  • TVH-TVN
    Theoretische Grundlagen der Programmierung
  • 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
  • TVP-TVV
    Theorie der Informationsverarbeitung und Automation
  • TVP-TVV
    Theorie der Informationsverarbeitung und Automation
  • Gesamtdarstellungen und allgemeine Einzelfragen
  • Kybernetik
  • TVR-TVT
    Modellbildung. Simulation
  • 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, ...)