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
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
Jordan structures in geometry and analysis
Cho-Ho Chu2012 年出版261 页ISBN：1107016170;1107016177
Essentials Of COBOL Programming:A Structured Approach
1982 年出版145 页ISBN：091489434X
VIBRATION ANALYSIS AND STRUCTURAL DYNAMICS FOR CIVIL ENGINEERS
AOPHOSE ZINGONI2015 年出版252 页ISBN：9780415522564
META-ANALYSIS A STRUCTURAL EQUATION MODELING APPROACH
MIKE W.-L.CHEUNG2015 年出版378 页ISBN：1119993438
THEORY AND PRACTICE IN FINITE ELEMENT STRUCTURAL ANALYSIS
YOSHIAKI YAMADA RICHARD H. GALLAGHER2222 年出版733 页ISBN：
