close
1.

図書
図書
1. コンピュータシミュレーション
中西俊男著
出版情報: 東京 : 近代科学社, 1977.10  iv, 276p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 3
所蔵情報: loading…
2.

図書
図書
2. プログラムの理論
ゾーハ・マンナ著 ; 五十嵐滋訳
出版情報: 東京 : 日本コンピュータ協会, 1975.1  478p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 23
所蔵情報: loading…
3.

図書
図書
3. FORTRANによる算法入門
一松信, 伊藤二郎, 菅伊兵衛共著
出版情報: 東京 : サイエンス社, 1974.1  v, 150p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 20
所蔵情報: loading…
4.

図書
図書
4. ミニコンピュータシステム入門 : 原理とプログラミング : PDP-11 (上 ; 下)
R.H.エックハウス Jr.著 ; 中西正和訳
出版情報: 東京 : 培風館, 1978-1979  2冊 ; 22cm
所蔵情報: loading…
5.

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

図書
図書
6. ソフトウェアの信頼性 : ソフトウェア・エンジニアリング概説
G. J. マイヤーズ著 ; 有澤誠翻訳
出版情報: 東京 : 近代科学社, 1977.10  xvi, 416p ; 22cm
所蔵情報: loading…
7.

図書
図書
7. プログラム・テスト法
William C.Hetzel編著 ; 鳥居宏次訳
出版情報: 東京 : 近代科学社, 1974.9  xii, 381p ; 22cm
所蔵情報: loading…
8.

図書
図書
8. 情報構造
D.E. Knuth著 ; 米田信夫, 筧捷彦訳
出版情報: 東京 : サイエンス社, 1978.4  8, 378p ; 22cm
シリーズ名: The art of computer programming ; 2 . 基本算法||キホン サンポウ
所蔵情報: loading…
9.

図書
図書
9. システムシミュレーション : GPSS入門
恵羅嘉男, 岩田登志子, 寺西脩著
出版情報: 東京 : 日刊工業新聞社, 1970.7  2, 237, 3p ; 22cm
所蔵情報: loading…
10.

図書
図書
10. 組合せアルゴリズム
仙波一郎著
出版情報: 東京 : サイエンス社, 1989.6  v, 171p ; 21cm
シリーズ名: Information & computing ; 35
所蔵情報: loading…
11.

図書
図書
11. オペレーティング・システム入門
上条史彦著
出版情報: 東京 : 日本生産性本部, 1969  vi, 226 p ; 22cm
所蔵情報: loading…
12.

図書
図書
12. プログラム変換
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.8  vii, 179p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 7
所蔵情報: loading…
13.

図書
図書
13. Prologプログラミング
W.F.Clocksin, C.S.Mellish著 ; 中村克彦訳
出版情報: 東京 : マイクロソフトウェア, 1983.7  xiv, 319p ; 22cm
所蔵情報: loading…
14.

図書
図書
14. 制約論理プログラミング
溝口文雄, 古川康一, J-L.Lassez編
出版情報: 東京 : 共立出版, 1989.11  viii, 202p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 別巻2
所蔵情報: loading…
15.

図書
図書
15. 自然言語解析の基礎
田中穂積著
出版情報: 東京 : 産業図書, 1989.11  ix, 276p ; 22cm
所蔵情報: loading…
16.

図書
図書
16. コンパイラ : 原理・技法・ツール (1 ; 2)
A. V. エイホ, R. セシィ, J. D. ウルマン共著 ; 原田賢一訳
出版情報: 東京 : サイエンス社, 1990.10  2冊 ; 22cm
シリーズ名: Information & computing ; ex.5-6
所蔵情報: loading…
17.

図書
図書
17. プログラミングの科学
D.グリース著 ; 筧捷彦訳
出版情報: 東京 : 培風館, 1991.1  xiv, 365p ; 22cm
シリーズ名: 情報処理シリーズ ; 14
所蔵情報: loading…
18.

図書
図書
18. 基礎概念
D.E. Knuth著 ; 廣瀬健訳
出版情報: 東京 : サイエンス社, 1978.3  22, 331p ; 22cm
シリーズ名: The art of computer programming ; 1 . 基本算法||キホン サンポウ
所蔵情報: loading…
19.

図書
図書
19. 計算機の数学的理論
Marvin L. Minsky著 ; 金山裕訳
出版情報: 東京 : 近代科学社, 1970.2  xvii, 361p ; 22cm
所蔵情報: loading…
20.

図書
図書
20. 乱数
D.E. Knuth著 ; 渋谷政昭訳
出版情報: 東京 : サイエンス社, 1981.10  8, 259p ; 22cm
シリーズ名: The art of computer programming ; 3 . 準数値算法||ジュンスウチ サンポウ
所蔵情報: loading…
21.

図書
図書
21. オペレーティング・システムへの構造的アプローチ (上巻 ; 中巻 ; 下巻)
江村潤朗著
出版情報: 東京 : 日本コンピュータ協会, 1972-1977  3冊 ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 3-5
所蔵情報: loading…
22.

図書
図書
22. プログラム理論入門
R. バード著 ; 土居範久訳
出版情報: 東京 : 培風館, 1981.12  vi, 252p ; 22cm
シリーズ名: 情報処理シリーズ ; 3
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