Document Type
|
:
|
BL
|
Record Number
|
:
|
998758
|
Doc. No
|
:
|
b753128
|
Title & Author
|
:
|
Current trends in theoretical computer science : : entering the 21st century /\ edited by G. Păun, G. Rozenberg, A. Salomaa.
|
Publication Statement
|
:
|
Singapore ;River Edge, NJ :: World Scientific,, ©2001.
|
Page. NO
|
:
|
1 online resource (x, 869 pages) :: illustrations
|
ISBN
|
:
|
1281951900
|
|
:
|
: 6611951903
|
|
:
|
: 9781281951908
|
|
:
|
: 9786611951900
|
|
:
|
: 9789812810403
|
|
:
|
: 9812810404
|
|
:
|
9789810244736
|
|
:
|
9810244738
|
Notes
|
:
|
Based on columns and tutorials published in the Bulletin of the European Association for theoretical computer science in the period 1992-2000.
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
Contents
|
:
|
Ch. 1. Computational complexity / E. Allender and guest authors -- ch. 2. Formal specification / H. Ehrig and guest authors -- ch. 3. Logic in computer science / Y. Gurevich and guest authors -- ch. 4. Concurrency / M. Nielsen and guest authors -- ch. 5. Natural computing / G. Rozenberg and guest authors -- ch. 6. Formal language theory / A. Salomaa and guest authors.
|
Abstract
|
:
|
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
COMPUTERS-- Computer Literacy.
|
Subject
|
:
|
COMPUTERS-- Computer Science.
|
Subject
|
:
|
COMPUTERS-- Data Processing.
|
Subject
|
:
|
COMPUTERS-- Hardware-- General.
|
Subject
|
:
|
COMPUTERS-- Information Technology.
|
Subject
|
:
|
COMPUTERS-- Machine Theory.
|
Subject
|
:
|
COMPUTERS-- Reference.
|
Dewey Classification
|
:
|
004
|
LC Classification
|
:
|
QA76.C874 2001eb
|
Added Entry
|
:
|
Păun, Gheorghe,1950-
|
|
:
|
Rozenberg, Grzegorz.
|
|
:
|
Salomaa, Arto.
|