  |
Journal of Logic and Computation - http://logcom.oxfordjournals.org/
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. |
| |
Theoretical Computer Science - http://www.elsevier.com/locate/tcs
Covers the mathematical and theoretical basis of computer science. |
| |
IT Now (Formerly, Computer Bulletin) - http://itnow.oxfordjournals.org/
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. |
| |
SIAM Journal on Computing - http://www.siam.org/journals/sicomp.php
Contains research articles on the mathematical and formal aspects of computer science and nonnumerical computing. |
| |
Informatica - http://www.informatica.si/
An international journal of Computing and Informatics published by the Slovene Informatika Society. Tables of contents and abstracts from vol.17 (1993). |
| |
Computational Complexity - http://www.springer.com/birkhauser/computer+science/journal/37
At the interface between mathematics and theoretical computer science. Abstracts available, subscription for full-text articles. |
| |
IEEE/ACM Transactions on Networking - http://www.ton.cc.gatech.edu/
Covers network architecture and management, protocols, software and services. |
| |
Algorithmica - http://www.springer.com/computer/foundations/journal/453
A journal about the design of algorithms in many applied and fundamental areas. Abstracts available, subscription for full-text articles. |
| |
Theory of Computing Systems - http://www.springer.com/computer/foundations/journal/224
Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers. |
| |
Theory and Practice of Logic Programming - http://journals.cambridge.org/action/displayJournal?jid=TLP
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. |
| |
Informatica - http://www.mii.lt/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 articles on-line in PDF. |
| |
Journal of Functional Programming - http://journals.cambridge.org/action/displayJournal?jid=JFP
Devoted to this important area of computer science and spans the range from mathematical theory to industrial practice. |
| |
Knowledge Engineering Review - http://journals.cambridge.org/action/displayJournal?jid=KER
Committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts. |
| |
Information and Computation - http://projects.csail.mit.edu/iandc/
Covers all areas of theoretical computer science and computational aspects of information theory. |
| |
Natural Language Engineering - http://journals.cambridge.org/action/displayJournal?jid=NLE
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. |
| |
Combinatorics, Probability and Computing - http://journals.cambridge.org/action/displayJournal?jid=CPC
Bimonthly devoted to the three areas of combinatorics, probability theory and theoretical computer science. |
| |
Acta Informatica - http://www.springer.com/computer/foundations/journal/236
Covers design, description, presentation and analysis of programs, information structures and computing systems. Abstracts available, subscription for full-text articles. |
| |
Visual Computer - http://www.springer.com/computer/computer+imaging/journal/371
Dedicated to reporting on the state-of-the-art technology in the fields of computer vision, graphics, and imaging including applications. |
| |
Mathematical Structures in Computer Science - http://journals.cambridge.org/action/displayJournal?jid=MSC
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. |
| |
Journal of Theoretical and Applied Information Technology (JATIT) - http://www.jatit.org/
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. |
| |
Nelson H. F. Beebe's Bibliographies Page - http://www.math.utah.edu/~beebe/bibliographies.html
List of 100 journals, with completed and corrected bibliographies and links to the homepages. |
| |
Organised Sound - http://journals.cambridge.org/action/displayJournal?jid=OSO
An international journal which focuses on the rapidly developing methods and issues arising from the use of technology in music today. |
| |
The Journal of Conceptual Modeling - http://www.inconcept.com/JCM
Free on-line publication dedicated to conceptual modeling techniques such as Object-Role Modeling, Natural Language Modeling and the Unified Modeling Language. Related resources. |
| |
Automatic Control and Computer Science - http://www.edi.lv/journal/journal.htm
Translation of "Avtomatika I Vychislitel'naya Tekhnika" from Latvia, covering automatic control and distributed processing and signal processing. On-line table of contents. |
| |
Journal of Symbolic Computation - http://www.cis.udel.edu/~caviness/jsc.html
Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects. |
| |
Robotica - http://journals.cambridge.org/action/displayJournal?jid=ROB
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. |
| |
Studia Universitatis Babes-Bolyai Series Informatica - http://www.cs.ubbcluj.ro/~studia-i/
Tables of contents from vol.36 (1991) on. |
| |
Journal of Database Management - http://www.igi-pub.com/journals/details.asp?id=198
Publishes original research on all aspects of database management, systems analysis and design, and software engineering. Table of contents on-line. |
| |
Electronic Colloquium on Computational Complexity - http://eccc.hpi-web.de/
A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books. |
| |
Inria - Infoweb - http://www.inria.fr/publications/infoweb/magazines.en.html
List of 300 computer science journals (articles are usually available electronically by subscription). |