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:
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN:0792396502
Short protocols in cell biology science a compendium of methods from Current protocols in cell biolo
Juan S. Bonifacino ; Mary Dasso ; Joe B. Harford ; Jennifer Lippincott-Schwartz ; Kenneth M. Yamada2004 年出版802 页ISBN:0471483397