Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen

Impressum | Intern

Home | Externe Links

Externe Links

Haftungsausschluss: Wir sind für die Inhalte externer Links nicht verantwortlich!

Adresslisten

• "ROLODEX" (SIGACT-Adressenliste) [USA]
• "INRIA" [Frankreich]
• "SIAM" (science and industry advance with mathematics) [USA]
• "AMS" (american mathematical society) [USA]
• "Technische Informationsbibliothek" [Deutschland]
• "Universitätsbibliothek Karlsruhe" [Deutschland]
• Computer science bibliography (Trier) [Deutschland]
• "Hypatia" (Hypatia Electronic Library) [UK]
• "University Libraries" (CMU) [USA]
• "ARIADNE" (MEDOC) [Deutschland]
• "CSIRO/CSMIS" (Mathematical & Information Sciences) [Australien]
• "ACM" (Association for Computing Machinery) [USA]
• Preprint Archive [Deutschland]

Bibliographien

• Karlsruher Sammlung
• Suche in OPACS
• Englische Sammlung (Hypatia)
• TCS-Literaturdatenbank (J. Seiferas)
• Theory/Foundations of Computer Science
• Computer Science Bibliography Glimpse Server
• Lecture Notes in Computer Science (index to the volumes 500 to current)

Call for Papers und Programme von Konferenzen

• von der GI Fachgruppe 0.1.3 "Parallele und verteilte Algorithmen" verwaltet
  • Call for Papers
  • Programme von Konferenzen
• von der GI Fachgruppe 0.1.4 "Komplexität" verwaltet
  • Call for Papers
  • Programme von Konferenzen
• Von der EATCS verwaltet:
  • Bulletin of the EATCS

Elektronische Zeitschriften

• Acta Informatica
• Electronic Colloquium on Computational Complexity (ECCC)
• Journal of Universal Computer Science
• Journal of Automata, Languages and Combinatorics
• Mathematische Semesterberichte
• SIGACT News
• The Chicago Journal of Theoretical Computer Science
• The Electronic Journal of Combinatorics
• Theoretical Computer Science
• Theory of Computing Systems

Forschungsberichte anderer Universitäten

• University of Chicago
• Technische Universität München
• University of Rochester
• Universität Stuttgart
• Universität Trier
• Universität Ulm
• Universität Würzburg
• International Computer Science Institute (ICSI)

Newsgroups

• comp.theory (Theoretical Computer Science)
• sci.math (Mathematical discussions and pursuits)
• fido.ger.linux (Linux stuff [in german])

Organisationen

• Die GMD (Gesellschaft für Mathematische Datenverarbeitung)
• Association for Computing Machinery(ACM)
  • Special Interest Group on Algorithms and Computation Theory (SIGACT)
• Theorie-Fachgruppen der Gesellschaft für Informatik
  • Fachgruppe 0.1.1 "Algorithmen und Datenstrukturen"
  • Fachgruppe 0.1.2 "Algorithmische Geometrie"
  • Fachgruppe 0.1.3 "Parallele und verteilte Algorithmen"
  • Fachgruppe 0.1.4 "Komplexität"
  • 36. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen
  • Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
  • • 4. Theorietag der GI Fachgruppe 0.1.5 für Automaten und Formale Sprachen
    • 5. Theorietag der GI Fachgruppe 0.1.5 für Automaten und Formale Sprachen
    • 7. Theorietag der GI Fachgruppe 0.1.5 für Automaten und Formale Sprachen
  • Fachgruppe 0.1.6 "Logik in der Informatik"
  • Fachgruppe 0.1.7 "Spezifikation und Semantik"

Linkcheck