Theory and Practice of Logic Programming
- Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming.
- http://journals.cambridge.org/action/displayJournal?jid=TLP

Electronic Colloquium on Computational Complexity
- A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books.
- http://eccc.hpi-web.de/

SIAM Journal on Computing
- Contains research articles on the mathematical and formal aspects of computer science and nonnumerical computing.
- http://www.siam.org/journals/sicomp.php

Reliable Computing
- (Kluwer) An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents from vol.3 (1997) on. Full text to subscribers.
- http://www.springerlink.com/content/1573-1340/

Theoretical Computer Science
- Covers the mathematical and theoretical basis of computer science.
- http://www.elsevier.com/locate/tcs

Organised Sound
- An international journal which focuses on the rapidly developing methods and issues arising from the use of technology in music today.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=OSO

Knowledge Engineering Review
- Committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=KER

Natural Language Engineering
- Meets the needs of professionals and researchers working in all areas of computerised language processing. Editorial board, pricing, advertising rates, instructions for contributors and full text online.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=NLE

Mathematical Structures in Computer Science
- 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.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=MSC

Journal of Functional Programming
- Devoted to this important area of computer science and spans the range from mathematical theory to industrial practice.
- http://www.cambridge.org/journals/JFP/

Combinatorics, Probability and Computing
- Bimonthly devoted to the three areas of combinatorics, probability theory and theoretical computer science.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=CPC

Robotica
- Aims to be a forum for the multidisciplinary subject of robotics and encourage developments in this important field of automation with regard to industry, health, education and research.
- http://www.cambridge.org/journals/journal_catalogue.asp?mnemonic=ROB

Journal of Computer and System Sciences
- A bimonthly journal covering computer and system sciences and their underlying mathematical theory.
- http://www.sciencedirect.com/science?_ob=PublicationURL&_cdi=6864&_pubType=J&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=a10b65a8931ed5cdc8d8499d9fdf95b1

Journal of Algorithms
- Includes mathematically oriented contributions on discrete and finite algorithms.
- http://www.sciencedirect.com/science?_ob=PublicationURL&_cdi=6839&_pubType=J&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=f6e4a6150bcb6578748beaf8a2e3b62b

IEEE Computer Graphics and Applications
- Contents from vol.15 (1995). Full text to subscribers.
- http://www.computer.org/portal/site/cga/index.jsp

Current Cites
- A monthly selection of annotated citations of current literature in information technology. Searchable online and available by email.
- http://lists.webjunction.org/currentcites/

Computing Reviews
- Publishes reviews on current publications in any area of the computing sciences.
- http://www.reviews.com/

Algorithmica
- A journal about the design of algorithms in many applied and fundamental areas. Abstracts available, subscription for full-text articles.
- http://www.springer.com/west/home?SGWID=4-102-70-1083191-detailsPage=journal|description|description

Visual Computer
- Dedicated to reporting on the state-of-the-art technology in the fields of computer vision, graphics, and imaging including applications.
- http://www.springer.com/west/home?SGWID=4-102-70-1058675-detailsPage=journal|description|description

International Journal on Very Large Data Bases
- A quarterly journal focusing on information system architectures, the impact of technological advancements on information systems, and novel database applications.
- http://www.springer.com/west/home?SGWID=4-102-70-1111924-detailsPage=journal|description|description

Theory of Computing Systems
- Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers.
- http://www.springer.com/east/home?SGWID=5-102-70-1025781-detailsPage=journal|description|description

Computing
- Covers research results in numerical computing and informatics.
- http://www.springer.com/east/home?SGWID=5-102-70-1093743-detailsPage=journal|description|description

Lecture Notes in Computer Science
- A volume series which publishes workshop and conference proceedings as well as monographs in computer science and its subfields.
- http://www.springer.com/east/home/computer/lncs?SGWID=5-164-0-0-0

Computational Statistics
- Focuses on the contribution of computing to statistics and vice versa in variety of fields of statistics. Publisher's site: abstracts, with full text for subscribers.
- http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-70-1016281-0

Acta Informatica
- Covers design, description, presentation and analysis of programs, information structures and computing systems. Abstracts available, subscription for full-text articles.
- http://www.springer.com/west/home?SGWID=4-102-70-1033707-detailsPage=journal|description|description

