Theoretische Informatik
Fachinformationskatalog MeBib
>
Fachgebietsspezifische Informationen
>
Informatik
>
Theoretische Informatik
Zusammenstellung verschiedener Informationen
E-Learning-Angebote zur Theoretischen Informatik
Online Computer Science Degree: Formal Methods
Links zur Theoretischen Informatik
(Uni Hannover)
Theoretische Informatik
(Begriffserklärung und Informationen von Wikipedia)
Theoretische Informatik im Überblick
(Materialien, Zusammenstellung von Ch. Tornau)
Fachspezifische Datenbanken und Suchdienste
(teilweise kostenpflichtig)
LEABIB
(Bibliographische Datenbank mit mehr als 36.000 Literatureinträgen aus der Theoretischen Informatik)
Fakultäten, Fachbereiche, Institutionen
Universität Karlsruhe, Fakultät für Informatik
Universität Würzburg, Lehrstuhl für Theoretische Informatik
Forschung und Entwicklung
DIMACS: Center for Discrete Mathematics and Theoretical Computer Science
Quantum Computing and Advanced Systems Research
(Centrum voor Wiskunde en Informatica, Niederlande)
Fachorganisationen
Fachwörterbücher
Automatentheorie, Formale Sprachen und Berechenbarkeitstheorie
(
Formale Sprachen
,
Computerlinguistik und Spracherkennung
,
Petri-Netze
,
Turing-Maschine
)
Genetische Algorithmen und Evolutionsverfahren
(
Spezialprobleme
)
Graphentheorie
(
Graphentheoretische Algorithmen
,
Petri-Netze
)
Komplexitätstheorie, Entscheidungsprobleme (NP)
(
Travelling Salesman Problem
)
Künstliche Intelligenz
(
Computerlinguistik und Spracherkennung
,
Fuzzy-Logik
,
Logikprogrammierung
,
Neurolinguistische Programmierung
,
Neuronale Netze und Mustererkennung
,
Wissensrepräsentation, Ontologie, Semantic Web
)
Systemtheorie
Impressum