1.

図書
図書
1. Proceedings, 19th IEEE International Parallel and Distributed Processing Symposium : April 4-8, 2005, Denver, Colorado
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005
所蔵情報: loading…
2.

図書
図書
2. Cooperative control : a post-workshop volume 2003 block lsland workshop on cooperative control
V. Kumar, N. Leonard, A.S. Morse (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in control and information sciences ; 309
所蔵情報: loading…
3.

図書
図書
3. Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
4.

図書
図書
4. 前近代日本史料の構造と情報資源化の研究
研究代表者 石上英一
出版情報: [東京] : 石上英一, 2005.3
所蔵情報: loading…
5.

図書
図書
5. Introduction to computing systems : from bits and gates to C and beyond. 2nd ed., International ed
Yale N. Patt, Sanjay J. Patel
出版情報: New York : McGraw-Hill Higher Educaion, 2005, c2004
所蔵情報: loading…
6.

図書
図書
6. Implementing distributed systems with Java and CORBA
Markus Aleksy, Axel Korthaus, Martin Schader
出版情報: Berlin : Springer, c2005
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
8.

図書
図書
8. Component-based software testing with UML
Hans-Gerhard Gross
出版情報: Berlin : Springer, c2005
所蔵情報: loading…
9.

図書
図書
9. Abstract computing machines : a lambda calculus perspective
W. Kluge
出版情報: Heidelberg : Springer, c2005
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
10.

図書
図書
10. Computational ergodic theory
Geon Ho Choe
出版情報: Berlin : Springer, c2005
シリーズ名: Algorithms and computation in mathematics ; v. 13
所蔵情報: loading…