close
1.

図書

図書
大藪多可志著
出版情報: 東京 : 東海大学出版会, 2000.5  ix, 234p ; 21cm
所蔵情報: loading…
2.

図書

図書
村本正生著
出版情報: 東京 : 培風館, 2000.4  v, 167p ; 26cm
所蔵情報: loading…
3.

図書

図書
畑中勝守, 前野賀彦編著
出版情報: 京都 : ナカニシヤ出版, 2000.4  vii, 165p ; 26cm
所蔵情報: loading…
4.

図書

図書
雨宮真人著
出版情報: 東京 : 岩波書店, 2000.7  xii, 158p ; 21cm
シリーズ名: 岩波講座現代工学の基礎 ; 情報系 ; 4
所蔵情報: loading…
5.

図書

図書
立花隆 [ほか] 著
出版情報: 東京 : 新潮社, 2000.7  305p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
サイバーユニヴァーシティの試み / 立花隆 [著]
情報原論 / 立花隆 [著]
コンピュータのしくみ / 南谷崇 [著]
コンピュータの歴史 / 橋本毅彦 [著]
デジタル産業革命 / 児玉文雄 [著]
ネットワーク社会の将来 / 安田浩 [著]
オープンソースという新しい流れ / 立花隆ゼミ [著]
サイバーユニヴァーシティの試み / 立花隆 [著]
情報原論 / 立花隆 [著]
コンピュータのしくみ / 南谷崇 [著]
6.

図書

図書
Justin Zobel著 ; 黒川利明, 黒川容子訳
出版情報: 東京 : 朝倉書店, 2000.10  viii, 177p ; 21cm
所蔵情報: loading…
7.

図書

図書
矢向高弘, 村上俊之, 大西公平著
出版情報: 東京 : 朝倉書店, 2000.10  vi, 194p ; 21cm
シリーズ名: 数理工学基礎シリーズ / 廣田薫[ほか]監修 ; 5
所蔵情報: loading…
8.

図書

図書
倉田敬子編
出版情報: 東京 : 勁草書房, 2000.11  vii, 225p ; 22cm
所蔵情報: loading…
9.

図書

東工大
目次DB

図書
東工大
目次DB
上原三八 [ほか] 著
出版情報: 東京 : 共立出版, 2000.12  xi, 205p ; 22cm
シリーズ名: ソフトウェアテクノロジーシリーズ ; 6 . アーキテクチャとドメイン指向トラック||アーキテクチャ ト ドメイン シコウ トラック
所蔵情報: loading…
目次情報: 続きを見る
第I部 ソフトウェア保守の技術と実践 1
第1章 ソフトウェア保守の枠組み 3
   1.1 保守の種類 3
   1.1.1 システムの欠陥に対応するための保守 3
   1.1.2 システムの機能を維持するための保守 4
   1.1.3 システムを改善するための保守 6
   1.2 用語とその意味 7
   1.3 保守のプロセス 10
   1.4 保守ツールへの要求 14
   1.4.1 変更要求の作成 14
   1.4.2 プログラム理解 15
   1.4.3 設計の修正 16
   1.4.4 ソースコードの修正 16
   1.4.5 検証 17
   1.5 保守の課題 17
   1.5.1 設計ドキュメントの整備 17
   1.5.2 保守計画 18
第2章 ソフトウェア保守の基礎技術 21
   2.1 プログラム理解モデル 22
   2.2 プログラム理解の自動化 24
   2.3 プログラム依存性解析 26
   2.3.1 依存関係の種類 27
   2.3.2 表現の粒度 28
   2.4 変数分類 33
   2.4.1 有効な分類カテゴリ 34
   2.4.2 変数分類の技術 35
   2.4.3 変数分類の保守への応用 36
   2.5 プログラムスライシング 38
   2.5.1 プログラムスライシングとは 38
   2.5.2 汎化プログラムスライシング 39
   2.5.3 スライスに対する集合演算 49
   2.6 波及効果分析 51
第3章 より進んだソフトウェア保守技術 59
   3.1 変数の影響検索 59
   3.2 業務仕様の抽出 63
   3.2.1 業務ルール抽出基準 64
   3.2.2 業務仕様抽出のプロセス 65
   3.2.3 汎化スライシングによるソースコード抽出 68
   3.2.4 業務仕様の表現方法 72
   3.2.5 プログラムからの公式表現の生成 73
   3.3 VSAMからSQLへのリエンジニアリング 74
   3.3.1 VSAMコンポーネントの自動識別 76
   3.3.2 スキーマ変換 78
   3.3.3 VSAM操作の変換 79
   3.3.4 検証 93
