Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
EARTH SCIENCE SATELLITE REMOTE SENSING VOLUME 1:SCIENCE AND INSTRUMENTS
[美]曲等主编2006 年出版418 页ISBN:
TOWARD INNOVATIVE NUCLEAR SAFETY AND SIMULATION TECHNOLOGY VOLUME 1
《创新型核安全与仿真技术》编委会编2008 年出版338 页ISBN:9787811333060
TOWARD INNOVATIVE NUCLEAR SAFETY AND SIMULATION TECHNOLOGY VOLUME 2
《创新型核安全与仿真技术》编委会编2008 年出版349 页ISBN:9787811333060
Advanced Power Cable Technology Volume II Present and Future
Toshikatsu Tanaka1983 年出版282 页ISBN:
INTERNATIONAL SCIENCE AND TECHNOLOGY COOPERATION IN A GLOBALIZED WORLD:THE EXTERNAL DIMENSION OF THE
HEIKO PRANGE GSTOHL2009 年出版248 页ISBN:9781849801645
GOD AND THE CHIP RELIGION AND THE CULTURE OF TECHNOLOGY VOLUME 24
WILLIAM A.STAHL1999 年出版190 页ISBN:0889203210
photonics. photonics technology and instrumentation. volume iii scientific foundations
technology and applications (volume 3)2222 年出版0 页ISBN:
HISTOCHEMISTRY THEORETICAL AND APPLIED VOLUME 1 PREPARATIVE AND OPTICAL TECHNOLOGY FOURTH EDITION
A.G.EVERSON PEARSE2222 年出版439 页ISBN:0443019983