close
1.

図書
図書
1. 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…
2.

図書
図書
2. ディジタル計算機の論理設計
M.フィスター著 ; 尾崎弘訳
出版情報: 東京 : 朝倉書店, 1960.8  xiv, 431p ; 22cm
所蔵情報: loading…
3.

図書
図書
3. 図説電子計算機システム. 改訂3版
鈴木光彦著
出版情報: 東京 : 日刊工業新聞社, 1974.2  6, 277, 10p ; 22cm
所蔵情報: loading…
4.

図書
図書
4. 図解電子計算機入門
J.S. マーフィ著 ; 森口繁一監訳
出版情報: 東京 : 紀伊國屋書店, 1962.10  ii, 390p ; 23cm
所蔵情報: loading…
5.

図書
図書
5. 電子計算機 (アナログ計算機編 ; ディジタル計算機編)
山下, 英男(1899-)
出版情報: 東京 : オーム社, 1959.6-1960.6  2冊 ; 22cm
所蔵情報: loading…
6.

図書
図書
6. スイッチング理論
野崎昭弘著
出版情報: 東京 : 共立出版, 1972.2  2, 4, 268, 4p ; 22cm
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 10
所蔵情報: loading…
7.

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

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

図書
図書
9. 建築技術者のための電子計算機の応用
和泉正哲著
出版情報: 東京 : オーム社, 1963.7  2, 2, 298, 3p, 図版 [2] p ; 22cm
所蔵情報: loading…
10.

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

図書
図書
11. 電子計算機 : 大学課程
佐藤達男著
出版情報: 東京 : オーム社, 1966  2, 198p ; 22cm
所蔵情報: loading…
12.

図書
図書
12. 情報処理システム入門
御牧義著
出版情報: 東京 : 昭晃堂, 1979.4  2, 2, 138p ; 22cm
所蔵情報: loading…
13.

図書
図書
13. コンピュータサイエンス (1 ; 2 ; 3)
J.K.ライス, J.R.ライス共著 ; 細井勉, 関本年彦, 佐藤雅彦共訳
出版情報: 東京 : サイエンス社, 1974.5  3冊 ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 22-24
所蔵情報: loading…
14.

図書
図書
14. 電子計算機のための数値計算法 (1 ; 2 ; 3)
山内二郎 [ほか] 共編
出版情報: 東京 : 培風館, 1965-1972  3冊 ; 22cm
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 1,3,5
所蔵情報: loading…
15.

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

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

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

図書
図書
18. 電子計算機の機構と組織
出版情報: 東京 : 日本電子計算センター, 1968  129p ; 26cm
シリーズ名: 電子計算機教科書 / 日本電子計算センター ; 2
所蔵情報: loading…
19.

図書
図書
19. 計算機システム基礎論
藤野喜一[等]著
出版情報: 東京 : 共立出版, 1973.4  2, 3, 281, 7p ; 22cm
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 8
所蔵情報: loading…
20.

図書
図書
20. 電子計算機の基礎 : プログラマのためのハードウェア
L.ナシェルスキー著 ; 浦昭二, 北川節共訳
出版情報: 東京 : 培風館, 1969.1  ix, 273p ; 22cm
所蔵情報: loading…
21.

図書
図書
21. マイクロコンピュータ入門
山中和正,田丸啓吉著
出版情報: 東京 : 日刊工業新聞社, 1976  172,2p ; 22cm
所蔵情報: loading…
22.

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

図書
図書
23. 知識産業 : その成立から未来まで
片方善治, 安田寿明共著
出版情報: 東京 : ダイヤモンド社, 1969.2  viii, 318p ; 19cm
所蔵情報: loading…
24.

図書
図書
24. 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…
25.

図書
図書
25. 電子計算機入門 (基礎編 ; 応用編)
鵜沢昌和著
出版情報: 東京 : 日本経済新聞社, 1975-1976  2冊 ; 18cm
シリーズ名: 日経文庫 ; 232,243
所蔵情報: loading…
26.

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

図書
図書
27. 電子計算機ハンドブック
情報処理学会編
出版情報: 東京 : オーム社, 1966.5  1冊 ; 22cm
所蔵情報: loading…
28.

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

図書
図書
29. アナログ電子計算機
野村民也, 三浦武雄共著
出版情報: 東京 : コロナ社, 1960.9  viii, 378p ; 22cm
所蔵情報: loading…
30.

図書
図書
30. 電子計算機便覧. 再版
日本電子計算センター編
出版情報: 東京 : 日本電子計算センター, 1965  348p ; 22cm
所蔵情報: loading…
31.

図書
図書
31. アナログ計算入門
若山伊三雄著
出版情報: 東京 : コロナ社, 1962  106p ; 21cm
所蔵情報: loading…
32.

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

図書
図書
33. 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…
34.

図書
図書
34. 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…
35.

図書
図書
35. 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…
36.

図書
図書
36. 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
37.

図書
図書
37. 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…
38.

図書
図書
38. 教養・コンピュータ. 第3版
吉田敬一著
出版情報: 東京 : 共立出版, 2002.12  viii, 176p ; 21cm
所蔵情報: loading…
39.

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

図書
図書
40. EDP利用の基礎知識
東洋大学附属電子計算機センター編
出版情報: 東京 : 白桃書房, 1969  245p ; 19cm
所蔵情報: loading…
41.

図書
図書
41. 電子計算機 : 現在と将来
J.A.ポストリー著 : 林文彦, 新沢雄一訳
出版情報: 東京 : ダイヤモンド社, 1965.1  261p ; 19cm
所蔵情報: loading…
42.

図書
図書
42. アナログ電子計算機のソフトウエア
三浦武雄[ほか]著
出版情報: 東京 : コロナ社, 1967.10  229p ; 22cm
所蔵情報: loading…
43.

図書
図書
43. 研究者と技術者のためのミニコン技術入門 : 基礎とKNOW HOW
桜井捷海編著
出版情報: 東京 : 共立出版, 1974.12  2, 3, 243, 4p, 図版2p ; 21cm
所蔵情報: loading…
44.

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

図書
図書
45. 情報処理工学
穂坂衛著 ; 電気学会通信教育会 [編]
出版情報: 東京 : 電気学会, 1973.6  2, 4, 340p ; 22cm
シリーズ名: 電気学会大学講座 / 電気学会編
所蔵情報: loading…
46.

図書
図書
46. 機械工学における電子計算機の応用
谷口博著
出版情報: 東京 : サイエンス社, 1976.5  iv, 132p ; 22cm
シリーズ名: サイエンスライブラリ情報電算機 ; 34
所蔵情報: loading…
47.

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

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

図書
図書
49. コンピュータ入門
日本電気株式会社情報処理教育部編
出版情報: 東京 : 日本能率協会, 1969.6  10, 271p ; 21cm
シリーズ名: EDPS入門シリーズ ; 1
所蔵情報: loading…
50.

図書
図書
50. コンピュータ英語ハンドブック
三島浩著
出版情報: 東京 : 共立出版, 1986.6  6, 241p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