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