The Collection of
Computer Science Bibliographies

Bibliographies on Theory/Foundations of Computer Science

You can add bibliographies and references to this collection!


in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

#RefsBibliographyDate
2864Bibliographies on Wavelets
110267 A large bibliography on theory/foundations of computer science (2008)
13109 Bibliography on Nonlinear Dynamics and Chaos (2003)
10676 Bibliography for the journal "Theoretical Computer Science" (2015)
9615 Bibliography of publications on cryptography and related subjects (2015)
5997 Henning Fernau's personal bibliography (2013)
5317 Nachum Dershowitz's personal bibliography (1998)
4681 Bibliography of publications in "Theory of Probability and its Applications" (2014)
2952 Bibliography of the Algorithms Project at INRIA (2007)
2885 Bibliography of the proceedings volumes of the annual ACM Symposia on the Theory of Computing (STOC) (2013)
2761 Bibliography of the "Journal of the ACM" (2014)
2499 Bibliography on Hashing (2014)
2285 Bibliography on pattern matching (2011)
2272 Categorical Logic In Computer Science Bibliography (1998)
2168 Bibliography of the proceedings of the annual IEEE symposia on the Foundations of Computer Science (FOCS) (2013)
2119 Bibliography of publications in the journal Algorithmica (ISSN 0178-4617 (print), 1432-0541 (electronic), CODEN ALGOEJ), which began publishing in 1986 (2014)
1855 Bibliography on trace theory (2013)
1768 Bibliography on Computability, Complexity and Constructivity in Analysis (2014)
1727 Bibliography of the journal Designs, Codes, and Cryptography (2014)
1686 Bibliography on cryptography and security (2001)
1608 Eureca Bibliography (1991)
1508 Bibliography on Logic (2005)
1448 Bibliography on the theory of concurrency (2004)
1416 Bibliography for Relational Methods in Computer Science - RelMiCS (2001)
1412 Bibliography of publications in the journal Acta Informatica (2014)
1370 Bibliography on online competitive algorithms (2010)
1335 Bibliography of the International Journal of Foundations of Computer Science (2014)
1255 Cellular Neural/Nonlinear Networks (2010)
1156 Bibliography for the Bulletin of the European Association of Theoretical Computer Science (EATCS) (2010)
1066 Graph grammar bibliography (2003)
924 Bibliography of the "Journal of Symbolic Computation" (1999)
906 Bibliography of the book "An Introduction to Substructural Logics" (1999)
834 Bibliographic Database for Computability Theory (2007)
808 Bibliography on Computer Arithmetic (2013)
709 Bibliography on logic (especially with respect to concurrency) (2009)
643 Annotated Bibliography for the "Handbook for Probability in Computing" (1994)
584 A bibliography on complexity and information (2000)
562 MML/MDL/Inductive Inference Bibliography (1997)
558 Bibliography on Calculi for Mobile Processes (2002)
552 Bibliography on Finite Model Theory (1998)
525 Bibliography of the Symposia on Information Theory in the Benelux (2000)
499 Bibliography on algorithms for k shortest paths (2001)
492 Imprecise Probabilities: A Bibliography (2001)
490 The FLoC'02 omnibus bibliography (2002)
482 Bibliography of the publications of the Graphs & Applications Group at LaBRI, University of Bordeaux (2007)
475 Bibliography on Computational Intelligence and Efficient Algorithms (2002)
470 Bibliography on Linear Logic (1998)
463 Bibliography on graph coloring (2003)
449 Bibliography on Logical Frameworks (2000)
422 Bibliography on ACM Transactions on Algorithms (ISSN 1549-6325). (2014)
422 Bibliography on Dynamic Graph Algorithms (1996)
414 Bibliography on Randomization in Sequential and Distributed Algorithms (1994)
390 Picture Languages Bibliography (1998)
389 Bibliography on the journal ACM Transactions on Computational Logic (2014)
371 The Map Labeling Bibliography (2009)
367 Bibliography on the theory/foundations of computer science (2010)
357 Bibliography from the SYDCAT group (1993)
345 Bibliography on Realizability (2000)
329 Bibliography on linear logic and related subjects (1998)
329 PVS Bibliography (2001)
328 Bibliography on Rewriting Logic and Applications (2002)
326 Bibliography on computational semantics (1994)
319 Bibliography on Subgraph Isomorphism (2001)
309 Bibliography of Grammar Systems (2003)
305 Annotated Bibliography of the Logical Frameworks Basic Research Action (1992)
289 Bibliography of the LuFG Theoretical Computer Science, RWTH Aachen (2002)
265 Bioinformatics Bibliography (2001)
256 Papers in category theory and other areas (1993)
235 Bibliography on partial k-trees (1992)
225 Bibliography on Mesh Generation and Optimal Triangulation (1994)
206 Scientific Annals of Computer Science (2014)
196 Bibliography on linear logic in computer science (1995)
194 Bibliography on interactive proofs (1995)
191 Heap Bibliography (1994)
190 Bibliography of the proceedings of International Colloquium on Grammatical Inference (ICGI) (2004)
187 Bibliography of the SATBIB project (2002)
185 Bibliography of the Werkgemeenschap Informatie- en Communicatietheorie (2000)
184 Bibliography on Formalism, Logic, Institution - Relating, Translating and Structuring (FLIRTS) (2003)
181 Bibliography of the Journal of Cryptology (2000)
177 Bibliography of the electronic journal "Discrete Mathematics & Theoretical Computer Science" (DMTCS) (2004)
168 Bibliography on Steiner Trees (1997)
164 Bibliography on graph partitioning (1992)
162 Bibliography on Computational Number Theory (1994)
149 Bibliography on Graph Partitioning (2000)
123 Bibliography on halving lines, k-sets, and parametric matroid optimization (1996)
107 Bibliography on the random generation of combinatorial structures (2000)
105 Bibliography on Quantum Computation (1996)
105 Mesh generation bibliography (1996)
93 Bibliography on Parallel Grammars (2003)
90 Bibliography on cryptology (1993)
58 INFOCOMP Journal of Computer Science (2005)
49 Bibliography of the Proceedings of Graph Drawing '93, ALCOM International Workshop PARIS 1993 on Graph Drawing and Topological Graph Algorithms (1993)
48 Bibliography on fractals (1990)
40 Bibliography of Team Automata (2012)
37 Bibliography of the electronic journal Chicago Journal of Theoretical Computer Science (2002)
29 Prof. Dr. Christian Pape's Bibliography on Computer Science (2007)
27 BFCA Bibliography (2006)
26 Bibliography on biological information theory. (1993)
0 Publications of the Correct System Design Group (University of Oldenburg) (2013)
224965Total number of references in this section