第4章 ソフトウェア保守の実践 95
   4.1 資産整理 95
   4.1.1 背景 95
   4.1.2 稼働資産分析の方法 95
   4.1.3 資産特性分の方法 97
   4.1.4 事例における実施方法 100
   4.1.5 効果 101
   4.2 データ項目名の再標準化 101
   4.2.1 背景 101
   4.2.2 データ項目名の整理の方法 102
   4.2.3 事例における実施方法と効果 106
   4.3 プログラム仕様書生成 108
   4.3.1 背景 108
   4.3.2 プログラム仕様書生成の方法 109
   4.3.3 事例における実施方法と効果 112
   4.4 再構築における既存資産の再利用 114
   4.4.1 背景 114
   4.4.2 再構築のための再利用技術 115
   4.4.3 システム相関分析 117
   4.4.4 システムの再利用 118
   4.4.5 プログラムの再利用 120
   4.4.6 プログラム部分の再利用 121
   4.4.7 データ仕様の再利用 122
   4.4.8 事例における実施方法と効果 122
   4.5 西暦2000年問題修正 127
   4.5.1 背景 127
   4.5.2 事例における実施方法 127
第II章 システム革新の方法 133
   第5章 オブジェクト指向システムへの革新 135
   5.1 オブジェクト指向へ移行するための課題 136
   5.2 開発プロセスと成果物 137
   5.2.1 開発プロセス 137
   5.2.2 成果物 139
   5.2.3 例題 140
   5.3 システム設計 146
   5.3.1 責務の割り当て 146
   5.3.2 機能設計の比較 150
   5.3.3 オブジェクト指向が難しい理由 152
   5.4 従来システムの利用 153
   5.5 従来システムの比較 155
   5.5.1 オブジェクト指向クライアント/サーバシステムの構造 155
   5.5.2 メインフレーム型システムの構造 158
   第6章 ワークフロー管理システム 161
   6.1 ワークフロー管理システムの概要 162
   6.2 ワークフロー管理システムへ移行するための課題 165
   6.3 適用業務とツールの選択 166
   6.4 要素技術 168
   6.5 従来システムとの比較 170
   6.6 ワークフロー管理システムへの移行の留意点 171
   第7章 エンタープライズモデリング 173
   7.1 エンタープライズモデル 174
   7.2 エンタープライズモデルの用途 177
   7.3 モデル化技術 178
   7.4 その他の研究 181
   7.4.1 ARIS 181
   7.4.2 IDEF0 182
   7.4.3 RM-ODP 185
   第8章 ソフトウェア保守の今後 187
付録 ソフトウェア保守の研究 189
   付1 Rigi プロジェクト 189
   付2 Software Refinery 191
   付3 DPUTE プロジェクト 192
   付4 その他のプロジェクト 193
参考文献 197
索引 203
第I部 ソフトウェア保守の技術と実践 1
第1章 ソフトウェア保守の枠組み 3
   1.1 保守の種類 3
10.

図書

図書
神奈川工科大学電子計算センター編
出版情報: 東京 : 昭晃堂, 1999.4  ix, 223p ; 26cm
所蔵情報: loading…
11.

図書

図書
青山満, 新田光重共著
出版情報: 東京 : 昭晃堂, 1999.4  ii, iv, 174p ; 26cm
所蔵情報: loading…
12.

図書

図書
一瀬益夫編著
出版情報: 東京 : 同友館, 1999.4  xiv, 233p ; 21cm
所蔵情報: loading…
13.

図書

図書
ジュリアン・ウォーナー著 ; 高山正也, 柳与志夫監訳 ; 上保佳穂, 鎌倉治子, 河合美穂訳
出版情報: 東京 : 勁草書房, 1999.6  xii, 175p ; 22cm
所蔵情報: loading…
14.

図書

図書
常深信彦編著
出版情報: 東京 : オーム社, 1999.8  xiii, 199p ; 21cm
シリーズ名: アルテ21
所蔵情報: loading…
15.

