こちらに共通ヘッダが追加されます。
ようこそ
ゲスト
さん
ログイン
ヘルプ
入力補助
English
DOORS
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
ベストリーディング
アクセスランキング
教員指定図書
教員執筆図書
多読用資料(ESL)
My DOORS
貸出・予約状況照会
複写・借用申込み
複写・借用申込み状況照会
新規購入依頼
購入依頼状況照会
パスワード新規登録
パスワード変更
利用者情報編集
その他
学術リポジトリ
DOGS Plus
電子資料一覧
電子ジャーナル・電子書籍
同志社大学図書館
書誌詳細に戻る
選択資料から書架並びで前後20冊ずつを表示します。
構成と制御 / 飯塚肇執筆
418.6||D51||2
932018872
理工学部 情報系
自然言語理解と論理プログラミング / V. Dahl, P. Saint-Dizier共著 ; 西田豊明 [ほか] 共訳
418.6||D53
932017493
理工学部 情報系
協調型計算システム : 分散型ソフトウェアの技法と道具立て / R. E. フィルマン, D. P. フリードマン共著 ; 雨宮真人 [ほか] 共訳
418.6||F37
932022889
理工学部 情報系
Prolog入門 / 古川康一著
418.6||F39
932027356
理工学部 情報系
計算理論と論理プログラミング / Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳
418.6||F41-1A
932020416
理工学部 情報系
CASE : ソフトウェア開発にはCASEツールを使って / A. S. Fisher著 ; 黒田純一郎, 中島誠訳
418.6||F57
932021410
理工学部 情報系
コンピュータの設計とテスト / 藤原秀雄著
418.6||F58
932021576
理工学部 情報系
コンピュータ画面作成ハンドブック / W.O.Galitz著 ; 高橋誠, 本城由美子訳
418.6||G36
932021631
理工学部 情報系
オートマトン言語理論計算論 / J. ホップクロフト, J. ウルマン共著 ; 野崎昭弘 [ほか] 共訳
1
418.6||H9-2A||1
932025933
理工学部 情報系
オートマトン言語理論計算論 / J. ホップクロフト, J. ウルマン共著 ; 野崎昭弘 [ほか] 共訳
2
418.6||H9-2A||2
932025934
理工学部 情報系
コンパイラの理論と実現 / 疋田輝雄, 石畑清著
418.6||H56-2
932019339
理工学部 情報系
プログラミング言語Turing : 言語仕様の基礎理論と設計技法 / R・C・ホルト[ほか]著 ; 松田元彦[ほか]訳
418.6||H59-2
932019447
理工学部 情報系
エキスパートシステムズ / P.ハーモン, D.キング共著 ; 諏訪基監訳
418.6||H63
932025924
理工学部 情報系
エキスパートシステムズ / P.ハーモン, D.キング共著 ; 諏訪基監訳
418.6||H63
932025935
理工学部 情報系
SQL入門 / 平尾隆行著
418.6||H65-2
932019794
理工学部 情報系
エキスパートシステムのための知識獲得ハンドブック / A・ハート著 ; 神林靖訳
418.6||H69-1A
932020332
理工学部 情報系
百科*コンピュータの基礎知識 / 土居範久, 筧捷彦編
418.6||H71
932022955
理工学部 情報系
Cによるプログラミング・スタイルブック / 林晴比古著
418.6||H76-3
932020323
理工学部 情報系
HITACユーザのためのコンピュータ利用法 / 長谷川秀彦編著
418.6||H105
932018904
理工学部 情報系
多言語による構造化プログラミング入門 / 樋渡幸次著
418.6||H113
932018899
理工学部 情報系
コネクションマシン : 65,536台のプロセッサから構成される超並列コンピュータ / ダニエル・ヒリス著 ; 喜連川優著訳
418.6||H114
932022884
理工学部 情報系
構成的プログラミングの基礎 / 林晋, 小林聡共著
418.6||H119
932022921
理工学部 情報系
知的インタフェイス : 人とマシンとの知的相互作用 / P. A. ハンコック, M. H. チグネル共編 ; 長町三生監修 ; 認知科学研究会訳
418.6||H122
932020868
理工学部 情報系
コンピュータウィルスの安全対策 / 細貝康夫著
418.6||H123
932021443
理工学部 情報系
PADプログラミング入門 / 服部雄一著
418.6||H128
932019395
理工学部 情報系
Network flow, transportation and scheduling : theory and algorithms / Masao Iri
418.6||I10
932027413
理工学部 情報系
新しい計算機アーキテクチャ / 飯塚肇編 ; 阿江忠 [ほか] 共著
418.6||I27-2
932020412
理工学部 情報系
プログラミング言語の新潮流 / 井田哲雄著
418.6||I39
932019798
理工学部 情報系
プログラムの基礎理論 / 佐藤雅彦, 桜井貴文 [共著]
418.6||I41||13
932017480
理工学部 情報系
知識と推論 / 長尾真 [著]
418.6||I41||14
932017481
理工学部 情報系
ソフトウェア工学入門 / 石井康雄著
418.6||I48
932022888
理工学部 情報系
アーキテクチャとハードウェアの構成 / 板野肯三著
418.6||I49
932018844
理工学部 情報系
occam2リファレンスマニュアル / インモス社編 ; 國井利泰, 白川功監修 ; 出口弘, 荒木俊郎, 世古忠訳
418.6||I55
932019394
理工学部 情報系
数値計算法 / 大川善邦著
418.6||J9||7
932027224
理工学部 情報系
基礎概念 / D. E. Knuth著 ; 廣瀬健訳
418.6||K4-1A||1
932024789
理工学部 情報系
情報構造 / D. E. Knuth著 ; 米田信夫, 筧捷彦訳
418.6||K4-1A||2
932024790
理工学部 情報系
乱数 / D. E. Knuth著 ; 渋谷政昭訳
418.6||K4-1A||3
932024791
理工学部 情報系
算術演算 / D. E. Knuth著 ; 中川圭介訳
418.6||K4-1A||4
932024792
理工学部 情報系
データベース編成技法 / 國友義久著
418.6||K37-4
932019793
理工学部 情報系
ソフトウェア作法 / Brian W. Kernighan, P.J. Plauger著 ; 木村泉訳
418.6||K42-2
038015486
理工学部 情報系
プログラム書法 / Brian W. Kernighan, P.J. Plauger著 ; 木村泉訳
418.6||K42-3
932020862
理工学部 情報系