close
1.

図書
図書
1. 文字処理のための計算機科学概論
古郡廷治著
出版情報: 町田 : 総研出版, 1985.5  214p ; 22cm
所蔵情報: loading…
2.

図書
図書
2. スーパーコンピュータ : 科学技術計算への適用
村田健郎 [ほか] 著
出版情報: 東京 : 丸善, 1985.3  vi, 304p ; 22cm
所蔵情報: loading…
3.

図書
図書
3. 実用インターフェース設計法 : マイコン活用のためのハードウェア技術入門
畔津明仁著
出版情報: 東京 : CQ出版, 1985.3  210p ; 21cm
シリーズ名: Core books
所蔵情報: loading…
4.

図書
図書
4. コンピュータ : 知的「道具」考
神田泰典著
出版情報: 東京 : 日本放送出版協会, 1985.4  204p ; 19cm
シリーズ名: NHKブックス ; 478
所蔵情報: loading…
5.

図書
図書
5. 計算機アーキテクチャ
斉藤忠夫, 発田弘, 大森健児共著
出版情報: 東京 : オーム社, 1985.10  xii, 273p ; 22cm
シリーズ名: 情報工学基礎講座 / 長尾真, 渕一博監修 ; 3
所蔵情報: loading…
6.

図書
図書
6. 計算機方式
高橋義造執筆
出版情報: 東京 : コロナ社, 1985.7  7,219p ; 22cm
シリーズ名: 電子通信学会大学シリーズ / 電子通信学会編 ; H-5
所蔵情報: loading…
7.

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

図書
図書
8. スーパーコンピュータへの挑戦
川合敏雄著
出版情報: 東京 : 岩波書店, 1985.2  xii, 151p ; 19cm
シリーズ名: New science age ; 8
所蔵情報: loading…
9.

図書
図書
9. 第五世代コンピュータと未来
日本未来学会編
出版情報: 東京 : 講談社, 1985.7  222p ; 20cm
所蔵情報: loading…
10.

図書
図書
10. オペレーティングシステムの基礎
亀田壽夫著
出版情報: 東京 : 昭晃堂, 1985.2  2, 2, 3, 178p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 2
所蔵情報: loading…
11.

図書
図書
11. コンピュータ・アーキテクチャ. 第2版
村岡洋一著
出版情報: 東京 : 近代科学社, 1985.11  vi, 197p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 11
所蔵情報: loading…
12.

図書
図書
12. 光コンピュータ
稲場文男編
出版情報: 東京 : オーム社, 1985.11  vi, 192p ; 27cm
所蔵情報: loading…
13.

図書
図書
13. パソコンLAのためのインターフェイス・テクニック
山本正樹, 松田稔著
出版情報: 東京 : 日刊工業新聞社, 1985.4  197, 3p ; 21cm
所蔵情報: loading…
14.

図書
図書
14. 小さな家族の大きな崩壊 ; 電子社会の孤独
NHK取材班著
出版情報: 東京 : 日本放送出版協会, 1985.3  246p, 図版 [4] p ; 20cm
シリーズ名: 21世紀は警告する / NHK取材班著 ; 4
所蔵情報: loading…
15.

図書
図書
15. 電脳都市 : SFと未来コンピュータ
坂村健著 ; 張仁誠イラストレーション
出版情報: 東京 : 冬樹社, 1985.5  303p ; 22cm
所蔵情報: loading…
16.

図書
図書
16. マイクロコンピュータインタフェース : 原理と応用
ハロルド・S.ストーン著 ; 阿部公輝訳
出版情報: 東京 : 啓学出版, 1985.5  364p ; 27cm
所蔵情報: loading…
17.

図書
図書
17. ヒトになりたいコンピュータ : 科学翔べ : 東芝ゑれきてる対談集
渥美, 和彦(1928-) ; 加藤, 一郎(1925-) ; 電通
出版情報: 東京 : 東芝, 1985.3  236p ; 21cm
所蔵情報: loading…
18.

図書
図書
18. FORTRAN演習/問題集. 第2版
日本建築学会編
出版情報: 東京 : 日本建築学会, 1985.8  186p ; 26cm
シリーズ名: コンピュータ教育シリーズ ; 1
所蔵情報: loading…
19.

図書
図書
19. 近未来社会の奔流 : コンピュータ革命の衝撃
クリストファー・エバンス著 ; 古田勝久,古田久美子訳
出版情報: 東京 : CBS出版, 1985.8  281p ; 20cm
所蔵情報: loading…
20.

図書
図書
20. The wide spectrum language CIP-L (: gw ; : us)
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
21.

図書
図書
21. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 (: gw ; : us)
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
22.

図書
図書
22. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
23.

図書
図書
23. Advances in cryptology : proceedings of EUROCRYPT 84, a Workshop on the Theory and Application of Cryptographic Techniques, Paris, France, April 9-11, 1984 (: gw ; : us)
edited by T. Beth, N. Cot, and I. Ingemarsson
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 489 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 209
所蔵情報: loading…
24.

図書
図書
24. マイクロコンピュータハンドブック
渡邊茂[ほか]編
出版情報: 東京 : オーム社, 1985.12  iv,1079p ; 27cm
所蔵情報: loading…
25.

図書
図書
25. 手作りマイコン
相原隆文著
出版情報: 東京 : 技術評論社, 1985.6  247p ; 21cm
シリーズ名: 初歩のディジタル回路 ; 3
所蔵情報: loading…
26.

図書
図書
26. スーパーコンピュータ
日本物理学会編
出版情報: 東京 : 培風館, 1985.12  vi, 278p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
スーパーコンピュータの概観 / 唐木幸比古 [執筆]
パイプライン方式の機構 / 渡辺貞 [執筆]
FORTRANの自動ベクトル化 / 高嶋秀夫 [執筆]
利用技術 : 行列計算 / 小国力 [執筆]
移流拡散方程式の数値解法 / 村田健郎 [執筆]
付加アレイプロセッサの現状 / 平山弘 [執筆]
計算物理学 / 土方克法 [執筆]
有効な使い方(高速フーリエ変換) / 吉野さやか [執筆]
プラズマ / 阿部芳彦 [執筆]
分子科学 / 柏木浩 [執筆]
流体力学 / 桑原邦郎 [執筆]
格子ゲージ理論 / 小柳義夫 [執筆]
構造解析 / 三好俊郎 [執筆]
高速粒子の技術動向 / 鈴木敏正 [執筆]
並列計算機の展望 / 川合敏雄, 星野力 [執筆]
スーパーコンピュータの将来 / 後藤英一 [執筆]
スーパーコンピュータの概観 / 唐木幸比古 [執筆]
パイプライン方式の機構 / 渡辺貞 [執筆]
FORTRANの自動ベクトル化 / 高嶋秀夫 [執筆]
27.

図書
図書
27. その理想の姿を探る
@@戸田, 正直
出版情報: 東京 : 日経サイエンス社, 1985  269p ; 19cm
シリーズ名: 人間にとってのコンピューター : IBM天城シンポジウム / 戸田正直 [ほか] 編
所蔵情報: loading…
28.

図書
図書
28. ソフトウェア指向アーキテクチャ
飯塚肇, 田中英彦共編
出版情報: 東京 : オーム社, 1985.12  vii, 409p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