650,000 on-line articles from 12,000 journals or conferences. Different levels of subscription are possible.

A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science.

Indexes 200,000 citations from conferences and journals - submit tables of contents.

An international journal of Computing and Informatics published by the Slovene Informatika Society. Tables of contents and abstracts from vol.17 (1993).

Free on-line publication dedicated to conceptual modeling techniques such as Object-Role Modeling, Natural Language Modeling and the Unified Modeling Language. Related resources.

Contains research articles on the mathematical and formal aspects of computer science and nonnumerical computing.

Covers the mathematical and theoretical basis of computer science.

Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects.

Indexes on-line articles from institutions archives - 300,000 in maths, computer science and physics - full-text search.

An index to bibliographies on several subfields.