|
|
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
ジョン・マコーミック著 ; 長尾高弘訳. -- オライリー・ジャパン, 2020.
<BB00959428>
|
|
|
計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
ジョン・マコーミック著 ; 長尾高弘訳. -- オライリー・ジャパン, 2020.
<BB00959428>
|
HoldingsList
1-1 of about 1
Click a number to display details about the collection.
| No. |
Volumes |
Library |
Location |
Call No |
Material ID |
Status |
user1 |
Due Date |
Reservation |
|
0001
|
|
NIT, Nara College |
情報工学科 岡村 |
548.964||マ||0119554
|
0119554 |
|
|
|
0items
|
|
|
| No. |
0001
|
| Volumes |
|
| Library |
NIT, Nara College |
| Location |
情報工学科 岡村 |
| Call No |
548.964||マ||0119554
|
| Material ID |
0119554 |
| Status |
|
| user1 |
|
| Due Date |
|
| Reservation |
0items
|
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
|
|
|
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- <NC:DA1763538X>
|
|
author link
|
長尾, 高弘(1960-)
ナガオ, タカヒロ <NC:DA04403654>
|
|
author link
|
松崎, 公紀(1979-)
マツザキ, キミノリ <NC:DA17082677>
|
|
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
|
計算量理論||ケイサンリョウリロン
|
Catalog Search ▼
User Service ▼