図書

図書
平川正人著
出版情報: 東京 : 共立出版, 1999.10  viii, 176p ; 22cm
シリーズ名: ソフトウェアテクノロジーシリーズ ; 10 . ネットワークとマルチメディアトラック||ネットワーク ト マルチメディアトラック
所蔵情報: loading…
16.

図書

図書
佐々木良一, 矢島敬士著
出版情報: 東京 : 日本理工出版会, 1999.12  vi, 154p ; 26cm
所蔵情報: loading…
17.

図書

図書
天野英晴, 西村克信共著
出版情報: 東京 : 培風館, 2001.10  vii, 217p ; 26cm
所蔵情報: loading…
18.

図書

図書
平澤茂一著
出版情報: 東京 : 培風館, 2001.10  vi, 230p ; 22cm
所蔵情報: loading…
19.

図書

図書
飯塚肇, 甲斐宗徳共著
出版情報: 東京 : 丸善, 2001.11  xi, 204p ; 21cm
シリーズ名: 電気・電子・情報・通信基礎コース
所蔵情報: loading…
20.

図書

図書
三好俊郎 [ほか] 共著
出版情報: 東京 : 培風館, 2001.11  v, 114p ; 22cm
シリーズ名: 計算力学とCAEシリーズ ; 14
所蔵情報: loading…
21.

図書

図書
布広永示, 菅澤喜男共著
出版情報: 東京 : コロナ社, 2001.9  vii, 172p ; 21cm
シリーズ名: 情報・技術経営シリーズ ; 6
所蔵情報: loading…
22.

図書

図書
菊沢正裕, 山川修, 田中武之共著
出版情報: 東京 : 森北出版, 2001.9  iv, 183p ; 22cm
所蔵情報: loading…
23.

図書

図書
村上則夫著
出版情報: 京都 : 松籟社, 1997.4  245p ; 20cm
所蔵情報: loading…
24.

図書

図書
竹田仁, 浜田直道, 福田千代子著
出版情報: 東京 : 日本理工出版会, 1997.5  ix, 368p ; 26cm
所蔵情報: loading…
25.

図書

図書
戸川隼人著
出版情報: 東京 : 培風館, 1970.9  129p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 1-1-A
所蔵情報: loading…
26.

図書

図書
三本木茂夫, 吉村信敏著
出版情報: 東京 : 培風館, 1970.9  v, 252p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 1-1-B
所蔵情報: loading…
27.

図書

図書
成岡昌夫, 遠田良喜著
出版情報: 東京 : 培風館, 1970.10  vi, 196p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; I-2-B
所蔵情報: loading…
28.

図書

図書
平野菅保[ほか]著
出版情報: 東京 : 培風館, 1971.6  iv, 205p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-1-A
所蔵情報: loading…
29.

図書

図書
成岡昌夫[ほか]著
出版情報: 東京 : 培風館, 1971.6  viii, 304p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-1-B
所蔵情報: loading…
30.

図書

図書
山田嘉昭著
出版情報: 東京 : 培風館, 1972.5  iv, 240p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-2-A
所蔵情報: loading…
31.

図書

図書
信原泰夫, 桜井達美, 吉村信敏著
出版情報: 東京 : 培風館, 1972.5  iv, 193p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-2-B
所蔵情報: loading…
32.

図書

図書
宮本博著
出版情報: 東京 : 培風館, 1972.2  v, 128p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-3-B
所蔵情報: loading…
33.

図書

図書
河島佑男著
出版情報: 東京 : 培風館, 1972.7  v, 174p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-4-A
所蔵情報: loading…
34.

図書

図書
藤野勉著
出版情報: 東京 : 培風館, 1972.7  iv, 257p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-4-B
所蔵情報: loading…
35.

図書

図書
山本善之, 山田善一著
出版情報: 東京 : 培風館, 1972.9  iv, 173p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-5-B
所蔵情報: loading…
36.

図書

図書
田中尚, 中村雄治著
出版情報: 東京 : 培風館, 1973.6  vi, 177p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-7-B
所蔵情報: loading…
37.

図書

図書
C.ウィリアム・ギヤ著 ; 藤井純訳
出版情報: 東京 : 産業図書, 1972.8  14, 424p ; 22cm
シリーズ名: コンピュータ・サイエンス翻訳選書 ; 1
所蔵情報: loading…
38.

