3873 |
Bibliography of "Information Processing Letters" |
(1999) |
3656 |
Bibliography of "Theoretical Computer Science" |
(1999) |
2567 |
Bibliography of the journal Information and Computation |
(1999) |
2139 |
Bibliography of the Journal of the ACM |
(1998) |
2044 |
Bibliography of "IEEE Transactions on Software Engineering" |
(1997) |
1778 |
Bibliography of "IEEE Symposium on Foundations of Computer Science" |
(1997) |
1756 |
Bibliography of "National Conference on Artificial Intelligence" |
(1994) |
1727 |
Bibliography of "Software – Practice and Experience" |
(1998) |
1706 |
Bibliography of "SIAM Journal on Computing" |
(1998) |
1481 |
Bibliography of "ACM Symposium on Theory of Computing" |
(1997) |
1462 |
Bibliography of "Journal of Computer and System Sciences" |
(1998) |
1281 |
Bibliography of "International Conference on Very Large Data Bases" |
(1997) |
1261 |
Bibliography of "International Colloquium on Automata, Languages and Programming" |
(1997) |
1182 |
Bibliography of "Mathematical Foundations of Computer Science" |
(1997) |
1042 |
Bibliography of "ACM SIGMOD International Conference on Management of Data" |
(1997) |
986 |
Bibliography of "Acta Informatica" |
(1998) |
829 |
Bibliography of "ACM Computing Surveys" |
(1997) |
828 |
Bibliography of "Journal of Algorithms" |
(1999) |
827 |
Bibliography of "Theory of Computing Systems" |
(1998) |
774 |
Bibliography of "ACM Symposium on Principles of Programming Languages" |
(1998) |
732 |
Bibliography of "Symposium on Theoretical Aspects of Computer Science" |
(1998) |
728 |
Bibliography of "Journal of Symbolic Logic" |
(1998) |
700 |
Bibliography of "Advances in Cryptology – CRYPTO" |
(1997) |
665 |
Bibliography of "Information Systems" |
(1997) |
619 |
Bibliography of "IEEE Transactions on Knowledge and Data Engineering" |
(1997) |
607 |
Bibliography of "Annals of Pure and Applied Logic" |
(1998) |
603 |
Bibliography of "ACM-SIAM Symposium on Discrete Algorithms" |
(1998) |
571 |
Bibliography of "ACM Symposium on Principles of Distributed Computing" |
(1997) |
554 |
Bibliography of "Algorithmica" |
(1997) |
546 |
Bibliography of "ACM Transactions on Programming Languages and Systems" |
(1997) |
536 |
Bibliography of "ACM Symposium on Principles of Database Systems" |
(1997) |
536 |
Bibliography of "IEEE Symposium on Logic in Computer Science" |
(1997) |
524 |
Bibliography of "Advances in Cryptology – EUROCRYPT" |
(1996) |
473 |
Bibliography of "ACM Transactions on Database Systems" |
(1997) |
400 |
Bibliography of "Journal of Logic Programming" |
(1998) |
392 |
Bibliography of "Conference on Computational Learning Theory" |
(1997) |
391 |
Bibliography of "Conference on Structure in Complexity Theory" |
(1997) |
381 |
Bibliography of "Journal of Parallel and Distributed Computing" |
(1998) |
378 |
Bibliography of "Science of Computer Programming" |
(1999) |
368 |
Bibliography of "Journal of Automated Reasoning" |
(1997) |
353 |
Bibliography of "Journal of Complexity" |
(1998) |
341 |
Bibliography of "ACM SIGPLAN Conference on Programming Language Design and Implementation" |
(1998) |
315 |
Bibliography of "Notre Dame Journal of Formal Logic" |
(1997) |
306 |
Bibliography of "International Conference on Concurrency Theory" |
(1997) |
298 |
Bibliography of "Designs, Codes and Cryptography" |
(1998) |
262 |
Bibliography of "Journal of Logic and Computation" |
(1998) |
258 |
Bibliography of "ACM Transactions on Information Systems" |
(1997) |
237 |
Bibliography of "Workshop on Algorithms and Data Structures" |
(1997) |
234 |
Bibliography of "Workshop on Distributed Algorithms" |
(1996) |
223 |
Bibliography of "European Conference on Object-Oriented Programming" |
(1997) |
221 |
Bibliography of "ACM Transactions on Computer Systems" |
(1997) |
205 |
Bibliography of "Journal of Functional Programming" |
(1998) |
192 |
Bibliography of "International Conference on Architectural Support for Programming Languages and Operating Systems" |
(1996) |
192 |
Bibliography of "European Symposium on Programming" |
(1998) |
185 |
Bibliography of "International Conference on Database Theory" |
(1997) |
181 |
Bibliography of "Distributed Computing" |
(1997) |
180 |
Bibliography of "Scandinavian Workshop on Algorithm Theory" |
(1996) |
171 |
Bibliography of "European Symposium on Algorithms" |
(1996) |
166 |
Bibliography of "Mathematical Structures in Computer Science" |
(1998) |
152 |
Bibliography of "Symposium on Combinatorial Pattern Matching" |
(1997) |
141 |
Bibliography of "Journal of Cryptology" |
(1998) |
128 |
Bibliography of "International Conference on Algebraic and Logic Programming" |
(1996) |
126 |
Bibliography of "ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation " |
(1997) |
126 |
Bibliography of "The Journal of Universal Computer Science" |
(1997) |
119 |
Bibliography of "Advances in Cryptology – ASIACRYPT" |
(1996) |
108 |
Bibliography of "International Conference on Compiler Construction" |
(1996) |
104 |
Bibliography of "ACM Transactions on Modeling and Computer Simulation" |
(1997) |
95 |
Bibliography of "The VLDB Journal" |
(1997) |
95 |
Bibliography of "Fast Software Encryption" |
(1998) |
93 |
Bibliography of "Computational Complexity" |
(1996) |
87 |
Bibliography of "Advances in Cryptology – AUSCRYPT" |
(1992) |
75 |
Bibliography of "Distributed and Parallel Databases" |
(1998) |
69 |
Bibliography of "1996 ACM SIGPLAN International Conference on Functional Programming" |
(1997) |
59 |
Bibliography of "Bulletin of Symbolic Logic" |
(1998) |
55 |
Bibliography of "Theory and Practice of Object Sytems" |
(1997) |
54 |
Bibliography of "ACM Transactions on Software Engineering and Methodology" |
(1995) |
52 |
Bibliography of "ACM Transactions on Computer-Human Interaction" |
(1997) |
50 |
Bibliography of "International Workshop on Automated and Algorithmic Debugging" |
(1995) |
42 |
Bibliography of "ACM Letters on Programming Languages and Systems" |
(1993) |
34 |
Bibliography of "International Conference on Applications of Data Bases" |
(1994) |
33 |
Bibliography of "Constraint Databases and Applications" |
(1997) |
32 |
Bibliography of "International Conference on Financial Cryptography" |
(1997) |