EATCS Publications |
| EATCS Monographs and Texts Texts in Theoretical Computer Science Theoretical Computer Science |
EATCS Monographs and Texts |
| This is a series of monographs published by Springer-Verlag and launched during ICALP 1984; more than 30 volumes appeared over 10 years. The series includes monographs in all areas of theoretical computer science, such as the areas considered for ICALPs. Books published in this series present original research or material of interest to the research community and graduate students. Each volume is normally a uniform monograph rather than a compendium of articles. The series also contains high-level presentations of special topics. Nevertheless, as research and teaching usually go hand in hand, these volumes may still be useful as textbooks, too. Text published in this series are intended mostly for the graduate level. Typically, an undergraduate background in computer science is assumed. However, the background required may vary from topic to topic, and some books may be self-contained. The texts cover both modern and classical areas with an innovative approach that may give them additional value as monographs. Most books in this series will have examples and exercises. |
Texts in Theoretical Computer Science (An EATCS Series) |
|
The editors of the series are W. Brauer (Munich),
G. Rozenberg (Leiden), and A. Salomaa (Turku). Potential
authors should contact one of the editors. The advisory
board consists of G. Ausiello (Rome), S. Even (Haifa), J.
Hartmanis (Ithaca), N. Jones (Copenhagen), M. Nivat
(Paris), C. Papadimitriou (Athens and San Diego), and
D. Scott (Pittsburgh).
EATCS Monographs and Texts is a very important EATCS activity and its success depends largely on our members. If you are a potential author or know one please contact one of the editors. An EATCS member can purchase books from the series with 25% discount. Your order should be sent to:
Prof. Dr. G. Rozenberg, who after acknowledging your EATCS membership forwards the order for further processing to Springer Verlag -- they handle the whole matter further on. Updated information about the series can be obtained from the publisher, Springer-Verlag. |
Theoretical Computer Science |
|
The journal Theoretical Computer Science,
founded in 1975, is published by Elsevier
Science Publishers.
Its contents are 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 kinds of papers, introducing or studying mathematical, logical 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 two sections according to their nature. One 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 fields of abstract complexity (i.e., all the results about the hierarchies that can be defined using Turing machines), of automata and language theory (including automata on infinite words and infinitary languages), of geometrical (graphic) applications and of system performance using statistical models. A subsection is the Mathematical Games Section, which is devoted to the mathematical and computational analysis of games. The other section, ``Logic, semantics and theory of programming'', is devoted to formal methods to check properties of programs of 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 founding editor of Theoretical Computer Science was Prof. M. Nivat, and the editors-in-chief are: Prof. Giorgio Ausiello, Dipartemento di Infermatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, 00198, Rome, Italy. Fax: +39 06 85300849 E-mail: ausiello@dis.uniroma1.it and Prof. Don Sannella, School of Informatics, James Clerk Maxwell Building, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom. Fax: +44 131 667 7209 Email: dts@inf.ed.ac.uk |
|
|