 |
Editors-in-Chief:
G. Ausiello, D. Sannella
See editorial board for all editors information
Special Issue on Stabilization Safety and Security
Description
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday
computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.
All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is
clearly drawn from the field of computing.
Papers published in Theoretical Computer Science are grouped in three sections
according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their
complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the
results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including
automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement
of system performance using statistical methods.
The second section,`Logic, semantics and theory of programming', is devoted to formal
methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential
and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques,
abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical
methods.
The third section, 'Natural Computing', is devoted to the study of computing
occurring in nature and computing inspired by
nature. In the rapidly evolving field of computer science natural computing plays an important role as the catalyst for the synergy of
human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature
of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer
Science is focused on the theoretical aspects of
natural computing with clear relevance to computing. Among others, it will contain papers
dealing with the theoretical issues in evolutionary computing, neural networks, molecular
computing, and quantum computing.
| Bibliographic details |
ISSN: 0304-3975
Imprint: ELSEVIER
Commenced publication 1975
Subscriptions for the year 2009,
Volume 410,
52 issues
Also available as part of a combined subscription to Science of Computer Programming with Theoretical Computer Science
Electronic access
to Electronic Notes in Theoretical Computer Science (ENTCS) included
NEW!! Elsevier's Theoretical Computer Science Student Collection
This
journal is included in a bundle of 12 premier Theoretical Computer Science journals at a discounted student rate:
Click here for
more information on eligibility AND/OR to get your online personal student collection today!
|
| Price and Ordering |
Institutional online access: ScienceDirect eSelect
For purchase of online access to this journal on ScienceDirect.
|
Student price:
USD 26 for all countries except Europe, Japan and Iran
JPY 3,700 for Japan
EUR 20 for European countries and Iran
|  |
Institutional price:
EUR 6,485 for European countries and Iran
USD 7,257 for all countries except Europe, Japan and Iran
JPY 860,800 for Japan
| |
Conditions of sale & ordering procedures, and links to our regional sales offices.
|
For an overview of recently-dispatched issues, see the Journal issue
dispatch dates
Combined subscriptions
Science of Computer Programming with Theoretical Computer Science (Combined Subscription)
Audience
Researchers in the Theoretical Aspects of Computer Science
Sponsored Articles:
Theoretical Computer Science offers authors
or their institutions the option to sponsor non-subscriber access to their articles on Elsevier's electronic publishing platforms. For
more information please click here.
Impact factor of this journal
2007: 0.735
© Journal Citation Reports 2008, published by Thomson Reuters
600/144
Last update: 14 Oct 2008
|
|
| |
