Buy Computer Science journals, books & electronic media online at Springer. Choose from a large range of academic titles.

Full text to subscribers.

International Journal Informatica Published by Institute of Mathematics and Informatics, Vilnius, Lithuania

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

450 references related to logical frameworks, which are formal meta-languages for deductive systems.

An index to bibliographies on several subfields.

www.acm.org - The premier society in computing brings you the Computer Portal.

Networked Computer Science Technical Reference Library - Indexes on-line technical reports from 150 institutions archives - open to institutions, or submit individual articles with the CoRR open repository.

Indexes 50,000 on-line tech reports from institutions archives - full-text search.

Computing - Mathematics. Presenting the latest research results from computer science and numerical computation, Computing is an international journal intended for professionals and students in all fields of scientific computing, fo...