Current trends in theoretical computer science : the challenge of the new century
著者
書誌事項
Current trends in theoretical computer science : the challenge of the new century
World Scientific Pub., 2004
- set
- vol. 1
- vol. 2
大学図書館所蔵 全4件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
収録内容
- v. 1. Algorithms and complexity
- v. 2. Formal models and semantics
内容説明・目次
- 巻冊次
-
set ISBN 9789812387837
内容説明
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.
目次
- Vol 1: Algorithms
- Computational Complexity
- Distributed Computing
- Natural Computing
- Vol 2: Formal Specification
- Logic in Computer Science
- Concurrency
- Formal Language Theory
- 巻冊次
-
vol. 2 ISBN 9789812389657
内容説明
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.
目次
- Vol 1: Algorithms
- Computational Complexity
- Distributed Computing
- Natural Computing
- Vol 2: Formal Specification
- Logic in Computer Science
- Concurrency
- Formal Language Theory
- 巻冊次
-
vol. 1 ISBN 9789812389664
目次
- Vol 1: Algorithms
- Computational Complexity
- Distributed Computing
- Natural Computing
- Vol 2: Formal Specification
- Logic in Computer Science
- Concurrency
- Formal Language Theory
「Nielsen BookData」 より