Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
东盟十国基本国情及投资风险评估 ＝ CURRENT COUNTRY FACTS AND INVESTMENT RISK ANALYSIS OF ASEAN TEN
范若兰主编2016 年出版547 页ISBN：7516190678
可靠性·维修性·保障性技术丛书 9 保障性设计分析与评价=DESIGN，ANALYSIS AND EVALUATION OF SUPPORTABILITY
王自力丛书主编2012 年出版0 页ISBN：
ADSTRCTING GEOGRAPHIC INFORMATION IN A DATA RICH WORLD METHODOLOGIES AND APPLICATIONS OF MAP GENERAL
DIRK BURGHARDT.CECILE DUCHENE2014 年出版407 页ISBN：9783319002026
Soft computing in design and manufacturing of composite material applications in brake friction and
Dragan Aleksendric ; Pierpaolo Carlone2015 年出版294 页ISBN：1782421795
A STRUGGLE BETWEEN TWO LINES OVER THE QUESTION OF HOW TO DEAL WITH U.S.IMPERIALISM
FAN HSIU-CHU1965 年出版41 页ISBN：
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
