Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
INELASTICITY OF MATERIALS An Engineering Approach and a Practical Guide Series on Advances in Mathem
2009 年出版545 页ISBN:9789812837493