close
1.

図書
図書
1. ソフトウェアのテスト技法
玉井哲雄 [ほか] 著
出版情報: 東京 : 共立出版, 1988.1  vi, 182p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 13
所蔵情報: loading…
2.

図書
図書
2. 構造エディタ
原田賢一編
出版情報: 東京 : 共立出版, 1987.4  vii,198p ; 22cm
所蔵情報: loading…
3.

図書
図書
3. PC-9801E+Fデータファイル活用法 : NEC
ナツメ社編集部編著
出版情報: 東京 : ナツメ社, 1984.5  251,12p ; 22cm
所蔵情報: loading…
4.

図書
図書
4. パソコンによる動的システムとシミュレーション
松坂知行著
出版情報: 東京 : 工学図書, 1986.4  iii, 187p ; 21cm
所蔵情報: loading…
5.

図書
図書
5. ザ・BASIC
戸川隼人著
出版情報: 東京 : サイエンス社, 1987.2  v, 197p ; 21cm
シリーズ名: NSライブラリ ; 2
所蔵情報: loading…
6.

図書
図書
6. 実録!天才プログラマー
スーザン・ラマース, マイクロソフトプレス編 ; 岡和夫訳
出版情報: 東京 : アスキー, 1987.2  407p ; 21cm
所蔵情報: loading…
7.

図書
図書
7. 構造的プログラム設計の原理
Michael A. Jackson著 ; 鳥居宏次訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1980.5  xvii, 318p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 42
所蔵情報: loading…
8.

図書
図書
8. 品質と生産性を重視したソフトウェア開発プロジェクト技法 : 見積り・設計・テストの効果的な構造化
Tom DeMarco著 ; 渡辺純一訳
出版情報: 東京 : 近代科学社, 1987.6  xiv, 326p ; 22cm
所蔵情報: loading…
9.

図書
図書
9. プログラミングの考えかた
土居範久, 筧捷彦著
出版情報: 東京 : 岩波書店, 1987.9  viii, 171p ; 25cm
シリーズ名: コンピュータ入門 ; 1
所蔵情報: loading…
10.

図書
図書
10. パソコン情報処理学 : 調査・実験のためのBASIC
村田宏雄著
出版情報: 東京 : 勁草書房, 1984.10  xii, 358p ; 22cm
所蔵情報: loading…
11.

図書
図書
11. Micro-PROLOG : はじめてのプログラミング
H・ド・サラム著 ; 倉田和彦,山田和美訳
出版情報: 東京 : 啓学出版, 1986.11  189p ; 21cm
所蔵情報: loading…
12.

図書
図書
12. 農学・生物学のためのコンピュータ応用
高倉直 [ほか] 共著
出版情報: 東京 : オーム社, 1983.11  v, 279p ; 22cm
所蔵情報: loading…
13.

図書
図書
13. プログラマーのためのPascalによる再帰法テクニック
J.S.ロール著 ; 荒実,玄光男共訳
出版情報: 東京 : 啓学出版, 1987.7  x, 260p ; 21cm
所蔵情報: loading…
14.

図書
図書
14. パーソナルコンピュータへの誘い : 人文・社会科学系のあなたのために…
平野秀秋, 盛田常夫編
出版情報: 東京 : 法政大学出版局, 1987.7  viii, 413p ; 26cm
所蔵情報: loading…
15.

図書
図書
15. OCCAMプログラミングマニュアル
INMOS Limited〔編〕
出版情報: 東京 : 啓学出版, 1984.5  1冊 ; 23cm
所蔵情報: loading…
16.

図書
図書
16. ザ・C
戸川隼人著
出版情報: 東京 : サイエンス社, 1987.9  179p ; 21cm
シリーズ名: NSライブラリ ; 4
所蔵情報: loading…
17.

図書
図書
17. 系統的プログラミング入門. 第2版補訂
N. Wirth [著] ; 野下浩平, 筧捷彦, 武市正人共訳
出版情報: 東京 : 近代科学社, 1986.1  x, 193p ; 21cm
所蔵情報: loading…
18.

図書
図書
18. LOGOトレーニングブック : FM Logo Ver.2.0
ロジカLogo Tool Kit開発チーム著
出版情報: 東京 : 技術評論社, 1985.5  219p ; 22cm
シリーズ名: Software technology ; 4
所蔵情報: loading…
19.

