close
1.

図書
図書
1. データ構造
T.G.レヴィス, M.Z.スミス著 ; 浦昭二, 近藤頌子, 遠山元道訳
出版情報: 東京 : 培風館, 1987.3  ix, 335p ; 22cm
シリーズ名: 情報処理シリーズ ; 10
所蔵情報: loading…
2.

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

図書
図書
3. データベース設計技術
A.L.フルタード,E.J.ノイホルト共著 ; 渡辺豊英訳
出版情報: 東京 : 啓学出版, 1988.1  xii, 177p ; 22cm
所蔵情報: loading…
4.

図書
図書
4. 計数・測定 : ランダムデータ処理の理論と応用
得丸英勝 [ほか] 共著
出版情報: 東京 : 培風館, 1982.3  viii, 242p ; 22cm
シリーズ名: 工学基礎講座 / 近藤次郎 [ほか] 編 ; 18
所蔵情報: loading…
5.

図書
図書
5. オンラインシステム
上田恭雄著
出版情報: 東京 : 昭晃堂, 1987.6  145p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 16
所蔵情報: loading…
6.

図書
図書
6. 分散処理
塚本克治, 高平叡共著
出版情報: 東京 : 昭晃堂, 1986.6  138p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 38
所蔵情報: loading…
7.

図書
図書
7. データフローマシンと言語
曽和将容著
出版情報: 東京 : 昭晃堂, 1986.5  184p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 43
所蔵情報: loading…
8.

図書
図書
8. 図解ファイル編成とデータベース
菊池豊彦著
出版情報: 東京 : コロナ社, 1986.4  iv, 153p ; 22cm
所蔵情報: loading…
9.

図書
図書
9. データベース構築の理論と実際
原田勝, 今井恒雄, 平木茂子共著
出版情報: 東京 : コロナ社, 1985.1  viii, 250p ; 22cm
所蔵情報: loading…
10.

図書
図書
10. 知識ベース入門
大須賀節雄編著 ; 石塚満 [ほか] 執筆
出版情報: 東京 : オーム社, 1986.4  vii, 206p ; 22cm
所蔵情報: loading…
11.

図書
図書
11. データベース・システム概論
C.J.Date著 ; 藤原譲訳
出版情報: 東京 : 丸善, 1984.1  xxv, 598p ; 22cm
所蔵情報: loading…
12.

図書
図書
12. 情報の構造とデータベース
長尾真, 片山卓也, 植村俊亮 [著]
出版情報: 東京 : 岩波書店, 1983.6  x, 207p ; 22cm
シリーズ名: 岩波講座情報科学 ; 8
所蔵情報: loading…
13.

図書

東工大
目次DB
図書
東工大
目次DB
13. ペトリネット入門 : 情報システムのモデル化
J.L.ピータースン著 ; 市川惇信, 小林重信訳
出版情報: 東京 : 共立出版, 1984.4  ix, 293p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1 序論
   1.1 モデル化 1
   1.2 システムの特徴 2
   1.3 ペトリネットの発展の初期 3
   1.4 ペトリネット理論の応用について 5
   1.5 応用および純粋ペトリネット理論 6
   1.6 課題文献 7
   1.7 課題研究 7
2 基礎的定義
   2.1 ペトリネット構造 8
   2.2 ペトリネットグラフ 11
   2.3 ペトリネットのマーキング 16
   2.4 ペトリネットにおける実行規則 18
   2.5 ペトリネット状態空間 23
   2.6 ペトリネットの定義の種々な形 27
   2.7 課題文献 30
   2.8 課題研究 30
3 ペトリネットによるモデル化
   3.1 事象と条件 32
   3.2 同時進行と競合 36
   3.3 計算機ハードウェア 41
   3.4 計算機ソフトウェア 55
   3.5 その他のシステム 69
   3.6 課題文献 76
   3.7 課題研究 77
4 ペトリネットの解析
   4.1 ペトリネットにおいて解析すべき問題 79
   4.2 解析方法 90
   4.3 課題文献 111
   4.4 課題研究 112
5 複雑性と可解性
   5.1 解析問題の間の帰着可能性 114
   5.2 可達問題 119
   5.3 制限されたペトリネット構造 124
   5.4 活性と可達性 128
   5.5 非可解な問題 132
   5.6 可達問題の複雑性 144
   5.7 課題文献 148
   5.8 課題研究 149
6 ペトリネット言語
   6.1 動機 150
   6.2 関連する形式言語理論の諸概念 153
   6.3 ペトリネット言語の定義 154
   6.4 ペトリネット言語の性質 162
   6.5 閉包性 167
   6.6 ペトリネット言語とそれ以外の言語のクラス 179
   6.7 その他の成果 186
   6.8 課題文献 188
   6.9 課題研究 188
7 拡張ペトリネットと限定ペトリネット
   7.1 ペトリネットによるモデル化の限界 191
   7.2 拡張 197
   7.3 拡張ペトリネットとレジスタ機械 202
   7.4 ペトリネットのサブクラス 205
   7.5 課題文献 211
   7.6 課題研究 211
8 並列計算のモデル
   8.1 有限オートマトン 216
   8.2 マークグラフ 216
   8.3 計算グラフ 217
   8.4 P/Vシステム 219
   8.5 メッセージ伝送システム 222
   8.6 UCLAグラフ 229
   8.7 ベクトル加算およびベクトル交換システム 234
   8.8 拡張ペトリネットモデル 237
   8.9 課題文献 238
   8.10 課題研究 238