図書

図書
川股重也著
出版情報: 東京 : 培風館, 1974.10  vi, 148p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 2-6-A
所蔵情報: loading…
39.

図書

図書
富田眞治, 末吉敏則共著
出版情報: 東京 : オーム社, 1989.5  x, 236p ; 22cm
シリーズ名: コンピュータアーキテクチャシリーズ / コンピュータシステム研究専門委員会監修 ; 電子情報通信学会編
所蔵情報: loading…
40.

図書

図書
赤攝也 [ほか] 訳
出版情報: 東京 : 共立出版, 1989.7  xvi, 578p ; 23cm
所蔵情報: loading…
41.

図書

図書
高橋義造編 ; 天野英晴 [ほか] 共著
出版情報: 東京 : 丸善, 1989.8  xi, 272p ; 22cm
シリーズ名: Maruzen advanced technology / 菅野卓雄 [ほか] 編集 ; 電子・情報・通信編 I01
所蔵情報: loading…
42.

図書

図書
Philip H. Enslow,Jr.編 ; 村岡洋一訳
出版情報: 東京 : 近代科学社, 1976.9  xii, 354p ; 22cm
所蔵情報: loading…
43.

図書

図書
向殿政男編 ; 秋田雄志 [ほか] 共著
出版情報: 東京 : 丸善, 1989.9  xiv, 248p ; 22cm
シリーズ名: Maruzen advanced technology / 菅野卓雄 [ほか] 編集 ; 電子・情報・通信編 I02
所蔵情報: loading…
44.

図書

東工大
目次DB

図書
東工大
目次DB
佐々政孝 [著]
出版情報: 東京 : 岩波書店, 1989.10  xxiii, 602p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 5
所蔵情報: loading…
目次情報: 続きを見る
ソフトウェア科学を学ぶために
まえがき
学習の手引き
1 言語処理系とそのなかま
   1.1 プログラム言語とその処理 2
   1.2 コンパイラのなかま 7
   1.3 コンパイラとプログラミング環境 10
   第1章のまとめ・演習問題1 12
2 コンパイラのあらまし
   2.1 コンパイラの構成 16
   (a) 字句解析 19
   (b) 記号表 22
   (c) 構文解析 24
   (d) 意味解析 34
   (e) 中間コード生成 37
   (f) 最適化 41
   (g) コード生成 43
   2.2 誤り処理とエラーメッセージ 45
   2.3 コンパイラの物理の構造 47
   (a) パス 47
   (b) コンパイラのさまざまな構成 49
   (c) フロントエンドとバックエンド 50
   2.4 コンパイラ生成系 51
   第2章のまとめ・演習問題2 53
3 字句解析
   3.1 字句解析のあらまし 56
   3.2 正規表現と有限オートマトン 58
   (a) 正規表現 58
   (b) 有限オートマトン 61
   (c) 正規表現から非決定性有限オートマトンへ 64
   (d) 非決定性有限オートマトンから決定性有限オートマトンへ 67
   (e) 決定性オートマトンの状態数の最小化 70
   3.3 字句解析器 73
   (a) 字句解析器の構成 73
   (b) 文字読取り器 74
   (c) 文字読取り器の効率化 77
   (d) 字句読取り器 80
   (e) 字句読取り器の効率化 88
   (f) 字句読取り器についての補足 88
   3.4 字句解析における誤り処理 89
   3.5 字句解析器生成系 90
   第3章のまとめ・演習問題3 93
4 構文解析
   4.1 構文解析のあらまし 98
   4.2 文脈自由文法と構文の記述 99
   (a) 文脈自由文法 99
   (b) 導出と還元 106
   (c) 解析木 108
   (d) 文法のあいまいさ,演算子の優先順位と結合性 110
   (e) 正規右辺文法 118
   4.3 種々の構文解析法と構文誤り処理 120
   (a) 文脈自由文法と構文解析法との関係 120
   (b) 構文解析器と他のフェーズとの協同 122
   (c) 構文誤りの処理 123
   4.4 下向き構文解析 126
   (a) 後戻りつき下向き構文解析 126
   (b) 下向き構文解析の問題点 129
   (c) 予測的構文解析 136
   (d) 後戻りなしの再帰降下構文解析 137
   (e) 非再帰予測的構文解析 144
   (f) FIRST,FOLLOW,DIRECTOR集合と構文解析表の計算 148
   (g) LL(1)文法 157
   4.5 下向き構文解析における誤り処理 159
   4.6 上向き構文解析 161
   (a) シフト還元構文解析 162
   (b) 演算子順位構文解析 165
   (c) LR構文解析 170
   4.7 LR構文解析における誤り処理 206
   4.8 構文解析法の比較 209
   4.9 構文解析器生成系 211
   第4章のまとめ・演習問題4 217
