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：
Principles of Database and Knowledge-Base Systems Volume II:The New Technologies
1989 年出版1137 页ISBN：071678162X
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Electronic Message Systems Proceedings of the international business strategy conference held in Lon
October 19861986 年出版392 页ISBN：
Lecture Notes in Computer Science 4878 Principles of Distributed Systems 11th International Conferen
OPODIS 20072007 年出版457 页ISBN：9783540770954
Lecture Notes in Computer Science 4518 Comparative Evaluation of XML Information Retrieval Systems 5
INEX 20062007 年出版554 页ISBN：9783540738879
