このページのリンク

利用統計

  • このページへのアクセス:66回

  • 貸出数:2回
    (1年以内の貸出数:0回)

<図書>
Algorithms and complexity

責任表示 edited by Jan van Leeuwen
シリーズ Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A
データ種別 図書
出版者 Amsterdam ; Tokyo : Elsevier
出版者 Cambridge, Mass. : MIT Press
出版年 1990
本文言語 英語
大きさ ix, 996 p. : ill. ; 25 cm
概要 This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.
Theoretic...l computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibliographies, a subject index, and list of contributors are included in each volume. 続きを見る
目次 v. A. Algorithms and complexity
v. B. Formal models and semantics.

所蔵情報

: Elsevier 理系図 自動書庫 068222191003457 007.64/L 51/1 1990

理系図 自動書庫 068252194001943 403/Han 1992

シ情 情報学 数理 026211998000910 007.1 1990

シ情 情報学 数理 068252191008033 007/Han 1990
: Elsevier 芸工2階 072032196006348 549.92/L51 1990
: MIT Press 理系図 自動書庫 061232004039016 A1/Le/v.A 1990

書誌詳細

一般注記 Includes bibliographical references and subject index (p. 973-996)
著者標目 Leeuwen, Jan van
件 名 LCSH:Computer science
分 類 LCC:QA76
DC20:004
書誌ID 1000033399
ISBN 0444880712
NCID BA11255040
巻冊次 : Elsevier ; ISBN:0444880712
: MIT Press ; ISBN:0262220385
登録日 2009.09.10
更新日 2009.09.17

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています