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. 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…
4.

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

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

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

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

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

図書
図書
9. Human-robot interaction : special issue
Sara Kiesler...[et al.]
出版情報: Mahwah, N.J. : Lawrence Erlbaum Associates, 2004
シリーズ名: Human-computer interaction ; v. 19, no. 1 & 2
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the sixth workshop on algorithm engineering and experiments and the first workshop on analytic algorithmics and combinatorics
edited by Lars Arge, Giuseppe F. Italiano, and Robert Sedgewick
出版情報: Philadelphia : Society for Industrial and Applied Mathematics, c2004
所蔵情報: loading…
11.

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

図書
図書
12. Codes : an introduction to information communication and cryptography
Norman L. Biggs
出版情報: London : Springer, c2008
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
13.

図書
図書
13. Research on information society and social systems
edited by Munenori Kitahara, Koshiro Ota, Yoshinobu Arisada
出版情報: Fukuoka-shi : Kyushu University Press, c2008
シリーズ名: 広島修道大学学術選書 ; v. 44
所蔵情報: loading…
14.

図書
図書
14. Computability and complexity theory. 2nd ed.
Steven Homer, Alan L. Selman
出版情報: New York : Springer, c2011
シリーズ名: Texts in computer science
所蔵情報: loading…
15.

図書
図書
15. The U.S. information economy : value, employment, industry structure, and trade
Uday Apte, Uday Karmarkar, Hiranya Nath
出版情報: Boston : Now, c2012
シリーズ名: Foundations and trends [R] in technology, information and operations management ; 6:1(2012)
所蔵情報: loading…
16.

図書
図書
16. Dynamic vision : from images to face recognition
Shaogang Gong, Stephen J. McKenna, Alexandra Psarrou
出版情報: London : Imperial College Press, c2000
所蔵情報: loading…
17.

図書
図書
17. Proceedings, 14th International Parallel and Distributed Processing Symposium : IPDPS 2000, 1-5 May 2000, Cancun, Mexico
sponsors, IEEE Computer Society Technical Committee on Parallel Processing, Association for Computing Machinery
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000
所蔵情報: loading…
18.

図書
図書
18. Multiple view geometry in computer vision
Richard Hartley, Andrew Zisserman
出版情報: Cambridge : Cambridge University Press, c2000
所蔵情報: loading…
19.

図書
図書
19. Feynman lectures on computation (: pbk)
Richard P. Feynman ; edited by Tony Hey and W. Allen
出版情報: Cambridge : Perseus, 2000
所蔵情報: loading…
20.

図書
図書
20. Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, 19-21 January 2000
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000
所蔵情報: loading…
21.

図書
図書
21. Data mining using grammar based genetic programming and applications
by Man Leung Wong, Kwong Sak Leung
出版情報: Boston : Kluwer Academic, c2000
シリーズ名: Genetic programming series ; GPEM 3
所蔵情報: loading…
22.

図書
図書
22. Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes (: pbk)
sponsored by IEEE Computer Society Technical society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
23.

図書
図書
23. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
24.

図書
図書
24. Parallel programming in C with MPI and OpenMP
Michael J. Quinn
出版情報: New York : McGraw-Hill, c2004
シリーズ名: McGraw-Hill higher education
所蔵情報: loading…
25.

図書
図書
25. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
26.

図書
図書
26. Proceedings : International Parallel and Distributed Processing Symposium, April 15-19, 2002, Ft. Lauderdale, Florida, USA
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
27.

図書
図書
27. Data management and internet computing for image/pattern analysis
by David Zhang, Xiaobo Li, Zhiyong Liu
出版情報: Boston : Kluwer Academic, c2001
シリーズ名: Kluwer international series on Asian studies in computer and information science ; 11/a
所蔵情報: loading…
28.

図書
図書
28. Invariants for pattern recognition and classification
editor, Marcos A. Rodrigues
出版情報: Singapore : World Scientific, c2000
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 42
所蔵情報: loading…
29.

図書
図書
29. Proceedings, 15th International Parallel and Distributed Processing Symposium : San Francisco, California, USA, April 23-27, 2001
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
30.

図書
図書
30. WAINS 7 : proceedings of the 7th International Workshop on Academic Information Networks and Systems : Joint study of global sharing of digital assets of scientific and cultural information : December 7-8, 2000, Kasetsart University, Bangkok, Thailand
小野欽司研究代表
出版情報: 東京 : 国立情報学研究所, 2000.12
所蔵情報: loading…
31.

図書
図書
31. Growth and development of the IT industry in Bangalore and Singapore : a comparative study
Chia Siow Yue ... [et al.]
出版情報: New Delhi : Sterling Publishers, c2001
所蔵情報: loading…
32.

図書
図書
32. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
33.

図書
図書
33. Multispectral image processing and pattern recognition
editors, Jun Shen, P.S.P. Wang, Tianzu Zhang
出版情報: Singapore : World Scientific, c2001
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 44
所蔵情報: loading…
34.

図書
図書
34. Bayesian approach to image interpretation
Sunil K. Kopparapu, Uday B. Desai
出版情報: Boston : Kluwer Academic, c2001
シリーズ名: The Kluwer international series in engineering and computer science
所蔵情報: loading…
35.

図書
図書
35. Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
36.

図書
図書
36. Intelligent agent technology : research and development : proceedings of the 2nd Asia-Pacific Conference on IAT
editors, Ning Zhong ... [et al.]
出版情報: New Jersey : World Scientific, c2001
所蔵情報: loading…
37.

図書
図書
37. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
38.

図書
図書
38. Fast motions in biomechanics and robotics : optimization and feedback control
Moritz Diehl, Katja Mombaur (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in control and information sciences ; 340
所蔵情報: loading…
39.

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

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

図書
図書
41. Proceedings, International Parallel and Distributed Processing Symposium : April 22-26, 2003, Nice, France
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. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
42.

視聴覚資料
ＡＶ
42. Internet research : what's credible?
出版情報: 東京 : グローバル・リンケージ [distributor] , New York, N.Y. : Films Media Group : Films for the Humanities & Sciences, c2015
所蔵情報: loading…
43.

視聴覚資料
ＡＶ
43. Digital communication skills dos and don'ts
出版情報: 東京 : グローバル・リンケージ [distributor] , New York, N.Y. : Films Media Group : Films for the Humanities & Sciences, c2015
所蔵情報: loading…
44.

図書
図書
44. Programming for mathematicians
Raymond Séroul ; translated from the French by Donal O'Shea
出版情報: Berlin ; Tokyo : Springer, c2000
シリーズ名: Universitext
所蔵情報: loading…
45.

図書
図書
45. Sets and numbers, graphs and algebra, logic and machines, linear geometry. 2nd ed
Guerino Mazzola, Gérard Milmeister, Jody Weissmann
出版情報: Berlin : Springer, c2006
シリーズ名: Universitext ; . Comprehensive mathematics for computer scientists ; 1
所蔵情報: loading…
46.

図書
図書
46. The mathematics of networks of linear systems
Paul A. Fuhrmann, Uwe Helmke
出版情報: Cham : Springer, c2015
シリーズ名: Universitext
所蔵情報: loading…
47.

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

図書
図書
48. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: loading…
49.

図書
図書
49. Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…
50.

図書
図書
50. Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007,
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…