Theoretische Informatik
Fachinformationskatalog MeBib
>
Fachgebietsspezifische Informationen
>
Informatik
>
Theoretische Informatik
Zusammenstellung verschiedener Informationen
Lehr- und Lernangebote zur Theoretischen Informatik
Computer Science: Formal Methods in the Yahoo! Directory
Informationssammlung Virtual Library weltweit: 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)
Literatur
DMTCS: Discrete Mathematics & Theoretical Computer Science
(Open Journal Systems)
SIGACT News Online
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)
Software
Programmbibliothek OR
(Software Library der Uni Karlsruhe)
Fachorganisationen
Fachwörterbücher
Automatentheorie, Formale Sprachen und Berechenbarkeitstheorie
(
Formale Sprachen
,
Computerlinguistik und Spracherkennung
,
Petri-Netze
,
Turing-Maschine
)
Genetische Algorithmen und evolutionäre Verfahren
(
Spezialprobleme
)
Graphentheorie
(
Graphentheoretische Algorithmen
,
Petri-Netze
)
Komplexitätstheorie, Entscheidungsprobleme (NP)
(
Travelling Salesman Problem
)
Künstliche Intelligenz
(
Computerlinguistik und Spracherkennung
,
Fuzzy-Logik
,
Logikprogrammierung
,
Neurolinugistische Programmierung
,
Neuronale Netze und Mustererkennung
,
Wissensrepräsentation, Ontologie, Semantic Web
)
Systemtheorie
Impressum
