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

Publishes reviews on current publications in any area of the computing sciences.

Translation of "Avtomatika I Vychislitel'naya Tekhnika" from Latvia, covering automatic control and distributed processing and signal processing. On-line table of contents.

Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science.

A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email.

A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books.

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

Covers all areas of theoretical computer science and computational aspects of information theory.

Publishes original research on all aspects of database management, systems analysis and design, and software engineering. Table of contents on-line.

Covers network architecture and management, protocols, software and services.