人工知能の原理 / Nils J.Nilsson著 ; 白井良明[ほか]訳
書庫1F(開架)
コンピュ-タによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
書庫1F(開架)
Prologプログラミング / W.F.Clocksin,C.S.Mellish著 ; 中村克彦訳
書庫1F(開架)
オペレーティング・システムの理論 / E.G.Coffman,Jr. , P.J.Denning著 ; 川口喜三男, 藤井護訳
書庫1F(開架)
アルゴリズムと計算機械 / 渡辺勝正著
書庫1F(開架)
デ-タベ-ス / James Martin著 ; 国友義久, 久保未沙訳
書庫1F(開架)
デ-タベ-ス管理 / James Martin著 ; 穂鷹良介, 若林信夫訳
書庫1F(開架)
オペレ-ティング・システムの基礎 / Tsichritzis,Bernstein著 ; 斎藤信男訳
書庫1F(開架)
並行動作プログラムの構造 / Per Brinch Hansen著 ; 田中英彦訳
書庫1F(開架)
ソフトウェアの構造化設計法 / Yourdon,Constantine著 ; 原田実,久保未沙訳
書庫1F(開架)
計算機による数値積分法 / P.J.Davis, P.Rabinowitz著 ; 森正武訳
書庫1F(開架)
離散構造入門 / F.P. Preparata, R.T. Yeh著 ; 榎本彦衛訳
書庫1F(開架)
アルゴリズム+データ構造=プログラム / Niklaus Wirth著 ; 片山卓也訳
書庫1F(開架)
計算機のための数値計算法 / G.E.Forsythe〔ほか〕著 ; 森正武訳
書庫1F(開架)
構造的PASCALプログラミング : プログラム設計と証明の組織的方法 / Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
書庫1F(開架)
PASCALプログラミング : プログラム作成の体系的方法 / W.Findlay,D.A.Watt著 ; 牛島和夫訳
書庫1F(開架)
UNIXシステム / S.R.Bourne著 ; 三好彰,木下恂訳
書庫1F(開架)
構造的コンカレント-プログラミング技法 / R.C.Holt〔ほか〕著 ; 藤野喜一,菊池豊彦訳
書庫1F(開架)
計算システム入門 / 所真理雄[著]
書庫1F(開架)
プログラミングの方法 / 川合慧[著]
書庫1F(開架)
アルゴリズムとデータ構造 / 石畑清[著]
書庫1F(開架)
プログラミング言語 / 武市正人 [著]
書庫1F(開架)
プログラミング言語処理系 / 佐々政孝[著]
書庫1F(開架)
オペレーティングシステム / 前川守[著]
書庫1F(開架)
ソフトウェア実行/開発環境 / 前川守[著]
書庫1F(開架)
記号処理プログラミング / 後藤滋樹[著]
書庫1F(開架)
数値処理プログラミング / 津田孝夫[著]
書庫1F(開架)
グラフィクスとマンマシンシステム / 中嶋正之, 川合慧 [共著]
書庫1F(開架)
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
書庫1F(開架)
計算モデルの基礎理論 / 井田哲雄[著]
書庫1F(開架)
プログラムの基礎理論 / 佐藤雅彦, 桜井貴文[共著]
書庫1F(開架)
認識と学習 / 安西祐一郎[著]
書庫1F(開架)
モデルと表現 / 米澤明憲, 柴山悦哉[著]
書庫1F(開架)
BASICによる情報検索プログラミング入門 / 吉田貞夫,谷口伸一共著
[本編]
書庫1F(開架)
BASICによる情報検索プログラミング入門 / 吉田貞夫,谷口伸一共著
別冊
書庫1F(開架)
情報基礎論 / 長尾真, 辻井潤一, 山崎進共著
書庫1F(開架)
ハ-ドウェア技術 / 田丸啓吉著
書庫1F(開架)