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：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
转型时代 武汉城市经济转型研究 Wuhan urban economy transformation research
武汉转型研究课题组著；李立华主编2015 年出版188 页ISBN：9787568001465
本书是以中国经济奇迹为背景对武汉城市经济转型进行的系统研究。通常人们对中国经济奇迹这一现象的认识是从整体上的观察和剖析，本书则尝试从武汉城市经济发展历程这一个体来提供对“中国奇迹”解释的更清晰...
先进纳米薄膜材料 制备方法及应用 = ADVANCED NANO DEPOSITION METHODS
林媛，陈新主编2017 年出版309 页ISBN：9787122291585
本书主要介绍使用各种先进的薄膜沉积技术来制备各种纳米结构薄膜，并介绍这些制备技术和相关纳米结构薄膜的一些新应用。除传统的薄膜沉积技术以外，本书也将介绍近年来新发展的一些制备技术。具体而言，本书分为...
