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
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
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
空间可视分析方法和应用 Methods and applications of spatial visibility analysis eng
应申，李霖著2007 年出版161 页ISBN：9787503017704
本书从视觉生理学和心理学出发，对空间可视分析进行定义分类，探讨了空间可视分析在地理信息科学中的理论基础，并针对可视计算的各种关键技术，分析并提出了平面和三维地形中的不同计算方法，并结合实例探讨了空间可...
STRUCTURAL ANALYSIS:A UNIFIED CLASSICAL AND MATRIX APPROACH SECOND EDITION
A.GHALL A.M.NEVILLE2222 年出版779 页ISBN：0412149907
STRUCTURAL ANALYSIS:A UNIFIED CLASSICAL AND MATRIX APPROACH SIXTH EDITION
A.GHALL A.M.NEVILLE AND T.G.BROWN2009 年出版836 页ISBN：9780415774338
Case Histories in Vibration Analysis and Metal Fatigue for the Practicing Engineer
Anthony Sofronas2012 年出版288 页ISBN：9781118169469
Lecture Notes in Computer Science 51 Matrix Eigensystem Routines-EISPACK Guide Extension
1977 年出版342 页ISBN：3540082549
