1.

図書
図書
1. パソコンで数学
Arthur Engel著 ; 野口廣, 守屋悦朗訳
出版情報: 東京 : 共立出版, 1995
所蔵情報: loading…
2.

図書
図書
2. 形式言語とオートマトン
守屋悦朗著
出版情報: 東京 : サイエンス社, 2001.7
シリーズ名: Information science & engineering ; F3
所蔵情報: loading…
3.

図書
図書
3. コンピュータサイエンスのための離散数学
守屋悦朗著
出版情報: 東京 : サイエンス社, 1992.5
シリーズ名: Information & computing ; 61
所蔵情報: loading…
4.

図書
図書
4. 整数と乱数の不思議
Engel, Arthur ; 野口, 広(1925-) ; 守屋, 悦朗(1947-)
出版情報: 東京 : 共立出版, 1995.7
シリーズ名: パソコンで数学 / Arthur Engel著 ; 野口廣, 守屋悦朗訳 ; 上
所蔵情報: loading…
5.

図書
図書
5. シミュレーションによる推測と証明
Arthur Engel著 ; 野口廣, 守屋悦朗訳
出版情報: 東京 : 共立出版, 1995.12
シリーズ名: パソコンで数学 / Arthur Engel著 ; 野口廣, 守屋悦朗訳 ; 下
所蔵情報: loading…
6.

図書
図書
6. チューリングマシンと計算量の理論
守屋悦朗著
出版情報: 東京 : 培風館, 1997.11
シリーズ名: 情報数理シリーズ ; B-2
所蔵情報: loading…
7.

図書
図書
7. 最近の計算理論
Alfred V.Aho [編] ; R.V.Book [ほか] 著 ; 守屋悦朗翻訳
出版情報: 東京 : 近代科学社, 1976.1
所蔵情報: loading…
目次情報: 続きを見る
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]
木オートマトン : 非形式的な概要紹介 James W. Thatcher [著]
言語理論のコンパイラ設計への応用 Jeffrey D. Ullman [著]
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]