Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / 订购中 (含光盘)

著者: Hinchey Michael G. Larrondo-Petrie Mar铆a M.

出版社: Springer-Verlag Berlin Heidelberg,   出版日期: 2007.

文献类型: 非书资料 , 索书号:

Constrained Control and Estimation: An Optimisation Approach / 订购中 (含光盘)

著者: Don谩 Jos茅 A. Seron Mar铆a M.

出版社: Springer-Verlag London Limited,   出版日期: 2005.

文献类型: 非书资料 , 索书号:

Inner Speech 鈥? L2: Thinking Words in a Second Language / 订购中 (含光盘)

著者: by Mar铆a C.M. Guerrero.

出版社: Springer Science+Business Media, Inc.,   出版日期: 2005.

文献类型: 非书资料 , 索书号:

Cell Death in Mammalian Ovary 订购中 (含光盘)

著者: Escobar Mar铆a Luisa. De Felici M. Echeverr铆a Olga Margarita. Klinger Francesca Gioia.

出版社: Springer Netherlands,   出版日期: 2011.

文献类型: 非书资料 , 索书号:

Service Robotics within the Digital Home: Applications and Future Prospects / 订购中 (含光盘)

著者: Fern谩ndez Mercedes. Maestre Jos茅 M. Garc铆a Fuente Mar铆a del Pilar Almudena.

出版社: Springer Netherlands,   出版日期: 2011.

文献类型: 非书资料 , 索书号:

Valuation and Conservation of Biodiversity: Interdisciplinary Perspectives on the Convention on Biological Diversity / 订购中 (含光盘)

著者: Buse Ralph. Garrelts Heiko. M谩帽ez Costa Mar铆a A. Marggraf Rainer. Menzel Susanne.

出版社: Springer-Verlag Berlin Heidelberg,   出版日期: 2005.

文献类型: 非书资料 , 索书号:

Towards Advanced Data Analysis by Combining Soft Computing and Statistics 订购中 (含光盘)

著者: Gil Mar铆a 脕ngeles. Sousa Jo茫o M.C. Verleysen Michel.

出版社: Springer Berlin Heidelberg :   出版日期: 2013.

文献类型: 非书资料 , 索书号:

Soft Methods for Handling Variability and Imprecision 订购中 (含光盘)

著者: Lubiano M. Asunci贸n. Prade Henri. Gil Mar铆a 脕ngeles. Grzegorzewski Przemys艂aw. Hryniewicz Olgierd.

出版社: Springer Berlin Heidelberg,   出版日期: 2008.

文献类型: 非书资料 , 索书号:

Highlights on Practical Applications of Agents and Multi-Agent Systems: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems / 订购中 (含光盘)

著者: S谩nchez Miguel A. Mathieu Philippe. Rodr铆guez Juan M. Corchado. Adam Emmanuel. Ortega Alfonso. Moreno Mar铆a N. Navarro Elena. Hirsch Benjamin. Lopes-Cardoso Henrique. Juli谩n Vicente.

出版社: Springer Berlin Heidelberg,   出版日期: 2012.

文献类型: 非书资料 , 索书号:

Trends in Practical Applications of Agents and Multiagent Systems: 11th International Conference on Practical Applications of Agents and Multi-Agent Systems / 订购中 (含光盘)

著者: Hermoso Ramon. Moreno Mar铆a N. Rodr铆guez Juan M. Corchado. Hirsch Benjamin. Mathieu Philippe. Campbell Andrew. Suarez-Figueroa Mari Carmen. Ortega Alfonso. Adam Emmanuel. Navarro Elena.

出版社: Springer International Publishing :   出版日期: 2013.

文献类型: 非书资料 , 索书号: