大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 pro*c 的图书(共20808本)

International Steam Tables [electronic resource] : Properties of Water and Steam Based on the Industrial Formulation IAPWS-IF97

0
索取号:
作者:Wagner、 Wolfgang.、Kretzschmar、 Hans-Joachim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

0
索取号:
作者:Charikar、 Moses.、Jansen、 Klaus.、Reingold、 Omer.、Rolim、 Jos茅 D. P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

0
索取号:
作者:Huang、 De-Shuang.、Heutte、 Laurent.、Loog、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

0
索取号:
作者:Yuille、 Alan L.、Zhu、 Song-Chun.、Cremers、 Daniel.、Wang、 Yongtian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

0
索取号:
作者:Huang、 De-Shuang.、Heutte、 Laurent.、Loog、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings

0
索取号:
作者:Menezes、 Alfred.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

0
索取号:
作者:Weber、 Rosina O.、Richter、 Michael M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings

0
索取号:
作者:Giancarlo、 Raffaele.、Hannenhalli、 Sridhar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Speaker Classification II [electronic resource] : Selected Projects

0
索取号:
作者:M眉ller、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification

0
索取号:
作者:Bradley、 Aaron R.、Manna、 Zohar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Decision Procedures [electronic resource] : An Algorithmic Point of View

0
索取号:
作者:Kroening、 Daniel.、Strichman、 Ofer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applied Scanning Probe Methods X [electronic resource] : Biomimetics and Industrial Applications

0
索取号:
作者:Bhushan、 Bharat.、Tomitori、 Masahiko.、Fuchs、 Harald.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applied Scanning Probe Methods IX [electronic resource] : Characterization

0
索取号:
作者:Tomitori、 Masahiko.、Bhushan、 Bharat.、Fuchs、 Harald.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applied Scanning Probe Methods VIII [electronic resource] : Scanning Probe Microscopy Techniques

0
索取号:
作者:Bhushan、 Bharat.、Fuchs、 Harald.、Tomitori、 Masahiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

0
索取号:
作者:Nielson、 Hanne Riis.、Fil茅、 Gilberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Exoplanets [electronic resource] : Detection, Formation, Properties, Habitability

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