Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007
2007 年出版890 页ISBN:9783540749691
Medical Image Computing and Computer-Assisted Intervention-MICCAI 2005 8th International Conference
2005 年出版942 页ISBN:3540293272
PROCEEDINGS OF THE ELEVENTH INTERNATIONAL SYMPOSIUM ON STRUCTURAL ENGINEERING Volume II
Jie Cui,Feng Xing2010 年出版2289 页ISBN:9787030295309
本书为第十一届国际结构工程研讨会的论文集,第十一届国际结构工程研讨会将于2010年12月18日~20日在中国广州召开。本次会议接收的论文为国内外结构工程领域的研究人员及专家近两年所取得的最新成果,具体内容包...
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN: