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
所蔵情報: loading…
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
所蔵情報: loading…
3.

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

図書
図書
4. Rebel code : linux and the open source revolution
Glyn Moody
出版情報: London : Allen Lane The Penguin Press, 2001
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
8.

図書
図書
8. System design with SystemC
Thorsten Grötker ... [et al.]
出版情報: Boston, [MA] : Kluwer Academic Publishers, c2002
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
22.

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

図書
図書
23. 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
所蔵情報: loading…
24.

図書
図書
24. 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
所蔵情報: loading…
25.

図書
図書
25. 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
所蔵情報: loading…
26.

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

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

図書
図書
28. 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
所蔵情報: loading…