Computational Complexity
- At the interface between mathematics and theoretical computer science. Abstracts available, subscription for full-text articles.
- http://www.springer.com/east/home?SGWID=5-102-70-1176553-detailsPage=journal|description|description

Computer Journal
- Publishes articles across a wide range of computer science areas.
- http://comjnl.oxfordjournals.org/

IT Now (Formerly, Computer Bulletin)
- The membership magazine of the British Computer Society with the aim of spreading awareness of professional issues, IT innovations and technological developments. Full text online.
- http://itnow.oxfordjournals.org/

Journal of Logic and Computation
- Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as relevant conference reviews, are included.
- http://logcom.oxfordjournals.org/

International Journal of Mathematics and Computer Science
- Subscription and author information. First issue planned for January 2006.
- http://ijmcs.futureintech.net/

Upgrade: The European Journal for the Informatics Professional
- A bimonthly technical, independent, non-commercial, and freely distributed electronic publication.
- http://www.upgrade-cepis.org

Journal of Theoretical and Applied Information Technology (JATIT)
- Peer-reviewed electronic research journal with aim of promoting and publishing original high quality research dealing with theoretical and scientific aspects in all disciplines of Information Technology.
- http://www.jatit.org/

Studia Universitatis Babes-Bolyai Series Informatica
- Tables of contents from vol.36 (1991) on.
- http://www.cs.ubbcluj.ro/~studia-i/

International Journal of Foundations of Computer Science
- (World Scientific) Tables of conents and abstracts from vol.10 (1999) on. Full text to subscribers or by individual purchase.
- http://ejournals.wspc.com.sg/ijfcs/ijfcs.shtml

Informatica
- Mathematical simulation and optimization, recognition and control, programming theory and systems, automation systems and elements. Institute of Mathematics and Informatics, Vilnius, Lithuania. Tables of contents and abstracts from vol.9 (1998), some ar
- http://www.vtex.lt/Informatica/

Theoretical Informatics and Applications
- Publishes original research in the area of theoretical computer science and its applications.
- http://www.edpsciences.org/journal/index.cfm?edpsname=ita

Chicago Journal of Theoretical Computer Science
- A peer-reviewed on-line journal in theoretical computer science. Includes archived articles from 1995 to 2000.
- http://cjtcs.cs.uchicago.edu/

Journal of Universal Computer Science
- A monthly on-line journal covering all aspects of computer science. Tables of contents and abstracts of all volumes. Full text to subscribers only.
- http://www.jucs.org/

IEEE Transactions on Visualization and Computer Graphics
- Full text to subscribers.
- http://www.computer.org/tvcg/

Inria - Infoweb
- List of 300 computer science journals (articles are usually available electronically by subscription).
- http://www.inria.fr/publications/infoweb/magazines.en.html

Nelson H. F. Beebe's Bibliographies Page
- List of 100 journals, with completed and corrected bibliographies and links to the homepages.
- http://www.math.utah.edu/~beebe/bibliographies.html

LMS Journal of Computation and Mathematics
- An electronic journal published by the London Mathematical Society covering all areas where mathematics and computation meet.
- http://www.lms.ac.uk/jcm/

The Journal of Conceptual Modeling
- Free on-line publication dedicated to conceptual modeling techniques such as Object-Role Modeling, Natural Language Modeling and the Unified Modeling Language. Related resources.
- http://www.inconcept.com/JCM

IEEE/ACM Transactions on Networking
- Covers network architecture and management, protocols, software and services.
- http://www.ton.cc.gatech.edu/

Journal of Database Management
- Publishes original research on all aspects of database management, systems analysis and design, and software engineering. Table of contents on-line.
- http://www.idea-group.com/journals/details.asp?id=198

Information and Computation
- Covers all areas of theoretical computer science and computational aspects of information theory.
- http://theory.lcs.mit.edu/~iandc/

Journal of Symbolic Computation
- Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects.
- http://www.cis.udel.edu/~caviness/jsc.html

Automatic Control and Computer Science
- Translation of "Avtomatika I Vychislitel'naya Tekhnika" from Latvia, covering automatic control and distributed processing and signal processing. On-line table of contents.
- http://www.edi.lv/journal/journal.htm