| 90364 |
A large bibliography on theory/foundations of computer science |
(2004) |
| 13109 |
Bibliography on Nonlinear Dynamics and Chaos |
(2003) |
| 5689 |
Bibliography for the journal "Theoretical Computer Science" |
(2004) |
| 5310 |
Nachum Dershowitz's personal bibliography |
(1998) |
| 4396 |
Bibliography of publications on cryptography and related subjects |
(2004) |
| 3020 |
Henning Fernau's personal bibliography |
(2002) |
| 2410 |
Bibliography of the "Journal of the ACM" |
(2004) |
| 2270 |
Categorical Logic In Computer Science Bibliography |
(1998) |
| 2201 |
Bibliography on pattern matching |
(2003) |
| 2031 |
Bibliography of the proceedings volumes of the annual ACM Symposia on the Theory of Computing (STOC) |
(2003) |
| 1991 |
Bibliography of the Algorithms Project at INRIA (old version) |
(1996) |
| 1686 |
Bibliography on cryptography and security |
(2001) |
| 1608 |
Eureca Bibliography |
(1991) |
| 1585 |
Bibliography on Hashing |
(2003) |
| 1448 |
Bibliography on term rewriting systems |
(1995) |
| 1425 |
Bibliography on the theory of concurrency |
(2004) |
| 1416 |
Bibliography for Relational Methods in Computer Science - RelMiCS |
(2001) |
| 1250 |
Bibliography on Logic |
(2004) |
| 1236 |
Bibliography of publications in "Theory of Probability and its Applications" |
(2002) |
| 1161 |
Bibliography of publications in the journal Acta Informatica |
(2004) |
| 1149 |
Bibliography of the proceedings of the annual IEEE symposia on the Foundations of Computer Science (FOCS) |
(2001) |
| 1103 |
Bibliography on online competitive algorithms |
(2004) |
| 1065 |
Graph grammar bibliography |
(2003) |
| 982 |
Bibliography for the Bulletin of the European Association of Theoretical Computer Science (EATCS) |
(2004) |
| 932 |
Bibliography on Computability, Complexity and Constructivity in Analysis |
(2004) |
| 924 |
Bibliography of the "Journal of Symbolic Computation" |
(1999) |
| 906 |
Bibliography of the book "An Introduction to Substructural Logics" |
(1999) |
| 749 |
Bibliographic Database for Computability Theory |
(2002) |
| 671 |
Bibliography of the journal Designs, Codes, and Cryptography |
(2004) |
| 643 |
Annotated Bibliography for the "Handbook for Probability in Computing" |
(1994) |
| 642 |
Bibliography on Computer Arithmetic |
(2003) |
| 584 |
A bibliography on complexity and information |
(2000) |
| 562 |
MML/MDL/Inductive Inference Bibliography |
(1997) |
| 558 |
Bibliography on Calculi for Mobile Processes |
(2002) |
| 556 |
Bibliography on logic (especially with respect to concurrency) |
(1997) |
| 552 |
Bibliography on Finite Model Theory |
(1998) |
| 524 |
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) |
| 478 |
Bibliography on trace theory |
(1997) |
| 475 |
Bibliography on Computational Intelligence and Efficient Algorithms |
(2002) |
| 470 |
Bibliography on Linear Logic |
(1998) |
| 454 |
Bibliography on graph coloring |
(2001) |
| 449 |
Bibliography on Logical Frameworks |
(2000) |
| 439 |
The FLoC'02 omnibus bibliography |
(2002) |
| 424 |
Bibliography of the International Journal of Foundations of Computer Science |
(2003) |
| 422 |
Bibliography on Dynamic Graph Algorithms |
(1996) |
| 414 |
Bibliography on Randomization in Sequential and Distributed Algorithms |
(1994) |
| 390 |
Picture Languages Bibliography |
(1998) |
| 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) |
| 310 |
Bibliography on the theory/foundations of computer science |
(2004) |
| 309 |
Bibliography of Grammar Systems |
(2003) |
| 305 |
Annotated Bibliography of the Logical Frameworks Basic Research Action |
(1992) |
| 288 |
The Map Labeling Bibliography |
(2004) |
| 288 |
Bibliography of the LuFG Theoretical Computer Science, RWTH Aachen |
(2002) |
| 265 |
Bioinformatics Bibliography |
(2001) |
| 257 |
Bibliography of the publications of the Graphs & Applications Group at LaBRI, University of Bordeaux |
(2004) |
| 255 |
Papers in category theory and other areas |
(1993) |
| 235 |
Bibliography on partial k-trees |
(1992) |
| 225 |
Bibliography on Mesh Generation and Optimal Triangulation |
(1994) |
| 218 |
Bibliography of the Algorithms Project at INRIA |
(2003) |
| 196 |
Bibliography on linear logic in computer science |
(1995) |
| 194 |
Bibliography on interactive proofs |
(1995) |
| 191 |
Heap Bibliography |
(1994) |
| 187 |
Bibliography of the SATBIB project |
(2002) |
| 184 |
Bibliography on Formalism, Logic, Institution - Relating, Translating and Structuring (FLIRTS) |
(2003) |
| 184 |
Bibliography of the Werkgemeenschap Informatie- en Communicatietheorie |
(2000) |
| 181 |
Bibliography of the Journal of Cryptology |
(2000) |
| 168 |
Bibliography on Steiner Trees |
(1997) |
| 164 |
Bibliography on graph partitioning |
(1992) |
| 162 |
Bibliography on Computational Number Theory |
(1994) |
| 158 |
Bibliography of the proceedings of International Colloquium on Grammatical Inference (ICGI) |
(2002) |
| 149 |
Bibliography on Graph Partitioning |
(2000) |
| 123 |
Bibliography on halving lines, k-sets, and parametric matroid optimization |
(1996) |
| 119 |
Bibliography of the electronic journal "Discrete Mathematics & Theoretical Computer Science" (DMTCS) |
(2004) |
| 106 |
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) |
| 76 |
Bibliography on the journal ACM Transactions on Computational Logic |
(2004) |
| 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) |
| 37 |
Bibliography of the electronic journal Chicago Journal of Theoretical Computer Science |
(2002) |
| 26 |
Bibliography on biological information theory. |
(1993) |
| 20 |
Bibliography of Team Automata |
(2004) |