図書
図書
19. システム設計の構造化手法 : データフロー・ダイヤグラム,データ・ディクショナリ,疑似コード
Brian Dickinson著 ; 黒田純一郎, 渡部研一共訳
出版情報: 東京 : 日経マグロウヒル社, 1987.2  290p ; 27cm
所蔵情報: loading…
20.

図書
図書
20. OS-9テクニカルガイド : FM7・NEW7・77・8 (初級編 ; 中級編)
後藤田昌男 [ほか] 著
出版情報: 東京 : 技術評論社, 1984.6-1985.1  冊 ; 26cm
所蔵情報: loading…
21.

図書
図書
21. エンジニアリングサイエンスのための有限要素法 (理論編 ; プログラム編)
水本久夫, 原平八郎共著
出版情報: 東京 : 森北出版, 1983.1  2冊 ; 22cm
所蔵情報: loading…
22.

図書
図書
22. 第五世代コンピュータ入門
古川康一 [ほか] 共著
出版情報: 東京 : オーム社, 1987.1  179p ; 22cm
所蔵情報: loading…
23.

図書
図書
23. 論理による問題の解法 : Prolog入門
R. コワルスキ著 ; 山田眞市, 菊池光昭, 桑野龍夫訳
出版情報: 東京 : 培風館, 1987.3  xv, 397p ; 22cm
シリーズ名: 情報処理シリーズ ; 8
所蔵情報: loading…
24.

図書
図書
24. アルゴリズムと計算可能性
五十嵐善英著
出版情報: 東京 : 昭晃堂, 1987.4  165p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 32
所蔵情報: loading…
25.

図書
図書
25. 統合化プログラミング環境 : Smalltalk-80とInterlisp-D
上谷晃弘編著
出版情報: 東京 : 丸善, 1987.1  354p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
26.

図書
図書
26. コンカレントCP/M入門
石田晴久著
出版情報: 東京 : 岩波書店, 1986.9  9, 259p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
27.

図書
図書
27. コンピュータユーザーズ・マニュアルの書き方
Susan J.Grimm〔著〕 ; 松本俊次訳
出版情報: 東京 : 日刊工業新聞社, 1986.6  231p ; 21cm
所蔵情報: loading…
28.

図書
図書
28. プログラミング原論 : いかにしてプログラムをつくるか
E. W. ダイクストラ著 ; 浦昭二 [ほか] 共訳
出版情報: 東京 : サイエンス社, 1983.3  xi, 252p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 42
所蔵情報: loading…
29.

図書
図書
29. アートとしてのソフトウェア : 機能と表現の考え方
ポール・ヘッケル著 ; 酒井邦秀訳
出版情報: 東京 : アスキー, 1986.9  207p ; 21cm
シリーズ名: 海外ブックス
所蔵情報: loading…
30.

図書
図書
30. PL/I-FORTRAN77による基本算法とプログラム
清水留三郎著
出版情報: 東京 : サイエンス社, 1983.2  vi, 239p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 43
所蔵情報: loading…
31.

図書
図書
31. スーパーユーザーのためのUNIX
Eric Foxley著 ; 稲田恒夫訳
出版情報: 東京 : 日経マグロウヒル社, 1987.7  274p ; 22cm
所蔵情報: loading…
32.

図書
図書
32. パソコンで遊ぶ数学 : BASICの基礎からグラフィックスまで
木村良夫著
出版情報: 東京 : 講談社, 1986.12  192p ; 18cm
シリーズ名: ブルーバックス ; B-671
所蔵情報: loading…
33.

図書
図書
33. Cによる数値計算
竹本宜弘, 荒実著
出版情報: 東京 : 朝倉書店, 1987.10  vi, 250p ; 21cm
所蔵情報: loading…
34.

図書
図書
34. ユーザ・読み手の心をつかむマニュアルの書き方
海保博之 [ほか] 著
出版情報: 東京 : 共立出版, 1987.9  vii, 197p ; 21cm
所蔵情報: loading…
35.

図書
図書
35. UNIXシステムコール・プログラミング
Marc J. Rochkind著 ; 福崎俊博訳
出版情報: 東京 : アスキー, 1987.11  406p ; 21cm
シリーズ名: 海外ブックス
所蔵情報: loading…
36.