5 意味解析
   5.1 意味解析のあらまし 222
   5.2 属性文法 223
   (a) 属性文法のあらまし 223
   (b) 属性評価 228
   (c) 属性文法の定義 231
   5.3 プログラム言語の意味解析 233
   (a) スコープ規則の意味解析 233
   (b) 宣言部の意味解析 241
   (c) 型の解析 249
   5.4 意味誤りの処理 255
   5.5 記号表とその処理 257
   (a) 記号表内の情報 257
   (b) 記号表の操作とデータ構造 259
   (c) 記号表における入れ子型スコープの扱い 268
   5.6 属性文法のクラスと属性評価 273
   (a) 非循環属性文法とその属性評価 274
   (b) 絶対非循環性文法とその属性評価 279
   (c) 1パス型の属性文法とその属性評価 284
   (d) 属性評価の最適化 296
   (e) 属性文法クラスの包含関係 299
   5.7 意味解析器生成系 301
   第5章のまとめ・演習問題5 306
6 実行時環境
   6.1 記憶管理 312
   (a) 実行時記憶 312
   (b) 活性レコード 314
   (c) 手続き呼出しと戻り時の処理 321
   6.2 非局所名の参照 325
   (a) 入れ子のあるブロックにおける名前の割当て 325
   (b) 入れ子の手続きでの非局所名の参照 326
   (c) 静的リンク法 327
   (d) ディスプレイ法 330
   6.3 パラメタの渡し方 333
   (a) 値呼び 334
   (b) 参照呼び 334
   6.4 記憶領域の動的割当て 336
   (a) 単一寸法の領域の動的記憶管理 337
   (b) 多種寸法の領域の動的記憶管理 338
   第6章のまとめ・演習問題6 342
7 中間コード生成
   7.1 中間コード生成のあらまし 348
   7.2 中間言語の種類 349
   (a) 抽象構文木とdag 349
   (b) 後置コード 355
   (c) 3番地コード,四つ組,三つ組 360
   (d) 本書で用いる拡張3番地コード 364
   7.3 代入文と配列の中間コード 367
   (a) 混合演算と型変換 368
   (b) 配列要素 370
   (c) レコード 372
   7.4 制御文と論理式の中間コード 373
   (a) 制御文の中間コード 373
   (b) 論理式の中間コード 375
   (c) 論理式の飛越し型中間コード 378
   7.5 手続き呼出しの中間コード 384
   7.6 中間コード生成の効率化 385
   (a) 意味規則の書換えによる効率化 385
   (b) バックパッチング 387
   第7章のまとめ・演習問題7 391
8 コード生成
   8.1 コード生成のあらまし 396
   (a) 中間言語と目的言語 396
   (b) 記憶割当ての時期 397
   (c) 命令の選択と目的コードの効率 398
   (d) レジスタ割当てと評価順序 399
   8.2 目的機械のモデル 401
   8.3 式のコード生成 402
   (a) 変数の参照 403
   (b) 配列やレコードの参照 404
   (c) 式の最適なコード 405
   8.4 文の列に対するコード生成 418
   (a) 諸定義 419
   (b) グラフ彩色によるレジスタ割当て 420
   (c) 一時名に対する記憶割当て 424
   (d) 基本ブロックのコード生成 425
   (e) 条件飛越しのコード生成 427
   (f) 手続き呼出しのコード生成 429
   8.5 コード生成器生成系 431
   (a) 木の書換え規則による代入文のコード生成の定式化 432
   (b) 木の下向きパタンマッチングによるコード生成 435
   (c) LR構文解析を利用するコード生成 438
   第8章のまとめ・演習問題8 439
