1.

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

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

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

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

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

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

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

図書
図書
8. Systems and software verification : model-checking techniques and tools
B. Bérard ... [et al.]
出版情報: Berlin ; New York : Springer, c2001
所蔵情報: loading…
9.

図書
図書
9. Handbook of automated reasoning (Elsevier: set - MIT: v. 2)
editors, Alan Robinson and Andrei Voronkov
出版情報: Amsterdam ; New York : Elsevier , Cambridge, Mass. : MIT Press, c2001
所蔵情報: loading…
10.

図書
図書
10. Proceedings, 42nd IEEE Symposium on Foundations of Computer Science, October 14-17, 2001, Las Vegas, Nevada, USA (: case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…