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

Logic, Language, Information and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

0
索取号：
作者：Beklemishev、 Lev D.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integer Programming and Combinatoral Optimization [electronic resource] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

0
索取号：
作者：G眉nl眉k、 Oktay.、Woeginger、 Gerhard J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

0
索取号：
作者：Meyden、 Ron.、Smaus、 Jan-Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

0
索取号：
作者：Jain、 Hemant.、Sinha、 Atish P.、Vitharana、 Padmal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Business Process Management Workshops [electronic resource] : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers

0
索取号：
作者：Muehlen、 Michael.、Su、 Jianwen.、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.

Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings

0
索取号：
作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

0
索取号：
作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

0
索取号：
作者：Bravetti、 Mario.、Bultan、 Tevfik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory of Cryptography [electronic resource] : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings

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

Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers

0
索取号：
作者：Maximilien、 E. Michael.、Rossi、 Gustavo.、Yuan、 Soe-Tsyr.、Ludwig、 Heiko.、Fantinato、 Marcelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

High Performance Computing for Computational Science-VECPAR 2010 [electronic resource] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

0
索取号：
作者：Palma、 Jos茅 M. Laginha M.、Dayd茅、 Michel.、Marques、 Osni.、Lopes、 Jo茫o Correia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Passive and Active Measurement [electronic resource] : 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings

0
索取号：
作者：Spring、 Neil.、Riley、 George F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Topics in Cryptology-CT-RSA 2011 [electronic resource] : The Cryptographers鈥Բack at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings

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

Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

0
索取号：
作者：Rocha、 Ricardo.、Launchbury、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.