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

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Biomedical Image Registration [electronic resource] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings

0
索取号：
作者：Dawant、 Beno卯t M.、Christensen、 Gary E.、Fitzpatrick、 J. Michael.、Rueckert、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Breast Imaging [electronic resource] : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

0
索取号：
作者：Maidment、 Andrew D. A.、Bakic、 Predrag R.、Gavenonis、 Sara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data Integration in the Life Sciences [electronic resource] : 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings

0
索取号：
作者：Bodenreider、 Olivier.、Rance、 Bastien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Auctions, Market Mechanisms, and Their Applications [electronic resource] : Second International ICST Conference, AMMA 2011, NewYork, NY, USA, August 22-23, 2011, Revised Selected Papers

0
索取号：
作者：Coles、 Peter.、Das、 Sanmay.、Lahaie、 S茅bastien.、Szymanski、 Boleslaw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Business [electronic resource] : Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

0
索取号：
作者：Cusumano、 Michael A.、Iyer、 Bala.、Venkatraman、 N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Modeling and Simulation in Engineering, Economics and Management [electronic resource] : International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

0
索取号：
作者：Engemann、 Kurt J.、Gil-Lafuente、 Anna M.、Merig贸、 Jos茅 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Bioinformatics Research and Applications [electronic resource] : 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings

0
索取号：
作者：Bleris、 Leonidas.、M膬ndoiu、 Ion.、Schwartz、 Russell.、Wang、 Jianxin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

0
索取号：
作者：Peffers、 Ken.、Rothenberger、 Marcus.、Kuechler、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

0
索取号：
作者：Khurshid、 Sarfraz.、Sen、 Koushik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile Computing, Applications, and Services [electronic resource] : Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

0
索取号：
作者：Gris、 Martin.、Yang、 Guang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Quality, Reliability, Security and Robustness in Heterogeneous Networks [electronic resource] : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

0
索取号：
作者：Zhang、 Xi.、Qiao、 Daji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Leveraging Technology for a Sustainable World [electronic resource] : Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012

0
索取号：
作者：Dornfeld、 David A.、Linke、 Barbara S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Social Computing, Behavioral - Cultural Modeling and Prediction [electronic resource] : 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings

0
索取号：
作者：Yang、 Shanchieh Jay.、Greenberg、 Ariel M.、Endsley、 Mica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

0
索取号：
作者：Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Topics in Cryptology-CT-RSA 2012 [electronic resource] : The Cryptographers鈥Բack at the RSA Conference 2012, San Francisco, CA, USA, February 27 鈥͡rch 2, 2012. Proceedings

0
索取号：
作者：Dunkelman、 Orr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.