図書
図書
36. マイコンで描く玩具・遊具・遊園地機械の動き
安井厚著
出版情報: 東京 : 安井厚, 1987.11  87p ; 22cm
所蔵情報: loading…
37.

図書
図書
37. Z-80アセンブラプログラミング : 入門と演習
水上孝一 [ほか] 共著
出版情報: 東京 : 朝倉書店, 1985.4  vii, 272p ; 21cm
シリーズ名: プログラミング入門シリーズ ; 4
所蔵情報: loading…
38.

図書
図書
38. PASCAL. 第3版
K.イェンゼン, N.ヴィルト著 ; A.B.ミケル, J.F.マイナー改訂 ; 原田賢一訳
出版情報: 東京 : 培風館, 1988.1  x, 243p ; 22cm
シリーズ名: 情報処理シリーズ ; 2
所蔵情報: loading…
39.

図書
図書
39. Common Lispハンドブック
湯浅太一, 萩谷昌己編
出版情報: 東京 : 岩波書店, 1987.7  xvii, 299p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
40.

図書
図書
40. CP/M-68KのOS運用ガイド/ サイバネテック著 (part1 ; part2)
Saibanetekku
出版情報: 東京 : 誠文堂新光社, 1984-1985  冊 ; 21cm
シリーズ名: パソコンユーザのための実用プログラムテクニック
所蔵情報: loading…
41.

図書
図書
41. ソフトウェアの構造化設計法
Yourdon,Constantine著 ; 原田実,久保未沙訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xviii,544p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 36
所蔵情報: loading…
42.

図書
図書
42. 人工知能プログラミング
Charniak [ほか] 著 ; 白井英俊, 片桐恭弘訳
出版情報: 東京 : 日本コンピュータ協会, 1986.10  xvi, 393p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 49
所蔵情報: loading…
43.

図書
図書
43. プログラミング・プロジェクトの管理. 第2版
P.W.メツガー著 ; 下田正昭, 久保未沙共訳
出版情報: 東京 : 近代科学社, 1987.4  x, 269p ; 22cm
所蔵情報: loading…
44.

図書
図書
44. プログラム変換法 : PC-9801・N88-BASICをFORTRAN77へ自動変換
新ヶ江登美夫著
出版情報: 東京 : 森北出版, 1987.5  viii, 162p ; 26cm
所蔵情報: loading…
45.

図書
図書
45. Common Lispドリル
湯浅太一著
出版情報: 東京 : 岩波書店, 1987.7  xii, 286p ; 21cm
シリーズ名: 岩波コンピュータサイエンス
所蔵情報: loading…
46.

図書
図書
46. Pascalプログラミング講義
森口繁一 [ほか] 共著
出版情報: 東京 : 共立出版, 1982.8  4, 192p ; 21cm
所蔵情報: loading…
47.

図書
図書
47. 新世代プログラミング
淵一博, 黒川利明編著
出版情報: 東京 : 共立出版, 1986.2  6, 234p ; 21cm
所蔵情報: loading…
48.

図書
図書
48. 並行処理とUNIX : Concurrent EUCLID, UNIX, TUNIS
リチャード・C.ホルト著 ; 大野豊監訳
出版情報: 東京 : 啓学出版, 1985.10  342p ; 22cm
所蔵情報: loading…
49.

図書
図書
49. 考えるコンピュータ : 人間の脳に近づく機械
R.C.シャンク著 ; 石崎俊訳
出版情報: 東京 : ダイヤモンド社, 1985.11  x, 316p ; 20cm
所蔵情報: loading…
50.

図書

東工大
目次DB
図書
東工大
目次DB
50. 現代システムプログラムの基礎
萩原宏, 有山正孝編著
出版情報: 東京 : オーム社, 1984.5  vi, 183p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1章 計算機システムとオペレーティングシステム
   1・1 ハードウェア資源 1
   1・2 プログラミング言語と言語処理プログラム 4
   〔1〕 プログラムと機械語 4
   〔2〕 アセンブラ 6
   〔3〕 コンパイラ 7
   1・3 システムの制御 9
   1・4 オペレーティングシステム 12
   演習問題 14
   参考文献 14
