1.

図書
図書
1. ソフトウェアコンファレンスプロシーディングス
大阪科学技術センター
出版情報: 大阪 : 大阪科学技術センター, 1985-1992.3
2.

図書
図書
2. Proceedings : First IEEE/ACM International Symposium on Cluster Computing and the Grid, Brisbane, Australia, May 15-18, 2001
edited by Rajkumar Buyya, George Mohay, and Paul Roe ; Sponsored by IEEE Computer Society, IEEE Task Force on Cluster Computing, Association for Computing Machinery (ACM) and SIGARCH, IEEE Computer Society Technical Committee on Parallel Processing (TCPP), Queensland University of Technology (QUT), Australia
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2001
3.

図書
図書
3. Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Oded Maler, Amir Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2623
4.

図書
図書
4. Proceedings CCGrid2002 : 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, 21-24 May 2002, Berlin, Germany
editors, Henri E. Bal, Klaus-Peter Löhr and Alexander Reinefeld ; sponsored by IEEE Computer Society, IEEE Task Force on Cluster Computing ; presented by ZIB Berlin, Freie Universität Berlin, Humboldt-Universität zu Berlin ; with support from IBM ...[etc.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2002
5.

図書
図書
5. X window system user's guide : for X11 Release 5
by Valerie Quercia and Tim O'Reilly
出版情報: Sebastopol, Calif. : O'Reilly & Associates, c1993
シリーズ名: X window system series ; v. 3
6.

図書
図書
6. X toolkit intrinsics programming manual : for Version 11
by Adrian Nye and Tim O'Reilly
出版情報: Sebastopol, Calif. : O'Reilly & Associates, c1992
シリーズ名: X window system series ; v. 4
7.

図書
図書
7. Xlib programming manual : for version 11 of the X window system
by Adrian Nye
出版情報: Sebastopol, Calif. : O'Reilly & Associates, c1988
シリーズ名: X window system series ; v. 1
8.

図書
図書
8. Xlib reference manual : for version 11 of the X window system
edited by Adrian Nye
出版情報: Sebastopol, Calif. : O'Reilly & Associates, c1988
シリーズ名: X window system series ; v. 2
9.

図書
図書
9. The proceedings of the Working Conference on Picture Engineering, September 8-10, 1981 at IBM Amagi Homestead
Working Conference on Picture Engineering ; IBM Japan. Academic & Scientific Programs
出版情報: Tokyo : IBM Japan, [1981]
シリーズ名: Software engineering series ; no. 3
10.

図書
図書
10. X protocol reference manual : for version 11 of the X window system
by Robert W. Scheifler ; edited and with an introduction by Adrian Nye
出版情報: Sebastopol, Calif. : O'Reilly & Associates, c1989
シリーズ名: X window system series ; v. 0
11.

図書
図書
11. X toolkit intrinsics reference manual : for version 11 of the X window system
edited by Tim O'Reilly ; introduction by Mark Langley
出版情報: [Sebastopol, Calif.] : O'Reilly & Associates, 1990
シリーズ名: X window system series ; v. 5
12.

図書
図書
12. 機械翻訳
野村浩郷, 田中穂積編
出版情報: 東京 : 共立出版, 1988.9
シリーズ名: bit別冊
13.

図書
図書
13. UNIXカーネルの設計
Maurice J. Bach著 ; 坂本文[ほか]訳
出版情報: 東京 : 共立出版, 1990.10
シリーズ名: bit別冊
14.

図書
図書
14. Advances in man-machine systems research : a research annual
editor, William B. Rouse
出版情報: Greenwich, Conn. : JAI Press Inc., 1984-
15.

図書
図書
15. Access2.0パーフェクトガイド : データベースの設計・管理からAccess Basicプログラミングまでを完全解説
Walter R.Bruce,III, Dan Madoni, Rich Wolf共著 ; エディックス訳 ; 翔泳社テクニカルコア編
出版情報: 東京 : 翔泳社, 1995.7
16.

図書
図書
16. Latexマクロの八衢
藤田眞作著
出版情報: 東京 : アジソン・ウェスレイ・パブリッシャーズ・ジャパン , 東京 : 星雲社 (発売), 1995.12
シリーズ名: Higher education computer series ; 15
17.

図書
図書
17. プログラマに捧げるGNU Emacsガイドブック : カスタマイズに挑戦!
亀井信義, 舘野信行著
出版情報: 東京 : 技術評論社, 1993.12
18.

図書
図書
18. ソフトウェア現場力ハンドブック
松本吉弘編
出版情報: 東京 : オーム社, 2009.4
19.

図書
図書
19. Symbolic model checking for large software specifications
by Woon Chung Chan
出版情報: Ann Arbor, Mich. : UMI Dissertaion Services, 2000,c1999
20.

図書
図書
20. Engineering theories of software construction
edited by Tony Hoare, Manfred Broy and Ralf Steinbrüggen
出版情報: Amsterdam ; Tokyo : IOS Press, c2001
シリーズ名: NATO science series ; Series 3 . Computer and Systems sciences (ISSN 1387-6694) ; v. 180
21.

図書
図書
21. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Kousha Etessami, Sriram K. Rajamani (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3576
22.

図書
図書
22. Real-time and embedded computing systems and applications : 9th International Conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003, revised papers
Jing Chen, Seongsoo Hong (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2968
23.

図書
図書
23. Handbook of automated reasoning
editors, Alan Robinson and Andrei Voronkov
出版情報: Amsterdam ; New York : Elsevier , Cambridge, Mass. : MIT Press, c2001
24.

図書
図書
24. Behavioral intervals in embedded software : timing and power analysis of embedded real-time software processes
by Fabian Wolf
出版情報: Dordrecht : Kluwer Academic, c2002
25.

図書
図書
25. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3147
26.

図書
図書
26. Systems and software verification : model-checking techniques and tools
B. Bérard ... [et al.]
出版情報: Berlin ; New York : Springer, c2001