DIE METHODE DER FINITEN ELEMENTE IN DER ELEMENTAREN STRUKTURMECHANIK BAND II KRAFT-UND GEMISCHTE MET
NICHTLINEARITATEN1987 年出版614 页ISBN:3528089202
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN:3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用
George W. Bluman ; Alexei F. Cheviakov ; Stephen C. Anco2015 年出版398 页ISBN:7510086267
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN: