1.

図書
図書
1. Mobile and wireless communication networks : IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communication Networks, August 20-25,2006,Santiago, Chile
edited by Guy Pujolle
出版情報: New York : Springer, 2006
シリーズ名: The International Federation for Information Processing ; 211
所蔵情報: loading…
2.

図書
図書
2. Ad-Hoc networking : IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25,2006,Santiago, Chile
edited by Khaldoun Al Agha
出版情報: New York : Springer, 2006
シリーズ名: The International Federation for Information Processing ; 212
所蔵情報: loading…
3.

図書
図書
3. 書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
研究代表者 大山口通夫
出版情報: [津] : [大山口通夫], 2006.4
シリーズ名: 科学研究費補助金(基盤研究C)研究成果報告書 ; 平成15年度-17年度
所蔵情報: loading…
4.

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

図書
図書
5. Cryptography and network security. International ed
Atul Kahate
出版情報: Boston : McGraw-Hill, 2003
所蔵情報: loading…
6.

図書
図書
6. Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
7.

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

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

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

図書
図書
10. Proceedings, 18th International Parallel and Distributed Processing Symposium : Santa Fe, New Mexico, April 26-30, 2004
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, c2004
所蔵情報: loading…