最近の計算理論

所蔵情報QRコード

資料種別:

図書

出版情報:

東京 : 近代科学社, 1976.1

形態:

v, 310p ; 22cm

著者名:

書誌ID:

BN00578072

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

Currents in the theory of computing

注記:

文献目録: p275-298

タイトルのヨミ:

サイキンノケイサンリロン

著者名ヨミ:

モリヤ, エツロウ

主題:

言語:

日本語

目次情報:

形式言語理論の話題 / Ronald V. Book [著]

計算の複雑さ : 理論と実際 / Allen Borodin [著]

プログラム図式 / Zohar Manna [著]

木オートマトン : 非形式的な概要紹介 / James W. Thatcher [著]

言語理論のコンパイラ設計への応用 / Jeffrey D. Ullman [著]

東工大ブックレビュー

1 図書形式言語とオートマトン守屋, 悦朗(1947-) サイエンス社	7 図書使いこなそうやさしい離散数学守屋, 悦朗(1947-) サイエンス社
2 図書チューリングマシンと計算量の理論守屋, 悦朗(1947-) 培風館	8 図書離散数学入門守屋, 悦朗(1947-) サイエンス社
3 図書情報・符号・暗号の理論入門守屋, 悦朗(1947-) サイエンス社	9 図書整数と乱数の不思議 Engel, Arthur, 野口, 広(1925-), 守屋, 悦朗(1947-) 共立出版
4 図書コンピュータサイエンスのための離散数学守屋, 悦朗(1947-) サイエンス社	10 図書パソコンで数学 Engel, Arthur, 野口, 広(1925-), 守屋, 悦朗(1947-) 共立出版
5 図書例解と演習離散数学守屋, 悦朗(1947-) サイエンス社	11 図書シミュレーションによる推測と証明 Engel, Arthur, 野口, 広(1925-), 守屋, 悦朗(1947-) 共立出版
6 図書ヴィジュアルでやさしいグラフへの入門守屋, 悦朗(1947-) サイエンス社	12 図書大学生のための基礎から学ぶ教養数学井川, 信子, 守屋, 悦朗(1947-) サイエンス社