Literaturrecherche

• Fakultätsbibliothek Informatik

  Verfasser
  Stichwörter

• Computer Science Bibliography (DBLP)

  Autor
  Titel

• Universitätsbibliothek Stuttgart (BISSCAT)
• Elektronische Zeitschriften an der Universität Stuttgart
• Online Publikationsverbund Stuttgart, speziell Elektronische Dissertationen
• Registrierte Veröffentlichungen der Informatik: Registrierung und Suche.
• Hypertext Bibliography Project (HBP)
• Max-Planck-Institut für Informatik: Proceedings, Autoren
• The Collection of Computer Science Bibliographies (Karlsruhe)
• Networked Computer Science Technical Reference Library
• Google Scholar

Veranstaltungen

• 22. Algorithmus der Woche: Partnerschaftsvermittlung
• STACS 2005
• Workshops

Grail — Werkzeuge für die Manipulation endlicher Automaten und regulärer Ausdrücke

• Informationen zu Grail

Lexika

• LEO Englisch-Deutsch. Suchbegriff:
• Das Wörterbuch-Netz insbesondere
  Deutsches Wörterbuch von Jacob Grimm und Wilhelm Grimm

HTML-Dokumentation

• SELFHTML

TeX/LaTeX-Dokumentation

• Hinweise zum lokalen IVI TeX-Baum.
• Wo finde ich Antworten auf TeXnische Fragen?
  Lokal, bei DANTE, in der TeX Clinic oder gar unter den TeX Pearls.
• Das LaTeX2e Sündenregister oder Veraltete Befehle, Pakete und andere Fehler (PDF, PS-Booklet).
• Feinheiten bei wissenschaftlichen Publikationen - Mikrotypographie-Regeln
  Teil I (DTK 4/96; S.23-40), Teil II (DTK 1/97; S.25-44).
• DANTE (Deutschsprachige Anwendervereiniung TeX).
• The TUG Homepage; TeXLive; MacTeX

Sonstiges

• Hilbert Bernays Project
• Fachbereich Grundlagen der Informatik (GInf)