Links zur Theoretischen Informatik
Einige Themengebiete
- Computational Complexity Column des Bulletins der EATCS (von L. Fortnow; University of Chicago)
- Leaf Languages (von Heribert Vollmer; Uni Hannover)
- Constraint Satisfaction Problems (von Richard Gault; Oxford University)
- Average Case Complexity (von Jie Wang; University of North Carolina @ Greensboro)
- Parameterized Complexity (von H. Todd Wareham; Memorial University, St. John's, NF, CA)
- Finite Model Theory (von A. Malmström; Uni Aachen)
- Probabilistically Checkable Proofs and Approximation (von M. Bellare; University of California @ San Diego)
- Computability Theory (von Peter Cholak; University of Notre Dame)
- Center for Quantum Computation (Oxford)
- Algorithms on ``Realistic'' Parallel Machines (von Silvia Goetz; Carleton University)
- Computational Complexity and Programming Languages (Zusammenfassungen von Vorträgen eines DIMACS-Workshop, gesammelt von James Royer; University of Syracuse)
- Das MacTutor-Archiv History of Mathematics
Quellen
- Bücher
- Complexity and Approximation von G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela und M. Protasi
- A Compendium of NP Optimization Problems (von P. Crescenzi und V. Kann; KTH Stockholm), eine fortlaufend aktualisierte Version des Anhanges des Buches von Ausiello u.a.
- Branching Programs and Binary Decision Diagrams von Ingo Wegener
- Introduction to Circuit Complexity: A Uniform Approach von Heribert Vollmer
- Introduction to the Theory of Computation von Michael Sipser
- The Art of Computer Programming von Donald E. Knuth
- Konferenzen
- Computational Complexity (Die Konferenz-Homepage von Luc Longpre; University of Texas @ El Paso)
- Logic in Computer Science (Konferenz-Homepage)
- SIGACT Theory Calendar
Journale
- ACM Computing Reviews
- ACM Computing Surveys ( Zugang der Uni Trier)
- Chicago Journal of Theoretical Computer Science
- Communications of the ACM (Zugang der Uni Trier)
- Computational Complexity
- Discrete Mathematics and Theoretical Computer Science
- Information and Computation
- Information Processing Letters
- International Journal of Foundations of Computer Science
- Journal of Computer and System Sciences (Zugang der Uni Trier)
- Journal of the ACM
- Journal of Universal Computer Science
- SIAM J. Comput.
- Theoretical Computer Science (Zugang der Uni Trier)
- Theory of Computing Systems
- Springer LINK - Computer Science Online Library
Bibliographische Datenbanken
- Bibliography Server Databases and Logic Programming an der Uni Trier mit vielen Links zu Journalen aus allen Bereichen der theoretischen Informatik
- Das Hypertext Bibliography Project von David Jones am M.I.T.
- Zentralblatt MATH Database
- MathSciNet, AMS
- Compuscience WWW-Database, FIZ Karlsruhe
- Research Index Citeseer, NEC Research
- Seiferas' Datenbank
- Hypertext Bibliography of Measures of Complexity (von Bruce Edmonds; Manchester Metropolitan University)
- Bibliotheken für Preprints und Technical Reports
- ECCC - The Electronic Colloquium on Computational Complexity
- ACM Computing Research Repository (CoRR) (Spiegel der Uni Augsburg)
- Networked Computer Science Technical Reports Library (NCSTRL)
- Hypatia - Elektronische Bibliothek für Informatik und reine Mathematik, Queen Mary and Westfield College, London
- Verschiedene Sammlungen
- The Collection of Computer Science Bibliographies der Uni Karlsruhe (Erweitertes Suchformular)
- Bibliographic database LEABIB, der TU München
Universitäten, Forschungsinstitute und wissenschaftliche Organisationen
- Liste der Informatik-Institute des RZ der Uni Karlsruhe
- Dagstuhl
- DIMACS New Brunswick
- DFKI Saarbrücken
- Max Planck Institut für Informatik, Saarbrücken
- Heinz-Nixdorf-Institut, Paderborn
- FAW Ulm
- CWI Amsterdam, Quantum Computing und Advanced Systems Research
- The Institute of Electronics, Information and Communication Engineers, Japan (mit einem elektronischen Archiv der IEICE Trans.)
- Association for Computing Machinery (ACM)
- GI Fachgruppen
- European Association for Theoretical Computer Science (EATCS)
- IEEE; IEEE Bookstore
- American Mathematical Society (AMS)
- European Association for Computer Science Logic (EACSL)
- European Association for Logic, Language and Information (FoLLI)
- London Mathematical Society (LMS)
| Last changed: 02. October 2009.
Top
| Copyright Leibniz Universität
