1.

図書
図書
1. Introduction and development guidelines. 4th ed
Hans J. Johnson ... [et al.]
出版情報: [S.l.] : Kitware, 2015
シリーズ名: The ITK software guide : updated for ITK version 4.7 ; book 1
2.

図書
図書
2. Design and Functionality. 4th ed
Hans J. Johnson ... [et al.]
出版情報: [S.l.] : Kitware, 2015
シリーズ名: The ITK software guide : updated for ITK version 4.7 ; book 2
3.

図書
図書
3. Microsoft Access 2002 : 10 minute guide
Joe Habraken
出版情報: Indianapolis : Que, c2002
4.

図書
図書
4. Rebel code : linux and the open source revolution
Glyn Moody
出版情報: London : Allen Lane The Penguin Press, 2001
5.

図書
図書
5. 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
6.

図書
図書
6. 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
7.

図書
図書
7. 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
8.

図書
図書
8. System design with SystemC
Thorsten Grötker ... [et al.]
出版情報: Boston, [MA] : Kluwer Academic Publishers, c2002
9.

図書
図書
9. 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
10.

図書
図書
10. 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
11.

図書
図書
11. 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
12.

図書
図書
12. 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
13.

図書
図書
13. 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
14.

図書
図書
14. X window system user's guide. OSF/motif edition
by Valerie Quercia and Tim O'Reilly
出版情報: Sebastopol, Calif. : O'Reilly & Associates, 1991
シリーズ名: X window system series ; v. 3
15.

図書
図書
15. Desigining user interfaces for hypermedia
W.Schuler, J.Hannemann, N.Streitz (eds.)
出版情報: Berlin : Springer, c1995
シリーズ名: Research reports ESPRIT ; Project 6532, HIFI ; v. 1
16.

図書
図書
16. 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
17.

図書
図書
17. 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
18.

図書
図書
18. Computergestützte und maschinelle Übersetzung : praktische Anwendungen und angewandte Forschung = Computer-aided and machine translation : practical application and applied research
Heinz-Dirk Luckhardt, Harald H. Zimmermann
出版情報: Dudweiler : AQ-Verlag, 1991
シリーズ名: Sprachwissenschaft, Computerlinguistik ; Bd. 14
19.

図書
図書
19. Writing proposals. 2nd ed
Richard Johnson-Sheehan
出版情報: New York : Longman, c2008
シリーズ名: The Allyn and Bacon series in technical communication / series editor: Sam Dragga
20.

図書
図書
20. GNU Octave beginner's guide : Become a proficient octave user by learning this high-level scientific numerical tool from the ground up
Jasper Schmidt Hansen
出版情報: Birmingham : Pact Publishing, 2011
シリーズ名: Packt open source
21.

図書
図書
21. Microcomputer decision support systems : design, implementation, and evaluation
edited by Stephen J. Andriole
出版情報: Wellesley, Mass. : QED Information Sciences , Amesterdam : Distributed outside the U.S.A. and Canada by North-Holland, c1986
22.

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

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

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

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

図書
図書
26. 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
27.

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

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

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

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