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:
先进纳米薄膜材料 制备方法及应用 = ADVANCED NANO DEPOSITION METHODS
林媛,陈新主编2017 年出版309 页ISBN:9787122291585
本书主要介绍使用各种先进的薄膜沉积技术来制备各种纳米结构薄膜,并介绍这些制备技术和相关纳米结构薄膜的一些新应用。除传统的薄膜沉积技术以外,本书也将介绍近年来新发展的一些制备技术。具体而言,本书分为...