大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Francisco 的图书(共246本)

Theory of Cryptography [electronic resource] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings

0
索取号：
作者：Reingold、 Omer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Bio-inspired Algorithms for the Vehicle Routing Problem [electronic resource]

0
索取号：
作者：Pereira、 Francisco Babtista.、Tavares、 Jorge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Life-Threatening Dermatoses and Emergencies in Dermatology [electronic resource]

0
索取号：
作者：Revuz、 Jean.、Roujeau、 Jean-Claude.、Kerdel、 Francisco A.、Valeyrie-Allanore、 Laurence.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Topics in Cryptology-CT-RSA 2008 [electronic resource] : The Cryptographers鈥Բack at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

0
索取号：
作者：Malkin、 Tal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

0
索取号：
作者：Hudak、 Paul.、Warren、 David S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

0
索取号：
作者：Botana、 Francisco.、Recio、 Tomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

0
索取号：
作者：Bondavalli、 Andrea.、Brasileiro、 Francisco.、Rajsbaum、 Sergio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Azevedo、 Francisco.、Barahona、 Pedro.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fuzzy Sets and Their Extensions: Representation, Aggregation and Models [electronic resource]

0
索取号：
作者：Bustince、 Humberto.、Herrera、 Francisco.、Montero、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Selected Contributions in Data Analysis and Classification [electronic resource]

0
索取号：
作者：Brito、 Paula.、Cucumel、 Guy.、Bertrand、 Patrice.、Carvalho、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rural Analysis and Management [electronic resource] : An Earth Science Approach to Rural Science

0
索取号：
作者：Tapiador、 Francisco J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational and Ambient Intelligence [electronic resource] : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebasti谩n, Spain, June 20-22, 2007. Proceedings

0
索取号：
作者：Sandoval、 Francisco.、Prieto、 Alberto.、Cabestany、 Joan.、Gra帽a、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Graph-Based Representations in Pattern Recognition [electronic resource] : 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007. Proceedings

0
索取号：
作者：Escolano、 Francisco.、Vento、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

0
索取号：
作者：Ibarra、 Oscar H.、Ravikumar、 Bala.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.