9 コード最適化
   9.1 コード最適化のあらまし 442
   9.2 最適化の例 444
   (a) 代数的性質の利用 445
   (b) コピー伝播 445
   (c) 共通部分式の除去 446
   (d) 不要コードの除去 447
   (e) ループの最適化 447
   (f) インライン展開 451
   (g) パイプライン制御の考慮 452
   (h) その他の最適化 452
   9.3 基本ブロックの最適化 453
   9.4 基本ブロックを越える最適化 459
   (a) 制御フロー解析 460
   (b) ループ 461
   (c) データフロー解析 464
   (d) 最適化変換とコード生成器への情報渡し 465
   9.5 データフロー解析と各種最適化変換 465
   (a) 到達する定義 465
   (b) 構造的プログラム言語のデータフロー解析(到達する定義) 467
   (c) 一般のプログラムのデータフロー解析(到達する定義) 471
   (d) 利用可能式と大域的共通部分式の除去 476
   (e) 生存変数と不要コードの除去 480
   (f) データフロー方程式の分類 482
   (g) ループの最適化 483
   9.6 のぞき穴最適化 493
   9.7 その他の最適化手法 496
   第9章のまとめ・演習問題9 497
10 インタプリタ
   10.1 インタプリタの概念 502
   10.2 スタック仮想機械と後置コード 505
   (a) PL/0機械 505
   (b) PL/0コード 507
   (c) PL/0プログラムのPL/0コードへの翻訳 509
   10.3 インタプリタのプログラム 513
   (a) インタプリタの構成 513
   (b) PL/0インタプリタ 515
   (c) インタプリタの効率化 515
   第10章のまとめ・演習問題10 516
付録A 言語処理系の移植 519
付録B 生成系を用いたPL/0言語の処理系 525
演習問題の解答 553
参考書 583
索引 595
ソフトウェア科学を学ぶために
まえがき
学習の手引き
45.

図書

図書
M.フィスター著 ; 尾崎弘訳
出版情報: 東京 : 朝倉書店, 1960.8  xiv, 431p ; 22cm
所蔵情報: loading…
46.

図書

図書
井田昌之, 田中啓介共著
出版情報: 東京 : 丸善, 1990.3  x, 283p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
47.

図書

図書
坂村健編
出版情報: 東京 : 共立出版, 1988.6  vi, 158p ; 22cm
所蔵情報: loading…
48.

図書

図書
高橋茂著
出版情報: 東京 : 共立出版, 1988.5  x,294p ; 22cm
所蔵情報: loading…
49.

図書

図書
丸田力男, 西谷隆夫共著
出版情報: 東京 : 昭晃堂, 1988.8  ii, 4, 4, 216p ; 22cm
シリーズ名: ディジタル信号処理シリーズ / 辻井重男企画・編集 ; 第4巻
所蔵情報: loading…
50.

図書

図書
F.W.ビューフェ [ほか] 共著 ; 成岡昌夫訳
出版情報: 東京 : 培風館, 1972.7  xii, 527p ; 22cm
所蔵情報: loading…
51.

図書

図書
J.S. マーフィ著 ; 森口繁一監訳
出版情報: 東京 : 紀伊國屋書店, 1962.10  ii, 390p ; 23cm
所蔵情報: loading…
52.

図書

図書
L.ナシェルスキー著 ; 浦昭二, 北川節共訳
出版情報: 東京 : 培風館, 1969.1  ix, 273p ; 22cm
所蔵情報: loading…
53.

図書

図書
山谷正己著
出版情報: 東京 : オーム社, 1988.9  289p ; 27cm
シリーズ名: 図解コンピュータシリーズ / 江村潤朗監修
所蔵情報: loading…
54.

図書

図書
雨宮真人, 田中譲共著
出版情報: 東京 : オーム社, 1988.8  x, 299p ; 22cm
シリーズ名: 知識工学講座 ; 7
所蔵情報: loading…
55.

図書

図書
「プロンプト」編集部編
出版情報: 東京 : 日刊工業新聞社, 1988.6  186p ; 19cm
所蔵情報: loading…
56.

図書

図書
藤田広一著
出版情報: 東京 : 昭晃堂, 1971.3  313,3p ; 21cm
所蔵情報: loading…
57.

図書

図書
国沢, 清典(1915-)
出版情報: 東京 : ダイヤモンド社, 1965.9  vii, 272p ; 22cm
シリーズ名: 経営数学セミナー / 国沢清典責任編集 ; 2
所蔵情報: loading…
58.

