Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON FUTURE INTELLIGENT EARTH OBSERVATION SATELLITES
WANG CHAO,ROGER KING,YAN DONGMEI,ZHOU GUOQING2007 年出版639 页ISBN:9787030194022
本书内容涉及未来对地观测领域的发展、新型卫星平台技术、新型传感器技术及中国对地观测与导航技术。
RILEM TECHNICAL COMMITTEE 195-DTD RECOMMENDATION FOR TEST METHODS FOR AD AND TD OF EARLY AGE CONCRET
MATIAS KRAUSS2015 年出版93 页ISBN:9789401792653
CELL AND MOLECULAR BIOLOGY THIRD EDITION
GERALD KARP2002 年出版786 页ISBN:7040112477
本书自1996年出版第一版后,在美国Florida、Colorado等大学首先使用,后又被其他大学所选用;第二版还被香港、澳门和台湾等地大学以及新加坡、日本等国高校作为教材使用。本书在编写风格上较其他美国流行教材具...
麻省理工学院如何追求卓越=PURSUING THE ENDLESS FRONTIER:ESSAYS ON MIT AND THE ROLE OF RESEARCH UNIVERS
(美)查尔斯·维斯特著;蓝劲松主译2013 年出版242 页ISBN:
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN: