close
1.

図書
図書
1. PC-9801システム解析 (上 ; 下)
浅野泰之 [ほか] 共著
出版情報: 東京 : アスキー出版局, 1983.9-1983.12  2冊 ; 26cm
シリーズ名: アスキー・テクニカル・バンク
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア・エンジニアリング : 現状と展望
宮本勲著
出版情報: 東京 : TBS出版会, 1982.1  353p ; 31cm
所蔵情報: loading…
3.

図書
図書
3. 第5世代コンピュータを創る : 淵一博に聞く
淵一博, 赤木昭夫著
出版情報: 東京 : 日本放送出版協会, 1984.11  301p ; 20cm
所蔵情報: loading…
4.

図書
図書
4. オペレーティングシステムの実際. 第1回修正
吉澤康文著
出版情報: 東京 : 昭晃堂, 1987.4  205p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 3
所蔵情報: loading…
5.

図書
図書
5. コンピュータ英語ハンドブック
三島浩著
出版情報: 東京 : 共立出版, 1986.6  6, 241p ; 21cm
所蔵情報: loading…
6.

図書
図書
6. FM-7・8OS-9Level1解析マニュアル (1)
金井隆著
出版情報: 東京 : 秀和システムトレーディング, 1984.5  325p ; 21cm
所蔵情報: loading…
7.

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

図書
図書
8. コンピューター・社会・情報政策
旭リサーチセンター編
出版情報: 東京 : 日刊工業新聞社, 1983.2  6,293,22p ; 19cm
所蔵情報: loading…
9.

図書
図書
9. 教材ソフトと実践事例 (入門編 ; 基礎編 ; 算数・数学編)
町田彰一郎編著
出版情報: 東京 : ホープクリエイト, 1988  3冊 ; 26cm
シリーズ名: パソコンと授業シリーズ ; 0-2
所蔵情報: loading…
10.

図書
図書
10. ニューラルコンピュータ : 脳と神経に学ぶ
合原一幸著
出版情報: 東京 : 東京電機大学出版局, 1988.4  179p ; 21cm
所蔵情報: loading…
11.

図書
図書
11. 8086マイクロコンピュータ
田辺皓正編著
出版情報: 東京 : 丸善, 1983.4  xii, 290p ; 22cm
シリーズ名: マイクロコンピュータシリーズ ; 15
所蔵情報: loading…
12.

図書
図書
12. データベース
溝口徹夫著
出版情報: 東京 : 共立出版, 1988.10  ix, 184p ; 22cm
シリーズ名: 情報・電子入門シリーズ / 柳澤健 [ほか] 編集 ; 1
所蔵情報: loading…
13.

図書
図書
13. ビジネスマンのためのいちばんわかりやすいパソコンの本です。
粟野邦夫著
出版情報: 東京 : ビー・エヌ・エヌ, 1988.9  295p ; 21cm
所蔵情報: loading…
14.

図書
図書
14. 応用パーソナルコンピュータ : 多様な技術への招待
鱸薫明著 ; テレビジョン学会編 ; 長谷川伸, 本橋昭二監修
出版情報: 東京 : コロナ社, 1989.7  5, 134p ; 21cm
所蔵情報: loading…
15.

図書
図書
15. ザ68000 : ハードウェア・ソフトウェア・アプリケーション
岡本茂 [ほか] 共著
出版情報: 東京 : 共立出版, 1983.8  246p ; 21cm
所蔵情報: loading…
16.

図書
図書
16. ワークステーションがわかる本
工藤安信著
出版情報: 東京 : 工業調査会, 1988.10  307p ; 20cm
所蔵情報: loading…
17.

図書
図書
17. ワークステーション標準ハンドブック : 286からRISCまで
森田進著
出版情報: 東京 : 技術評論社, 1989.5  269p ; 21cm
所蔵情報: loading…
18.

図書
図書
18. はじめてのハードディスク
宮越健, 岡田庄司著
出版情報: 東京 : 秀和システムトレーディング, 1989.3  287p ; 24cm
所蔵情報: loading…
19.

図書
図書
19. 高性能コンピュータアーキテクチャ
Harold S.Stone [著] ; 齊藤忠夫, 発田弘監訳
出版情報: 東京 : 丸善, 1989.3  xii, 430p ; 22cm
所蔵情報: loading…
20.

図書
図書
20. コンピュータ・セキュリティ
土居範久, 小山謙二編
出版情報: 東京 : 共立出版, 1986.10  2, 232p ; 21cm
所蔵情報: loading…
21.

図書
図書
21. Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings (: gw ; : us)
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
22.

図書
図書
22. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
23.

図書
図書
23. Intelligent systems : the unprecedented opportunity (: E. Horwood ; : Halsted Press)
edited by J.E. Hayes, Donald Michie
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1983  xvii, 206 p. ; 24 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings (: gw ; : us)
edited by Austin Melton
出版情報: Berlin ; New York : Springer-Verlag, c1986  vi, 395 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 239
所蔵情報: loading…
25.

図書
図書
25. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings (: gw ; : us)
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 483 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: 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. 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…
28.

図書
図書
28. 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…
29.

図書
図書
29. Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings (: gw ; : us)
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
30.

図書
図書
30. 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
31.

図書
図書
31. 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…
32.

図書
図書
32. LUCAS associative array processor : design, programming, and application studies (: gw ; : us)
Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 323 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 216
所蔵情報: loading…
33.

図書
図書
33. UNIX詳説 (基礎編)
井田昌之著
出版情報: 東京 : 丸善, 1984.10  viii, 257p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
34.

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

図書
図書
35. 電子計算機ハンドブック. 新版(第8版)
山下英男 [等] 編
出版情報: 東京 : コロナ社, 1981.8  xv, 1093p ; 22cm
所蔵情報: loading…
36.

図書
図書
36. コンピュータによる図説量子力学
ジークムント・ブラント, ハンス・ディーター・ダーメン著 ; 平田邦男訳
出版情報: 東京 : 共立出版, 1986.10  10, 252p ; 27cm
所蔵情報: loading…
37.

図書
図書
37. 入出力制御とシステム構成
田丸啓吉 [ほか] 共著
出版情報: 東京 : オーム社, 1982.3  220p ; 22cm
シリーズ名: マイクロコンピュータ基礎講座 ; 2
所蔵情報: loading…
38.

図書
図書
38. ソフトウェアとプログラミング
可児賢二編著
出版情報: 東京 : オーム社, 1982.2  232p ; 22cm
シリーズ名: マイクロコンピュータ基礎講座 ; 3
所蔵情報: loading…
39.

図書
図書
39. UNIX入門
レベッカ・トーマス, ジーン・イェーツ共著 ; I/O編集部訳
出版情報: 東京 : 工学社, 1983.9  517p ; 21cm
シリーズ名: I/O books
所蔵情報: loading…
40.

図書
図書
40. マイクロコンピュータの基礎 : ディジタル回路とソフトウェア
D.E.ジョンソン, J.L.ヒルバーン, P.M.ジュリヒ著 ; 矢崎銀作, 小島紀男共訳
出版情報: 東京 : 東海大学出版会, 1982.5  v,294p ; 22cm
所蔵情報: loading…
41.

図書
図書
41. ソフトウェア指向アーキテクチャ
飯塚肇, 田中英彦共編
出版情報: 東京 : オーム社, 1985.12  vii, 409p ; 22cm
所蔵情報: loading…
42.

図書
図書
42. マイクロコンピュータ応用ハンドブック
マイクロコンピュータ応用ハンドブック編集委員会編
出版情報: 東京 : 昭晃堂, 1983.12  18, 784p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