大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium in Pure Mathematics (4th : 1960 : University of California) 的图书(共5647本)

Finite Volumes for Complex Applications VI Problems & Perspectives [electronic resource] : FVCA 6, International Symposium, Prague, June 6-10, 2011

0
索取号:
作者:Fo艡t、 Jaroslav.、F眉rst、 Ji艡铆.、Halama、 Jan.、Herbin、 Rapha猫le.、Hubert、 Florence.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

0
索取号:
作者:Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

GeoSpatial Semantics [electronic resource] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

0
索取号:
作者:Claramunt、 Christophe.、Levashkin、 Sergei.、Bertolotto、 Michela.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号:
作者:Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Large-Scale Multimedia Information Management and Retrieval [electronic resource] : Mathematics of Perception

0
索取号:
作者:Chang、 Edward Y.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

0
索取号:
作者:Bobaru、 Mihaela.、Havelund、 Klaus.、Holzmann、 Gerard J.、Joshi、 Rajeev.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Geodesy for Planet Earth [electronic resource] : Proceedings of the 2009 IAG Symposium, Buenos Aires, Argentina, 31 August 31 - 4 September 2009

0
索取号:
作者:Kenyon、 Steve.、Pacino、 Maria Christina.、Marti、 Urs.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Environment and the Formation of Galaxies: 30 years later [electronic resource] : Proceedings of Symposium 2 of JENAM 2010

0
索取号:
作者:Ferreras、 Ignacio.、Pasquali、 Anna.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Software and Data Technologies [electronic resource] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers

0
索取号:
作者:Cordeiro、 Jos茅.、Ranchordas、 AlpeshKumar.、Shishkov、 Boris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

0
索取号:
作者:Vetulani、 Zygmunt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings

0
索取号:
作者:Ralyt茅、 Jolita.、Mirbel、 Isabelle.、Deneck猫re、 R茅becca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011)

0
索取号:
作者:Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Symposium on Distributed Computing and Artificial Intelligence [electronic resource]

0
索取号:
作者:Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

0
索取号:
作者:Qi、 Luo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号:
作者:Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号:
作者:Barthe、 Gilles.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类