図書

理論計算機科学事典

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

理論計算機科学事典 = Encyclopedia of Theoretical Computer Science

Call No. (NDL)
M2-M16
Bibliographic ID of National Diet Library
031881464
Material type
図書
Author
徳山豪, 小林直樹 総編集ほか
Publisher
朝倉書店
Publication date
2022.1
Material Format
Paper
Capacity, size, etc.
793p ; 22cm
NDC
007.64
View All

Detailed bibliographic record

Summary, etc.:

理論計算機科学の全体像。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。(Provided by: 出版情報登録センター(JPRO))

Author introduction:

徳山 豪 関西学院大学小林 直樹 東京大学(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

  • 目次

  • 1. 総論/ 1

    [担当編集者:徳山豪]

  • 1.1 はじめに/ 2

    [徳山豪]

  • 1.2 理論計算機科学の体系/ 2

    [徳山豪]

  • 1.3 計算理論の概要/ 4

    [徳山豪]

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

  • 北海道立図書館

    Paper
    Call No.:
    007.1/R
    Book Registration Number:
    1112825995
  • 宮城県図書館

    Paper
    Call No.:
    007.1/2022.1/R
    Book Registration Number:
    1012110266

Kanto

  • 徳島県立図書館

    Paper
    Call No.:
    007.6-トク
    Book Registration Number:
    00112441166
  • 愛媛県立図書館

    Paper
    Call No.:
    007.1-リロ-2022
    Book Registration Number:
    5106325829

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
978-4-254-12263-3
Title Transcription
リロン ケイサンキ カガク ジテン
Author/Editor
徳山豪, 小林直樹 総編集
岩間一雄 [ほか] 編集
Author Heading
編者 : 徳山, 豪, 1957- トクヤマ, タケシ, 1957- ( 00375787 )Authorities
編者 : 小林, 直樹, 1968- コバヤシ, ナオキ, 1968- ( 001357064 )Authorities
Publication, Distribution, etc.
Publication Date
2022.1
Publication Date (W3CDTF)
2022
Extent
793p