付録A 多重集合論の要約 239
注釈付参考文献 243
訳者あとがき 286
   さくいん 288
1 序論
   1.1 モデル化 1
   1.2 システムの特徴 2
14.

図書
図書
14. 並列処理
村岡洋一著
出版情報: 東京 : 昭晃堂, 1986.4  2, 170p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 37
所蔵情報: loading…
15.

図書
図書
15. データベース. 改訂第2版
James Martin著 ; 国友義久, 久保未沙訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1983.5  xix, 760p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 32
所蔵情報: loading…
16.

図書
図書
16. 情報処理通論
有沢誠執筆
出版情報: 東京 : コロナ社, 1980.8  vii,182p ; 22cm
シリーズ名: 電子通信学会大学シリーズ / 電子通信学会編 ; H-2
所蔵情報: loading…
17.

図書
図書
17. ソフト開発の最前線
藤野喜一著
出版情報: 東京 : 日本電気文化センター, 1983.11  153p ; 18cm
シリーズ名: C&C文庫 ; 3
所蔵情報: loading…
18.

図書
図書
18. 情報化白書 (1987 ; 1988)
日本情報処理開発協会編
出版情報: 東京 : 日本情報処理開発協会 , 東京 : コンピュータ・エージ社 (発売), 1987-  冊 ; 26cm
所蔵情報: loading…
19.

図書
図書
19. ソフトウェア工学演習
松本吉弘著
出版情報: 東京 : 朝倉書店, 1984.9  v, 183p ; 21cm
シリーズ名: 電気・電子・通信・情報工学演習シリーズ / 相磯秀夫 [ほか] 編
所蔵情報: loading…
20.

図書
図書
20. 80年代情報化を巡る歩みと今後の展望
日本情報処理開発協会編
出版情報: 東京 : 日本情報処理開発協会 , 東京 : コンピュータ・エージ社 (発売), 1989.5  498p ; 26cm
シリーズ名: 情報化白書 / 日本情報処理開発協会編 ; 1989
所蔵情報: loading…
21.

図書
図書
21. 分散システムと計算機ネットワーク
Morris Sloman, Jeff Kramer [原著] ; 齊藤忠夫監訳
出版情報: 東京 : 丸善, 1988.11  15, 452p ; 22cm
所蔵情報: loading…
22.

図書
図書
22. パソコン・グラフィクス/データ処理・信号解析
武者利光, 寺町康昌共著
出版情報: 東京 : オーム社, 1984.11  140p ; 26cm
シリーズ名: パソコン・グラフィクス学習シリーズ
所蔵情報: loading…
23.

図書
図書
23. 図解分散処理入門
三原幸博, 田村信介共著
出版情報: 東京 : オーム社, 1989.12  vi,159p ; 21cm
シリーズ名: COMシリーズ / 野口正一 [ほか] 編
所蔵情報: loading…
24.

図書
図書
24. TIMSIIアプリケーションガイド
日本メディアプラン株式会社編
出版情報: 東京 : コロナ社, 1987.6  274p ; 26cm
シリーズ名: リレーショナルデータベースシリーズ ; 1
所蔵情報: loading…
25.

図書
図書
25. 新コンピュータ技術開発のために
日本情報処理開発協会編
出版情報: 東京 : 日本情報処理開発協会 , 東京 : コンピュータ・エージ社 (発売), 1981.12  464p ; 27cm
シリーズ名: コンピュータ白書 / 日本電子計算開発協会編 ; 1981
所蔵情報: loading…
26.

図書
図書
26. STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 (: gw ; : us)
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
27.

図書
図書
27. Distributed systems : methods and tools for specification : an advanced course (: gw ; : us)
M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert
出版情報: Berlin ; New York : Springer-Verlag, c1985  vi, 573 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 190
所蔵情報: loading…
28.

図書
図書
28. A framework for distributed problem solving
by Reid G. Smith
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  xii, 174 p. ; 24 cm
シリーズ名: Computer science : artificial intelligence ; no. 10
所蔵情報: loading…
29.

図書
図書
29. データベース入門
石桁正士 [ほか] 共著
出版情報: 東京 : パワー社, 1984.5  6, 195p ; 22cm
シリーズ名: 情報科学シリーズ ; 4
所蔵情報: loading…
30.

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

図書
図書
31. データ圧縮技法入門 : 伝送・格納のための実践的アプローチ
ギルバート・ヘルド著 ; 渡辺豊英, 堀池博巳訳
出版情報: 東京 : 啓学出版, 1985.6  x, 139p ; 22cm
所蔵情報: loading…
32.

図書
図書
32. データ構造とプログラミング
宮地利雄著
出版情報: 東京 : 昭晃堂, 1985.8  183p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 21
所蔵情報: loading…
33.

図書
図書
33. 科学技術データ概論
木澤誠著
出版情報: 東京 : 日本ドクメンテーション協会, 1983.9  96p ; 26cm
シリーズ名: NIPDOKシリーズ ; 31
所蔵情報: loading…
34.

図書
図書
34. データ構造とネットワークアルゴリズム
R.E.タルジャン著 ; 岩野和生訳
出版情報: 東京 : マグロウヒル出版, 1989.12  xi, 218p ; 22cm
シリーズ名: Computation & software science
所蔵情報: loading…
35.

図書
図書
35. データ構造とアルゴリズム
A.V.エイホ, J.E.ホップクロフト, J.D.ウルマン著 ; 大野義夫訳
出版情報: 東京 : 培風館, 1987.3  x, 387p ; 22cm
シリーズ名: 情報処理シリーズ ; 11
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