2章 コンパイラ
   2・1 コンパイラのあらまし 15
   〔1〕 コンパイラとは 15
   〔2〕 コンパイラの構成 16
   2・2 字句解析 20
   〔1〕 文字続取り 21
   〔2〕 文句続取り 22
   2・3 文脈自由文法 26
   〔1〕 代入文の文法 27
   〔2〕 文脈自由文法の形式的定義 29
   2・4 構文解析 31
   〔1〕 構文解析結果の表し方 31
   〔2〕 演算子順位による構文解析 33
   〔3〕 構文指示翻訳 42
   2・5 意味解析とコード生成 48
   〔1〕 記号表 49
   〔2〕 目的コード生成の方法 50
   2・6 最適化 53
   2・7 種々の言語処理系 55
   〔1〕 インタプリタ 56
   〔2〕 アセンブラ 58
   演習問題 59
   参考文献 60
3章 オペレーティングシステム
   3・1 オペレーティングシステムの構成 61
   〔1〕 オペレーティングシステムの構成 61
   3・2 プログラムの実行 64
   〔1〕 プログラムのロード 64
   〔2〕 コマンド 65
   〔3〕 プログラムの作成から実行まで 66
   3・3 データ入出力とデータセット 70
   〔1〕 データ入出力の対象の切替え 70
   〔2〕 統一的処理の実現方法 71
   〔3〕 アクセス法とデータセットの編成 73
   〔4〕 データセットの作成と管理 77
   3・4 データ入出力の実行と割込み 80
   〔1〕 入出力と演算 80
   〔2〕 入出力割込みによるデータ入出力 83
   〔3〕 割込みの取扱い 87
   3・5 多重プログラミングとタスク 91
   〔1〕 多重プログラミングとタスク 91
   〔2〕 タスクのスイッチング 94
   〔3〕 記憶管理と仮想記憶 98
   〔4〕 タスク間の連絡とタスク割込み 102
   3・6 情報の保護 107
   〔1〕 信頼性 107
   〔2〕 データセットの共用と機密保護 108
   〔3〕 インテグリティ 110
   3・7 処理の形態 112
   〔1〕 ジョブ実行の方式 112
   〔2〕 その他 116
   演習問題 120
   参考文献 120
4章 データベースシステム
   4・1 データベースシステムの基本概念 121
   〔1〕 データベースシステムの成立 121
   〔2〕 データベースシステムの機能と役割 123
   〔3〕 データベースシステムの構成 124
   4・2 データベースシステムの理論と実際例 130
   〔1〕 関係モデル 130
   〔2〕 関係モデルにおけるデータ操作 132
   〔3〕 関係モデルにおけるデータベース用言語 133
   〔4〕 データベースの論理設計と正規型 137
   4・3 データベースの物理的構成法 140
   〔1〕 データ間の関連づけ 140
   〔2〕 データ植による探索 141
   〔3〕 実現上の問題 144
   4・4 データベースシステムの新しい技術 145
   〔1〕 分散処理 145
   〔2〕 より使いやすい多様なシステム 147
   演習問題 147
   参考文献 148
5章 分散処理とネットワーク
   5・1 データ通信システムの構成 149
   〔1〕 データ伝送とデータ通信 149
   〔2〕 データ通信システムの構成 149
   〔3〕 データ通信のプロトコル 151
   〔4〕 通信回線網の現状 152
   〔5〕 回線交換方式 152
   〔6〕 パケット交換方式 153
   5・2 通信処理 154
   〔1〕 コンピュータシステムの通信機能 154
   〔2〕 通信機能の仮想化 155
   〔3〕 通信処理プロトコル 156
   〔4〕 通信プロセッサ 156
   〔5〕 ネットワークオペレーティングシステム 157
   5・3 ネットワークアーキテクチャ 157
   〔1〕 分散処理と通信プロトコル 158
   〔2〕 分散処理における階層化構造と通信 159
   〔3〕 階層化技法の導入 159
   〔4〕 OSI参照モデル 160
   〔5〕 通信の手順 161
   〔6〕 CCITT勧告X.25プロトコル 163
   演習問題 164
   参考文献 164
   問題解答 164
   付録 173
   索引 179
1章 計算機システムとオペレーティングシステム
   1・1 ハードウェア資源 1
   1・2 プログラミング言語と言語処理プログラム 4
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