図書

図書
米澤貞次郎, 大崎健次共編
出版情報: 東京 : 南江堂, 1968.8  12,345p ; 22cm
所蔵情報: loading…
59.

図書

図書
吉澤康文著
出版情報: 東京 : 昭晃堂, 1984.3  205p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 3
所蔵情報: loading…
60.

図書

図書
当麻喜弘著
出版情報: 東京 : 丸善, 1961  263p ; 19cm
シリーズ名: エンジニアスライブラリ
所蔵情報: loading…
61.

図書

図書
高須達著
出版情報: 東京 : 裳華房, 1967.11  x, 237p ; 22cm
所蔵情報: loading…
62.

図書

図書
神沼二真, 松本元編
出版情報: 東京 : 紀伊国屋書店, 1988.2  351p ; 20cm
所蔵情報: loading…
63.

図書

図書
吉岡良雄著
出版情報: 東京 : 森北出版, 1988.1  vi, 157p ; 22cm
所蔵情報: loading…
64.

図書

図書
シドニー・ファーンバック編 ; 長島重夫訳
出版情報: 東京 : パーソナルメディア, 1988.4  vii, 343p ; 22cm
所蔵情報: loading…
65.

図書

図書
信原泰夫, 桜井達美著
出版情報: 東京 : 培風館, 1970.10  iv, 126p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; I-2-A
所蔵情報: loading…
66.

図書

図書
L.E.フラー著 ; 田中穣二, 前田功雄共訳
出版情報: 東京 : サイエンス社, 1970.11  vi, 231p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 4
所蔵情報: loading…
67.

図書

図書
笹本光雄 [ほか] 共著
出版情報: 東京 : 地人書館, 1981.9  x, 281p ; 22cm
所蔵情報: loading…
68.

図書

図書
エドワード・ファイゲンバウム, パメラ・マコーダック著 ; 木村繁訳
出版情報: 東京 : ティビーエス・ブリタニカ, 1983.8  366p ; 20cm
所蔵情報: loading…
69.

図書

図書
萩原宏著
出版情報: 東京 : 朝倉書店, 1971.1  2, 6, 208p ; 22cm
シリーズ名: 電子計算機通論 / 萩原宏著 ; 2
所蔵情報: loading…
70.

図書

図書
萩原宏著
出版情報: 東京 : 朝倉書店, 1971.10  3, 8, 206p ; 22cm
シリーズ名: 電子計算機通論 / 萩原宏著 ; 3
所蔵情報: loading…
71.

図書

図書
萩原宏著
出版情報: 東京 : 朝倉書店, 1969.11  2, 5, 213 p ; 22cm
シリーズ名: 電子計算機通論 / 萩原宏著 ; 1
所蔵情報: loading…
72.

図書

図書
後藤玉夫著
出版情報: 東京 : 実教出版, 1987.9  212p ; 22cm
所蔵情報: loading…
73.

図書

図書
桜井恵三著
出版情報: 東京 : 槙書店, 1987.9  148p ; 22cm
所蔵情報: loading…
74.

図書

図書
大阪科学技術センターCIM研究会編 ; 長江貞彦 [ほか] 執筆
出版情報: 東京 : 共立出版, 1991.8  iv, 311p ; 22cm
所蔵情報: loading…
75.

図書

図書
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1991.9  301p ; 20cm
所蔵情報: loading…
76.

図書

図書
和田英一監修
出版情報: 東京 : 平凡社, 1992.1  91p ; 28cm
シリーズ名: サイエンスNow / 福井謙一総監修 ; 9
所蔵情報: loading…
77.

図書

図書
Alan Curtis Kay著 ; 鶴岡雄二翻訳 ; 浜野保樹監修
出版情報: 東京 : アスキー, 1992.3  230p, 図版[2]p ; 20cm
シリーズ名: ASCII books
所蔵情報: loading…
78.

図書

図書
奥川峻史著
出版情報: 東京 : 共立出版, 1992.10  ix,147p ; 22cm
所蔵情報: loading…
79.

図書

図書
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.4  vii, 213p ; 22cm
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 5
所蔵情報: loading…
80.

図書

