1.

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

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

図書
図書
3. 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…
4.

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

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

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

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

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

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