STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS
JAMES F.DOYLE1991 年出版448 页ISBN:
Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN:3540219609
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084