close
1.

図書
図書
1. Multiagent-based intelligent environments : collaborative design as a framework
Jaewook Lee
出版情報: Saarbrücken : VDM Verlag Dr. Müller, 2008
所蔵情報: loading…
2.

図書
図書
2. Syntactica : version 1.0 (for NEXTSTEP). Nextstep ed
by Richard K. Larson ...[et al.]
出版情報: Cambridge, Mass. : The MIT Press, c1996
所蔵情報: loading…
3.

図書
図書
3. Modelling, state observation and diagnosis of quantised systems (pbk.)
Jochen Schröder
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in control and information sciences ; 282
Engineering online library
所蔵情報: loading…
4.

図書
図書
4. Modeling and inverse problems in imaging analysis
Bernard Chalmond
出版情報: New York : Springer, c2003
シリーズ名: Applied mathematical sciences ; v. 155
所蔵情報: loading…
5.

図書
図書
5. Intelligent control and automation : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006
De-Shuang Huang, Kang Li, George W. Irwin (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in control and information sciences ; 344
所蔵情報: loading…
6.

図書
図書
6. Intelligent computing in signal processing and pattern recognition : International Conference on Intelligent Computing, ICIC 2006 Kunming, China, August, 16-19 2006
De-Shuang Huang, Kang Li, George W. Irwin (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in control and information sciences ; 345
所蔵情報: loading…
7.

図書
図書
7. Quantum computation : a grand mathematical challenge for the twenty-first century and the millennium : American Mathematical Society Short Course, January 17-18, 2000, Washington, DC
Samuel J. Lomonaco Jr., editor
出版情報: Providence, R.I. : American Mathematical Society, c2002
シリーズ名: Proceedings of symposia in applied mathematics ; v. 58 . AMS short course lecture notes
所蔵情報: loading…
8.

図書
図書
8. Inverse problems, image analysis, and medical imaging : AMS Special Session on Interaction of Inverse Problems and Image Analysis, January 10-13, 2001, New Orleans, Louisiana
M. Zuhair Nashed, Otmar Scherzer, editors
出版情報: Providence, R.I. : American Mathematical Society, c2002
シリーズ名: Contemporary mathematics ; 313
所蔵情報: loading…
9.

図書
図書
9. Genetic algorithms and their applications : proceedings of the Second International Conference on Genetic Algorithms, July 28-31, 1987, at the Massachusetts Institute of Technology, Cambridge, MA (: cloth ; : pbk)
sponsored by American Association for Artificial Intelligence, Naval Research Laboratory, Bolt Beranek and Newman, Inc. ; John J. Grefenstette, editor
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1987
所蔵情報: loading…
10.

図書
図書
10. Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
Wim H. Hesselink
出版情報: Cambridge ; New York : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 27
所蔵情報: loading…