図書
山田嘉昭著
出版情報: 東京 : 培風館, 1970.11  iv, 197p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; 1-3-A
所蔵情報: loading…
81.

図書

図書
鷲津久一郎著
出版情報: 東京 : 培風館, 1970.11  ii, 122p ; 21cm
シリーズ名: コンピュータによる構造工学講座 / 日本鋼構造協会編 ; I-3-B
所蔵情報: loading…
82.

図書

図書
L.ゴールドシュレーガー, A.リスター共著 ; 武市正人, 小川貴英, 角田博保共訳
出版情報: 東京 : 近代科学社, 1987.2  viii, 309p ; 21cm
所蔵情報: loading…
83.

図書

図書
米山正雄監修 ; 三木容彦著
出版情報: 東京 : オーム社, 1987.3  x, 251p ; 21cm
所蔵情報: loading…
84.

図書

図書
S. パパート著 ; 奥村貴世子訳
出版情報: 東京 : 未来社, 1982.11  275p, 図版[2]p ; 22cm
所蔵情報: loading…
85.

図書

図書
和田秀男著
出版情報: 東京 : 岩波書店, 1982.10  xii, 214p ; 19cm
シリーズ名: 数学入門シリーズ ; 8
所蔵情報: loading…
86.

図書

図書
池田克夫執筆
出版情報: 東京 : コロナ社, 1984.6  x, 189p ; 22cm
シリーズ名: 電子通信学会大学シリーズ / 電子通信学会編 ; H-7
所蔵情報: loading…
87.

図書

図書
日本機械学会編
出版情報: 東京 : 技報堂出版, 1984.11  iv, 158p ; 22cm
シリーズ名: メカトロニクスシリーズ / 日本機械学会編 ; 2 . 基礎編 ; 1
所蔵情報: loading…
88.

図書

図書
日本機械学会編
出版情報: 東京 : 技報堂出版, 1984.9  iv, 125p ; 22cm
シリーズ名: メカトロニクスシリーズ / 日本機械学会編 ; 6 . 応用編 ; 2
所蔵情報: loading…
89.

図書

図書
富田眞治著
出版情報: 東京 : 昭晃堂, 1986.11  3, 5, 306p ; 22cm
所蔵情報: loading…
90.

図書

図書
谷萩, 隆嗣
出版情報: 東京 : コロナ社, 1986.12  ix, 275p ; 22cm
シリーズ名: ディジタル信号処理の理論 / 谷萩隆嗣著 ; 3
所蔵情報: loading…
91.

図書

図書
花田収悦 [ほか] 編
出版情報: 東京 : 日科技連出版社, 1986.8  xvi, 286p ; 22cm
シリーズ名: 日科技連ソフトウェア品質管理シリーズ ; 2
所蔵情報: loading…
92.

図書

図書
フレデリック・ヘイズ=ロス [ほか] 編 ; AIUEO訳
出版情報: 東京 : 産業図書, 1985.6  xiv, 493p ; 22cm
シリーズ名: ソフトウェアサイエンスシリーズ
所蔵情報: loading…
93.

図書

図書
奥出直人著
出版情報: 東京 : 河出書房新社, 1990.3  253p ; 20cm
所蔵情報: loading…
94.

図書

図書
ジョン・フォン・ノイマン著 ; 飯島泰蔵, 猪股修二, 熊田衛共訳
出版情報: 東京 : ラテイス, 1964.10  124p ; 22cm
所蔵情報: loading…
95.

図書

図書
当麻喜弘編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1990.6  8, 305p ; 22cm
所蔵情報: loading…
96.

図書

図書
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1990.9  240p ; 20cm
所蔵情報: loading…
97.

図書

図書
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3  xix, 386p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
所蔵情報: loading…
98.

図書

図書
当麻喜弘, 南谷崇, 藤原秀雄共著
出版情報: 東京 : 槇書店, 1991.3  2, 4, 285p ; 22cm
所蔵情報: loading…
99.

図書

図書
横山保著
出版情報: 東京 : 中央経済社, 1972.7  4, 4, 196p ; 22cm
シリーズ名: 講座情報と意思決定 ; 1
所蔵情報: loading…
100.

図書

図書
上滝致孝, 青木謙一, 岡村哲也共著
出版情報: 東京 : オーム社, 1986.11  iv,194p ; 22cm
シリーズ名: 実用制御工学コース
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