1.

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

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

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

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

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

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

図書
図書
7. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
8.

図書
図書
8. Computer-aided reasoning : an approach
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報: Boston ; Dordrecht ; London : Kluwer Academic, c2000
シリーズ名: Advances in formal methods / series editor, Michael Hinchey ; 3
所蔵情報: loading…
9.

図書
図書
9. 41st Annual Symposium on Foundations of Computer Science, 12-14 November 2000, Redondo Beach, California : proceedings (: case - :hard)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000
所蔵情報: loading…
10.

図書
図書
10. Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California (: case ; : pbk)
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000
所蔵情報: loading…
11.

図書
図書
11. Neuro-fuzzy pattern recognition
Editors, H.Bunke, A.Kandel
出版情報: Singapore : World Scientific, c2000
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; Vol. 41
所蔵情報: loading…