Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop 相关电子书下载

Myra Myklebust2014 年出版0 页ISBN：

eleni stroulia and stan matwin2001 年出版368 页ISBN：3540421440

朱晋蜀编著1998 年出版170 页ISBN：7810438514

ARNE THESEN1978 年出版268 页ISBN：0126861501

IRWIN SPERBER1990 年出版304 页ISBN：0816617597

robin cohen and bruce spencer2002 年出版376 页ISBN：354043724X

John C. Thomas1984 年出版276 页ISBN：

John M.Carroll1983 年出版115 页ISBN：

ISJPPE 2012 SCIENFIFIC COMMITTEE2012 年出版774 页ISBN：9787561234419

本书共分为6个部分，共包含6篇特邀报告和113篇论文，主要内容包括：叶轮机、内流和声学；传热传质；多相流，反应流和燃烧；选进材料，结构强度、振动和可靠性；推进发动机设计，控制和健康管理；与喷气推进与动力工程......

MARILYN BAILEY OGILVIE1986 年出版254 页ISBN：