Tokyo Metropolitan University Library

計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門

ジョン・マコーミック著 ; 長尾高弘訳. -- オライリー・ジャパン, 2020. <BB02385786>
Tag:
No tag is registered
URL:

HoldingsList 1-2 of about 2

No. Volumes Library Location Material ID Call No Status Due Date Reservation WEB書棚
0001 Central Library Central:2F 10005647393 /007.1/Ma13k/2020 0items
0002 Systems Design Library Hino:open shelf(Japanese) 20002017432 /007.1/Ma 0items
No. 0001
Volumes
Library Central Library
Location Central:2F
Material ID 10005647393
Call No /007.1/Ma13k/2020
Status
Due Date
Reservation 0items
WEB書棚
No. 0002
Volumes
Library Systems Design Library
Location Hino:open shelf(Japanese)
Material ID 20002017432
Call No /007.1/Ma
Status
Due Date
Reservation 0items
WEB書棚

Bibliography Details

title and statement of responsibility area 計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門 / ジョン・マコーミック著 ; 長尾高弘訳
ケイサン デキル モノ、ケイサン デキナイ モノ : ジッセンテキ アプローチ ニヨル ケイサン リロン ニュウモン
publication,distribution,etc.,area 東京 : オライリー・ジャパン
publication,distribution,etc.,area 東京 : オーム社 (発売) , 2020.12
physical description area xviii, 400p : 挿図 ; 24cm
Volume Information
ISBN 9784873119335
variant titles 原タイトル:What can be computed? : a practical guide to the theory of computation
variant titles 異なりアクセスタイトル:計算できるもの計算できないもの : 実践的アプローチによる計算理論入門
ケイサン デキル モノ ケイサン デキナイ モノ : ジッセンテキ アプローチ ニヨル ケイサン リロン ニュウモン
note 監訳: 松崎公紀
note 参考文献: p387-390
NCID BC04631770
text language code Japanese
author link MacCormick, John, 1972- <AU00748951>
author link 長尾, 高弘(1960-)||ナガオ, タカヒロ <AU00145854>
author link 松崎, 公紀(1979-)||マツザキ, キミノリ <AU00663723>
classification Information science NDC8:007.1
classification Information science NDC9:007.1
classification Information science. Informatics NDC10:007.1
classification Science and technology NDLC:MA41
classification Mathematics NDC10:410.9
subject headings オートマトン||オートマトン
subject headings 計算量理論||ケイサンリョウリロン
subject headings プログラミング(コンピュータ)||プログラミング(コンピュータ)
subject headings 計算量理論||ケイサンリョウリロン