硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法
Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN：7030367648
BIM结构 Autodesk Robot Structural Analysis在土木工程中的应用
王言磊，王永帅编著2017 年出版176 页ISBN：9787122287694
本书基于大量操作实例，详细介绍了Autodesk Robot Structural Analysis软件在土木工程中应用方面的结构建模与分析流程，重点介绍了基本结构分析与结果预览技巧、地震与风荷载分析、与三维建模软件Autodesk Rev...
亚洲金融危机 分析与对策 analysis and countermeasure
何秉孟，刘溶沧，刘树成主编2007 年出版397 页ISBN：7802303877
本书是中国社会科学院部分学者的研究之作。主要特点在于，首先，它不是一本写真式、描述式或报道式的著作，而是着重从亚洲金融危机的现实情况出发，进而引出相关的深层次思考的专著。其次，此书不仅有对危机事实、发...
Lecture Notes in Computer Science 4142 Image Analysis and Recognition Third International Conference
ICIAR 2006 Part II2006 年出版923 页ISBN：3540448942
Lecture Notes in Computer Science 4141 Image Analysis and Recognition Third International Conference
ICIAR 2006 Part I2006 年出版939 页ISBN：3540448918
Autodesk Ecotect Analysis 2011绿色建筑分析实例详解
本书编委会编2011 年出版260 页ISBN：9787112126217
作为建筑信息模型（BIM）中重要的一款建筑性能化模拟分析软件，Ecotect Analysis以其友好的界面、简便的操作、优秀的可视化性能、强大而准确的模拟分析能力以及与其他BIM软件良好的兼容性，越来越受到建筑师的青睐...
CIRCUIT ANALYSIS:THEORY AND PRACTICE SECOND EDITION
ALLAN H.ROBBINS2003 年出版1113 页ISBN：7030111400
本书关于电路理论的数学基础和实际应用将对电子工程及相关专业的学生有很大帮助。它综合了电路分析的许多课题，包括DC和AC电路、分析方法、电容、电感、磁学、简单晶体管和计算机方法。书中上百个逐步解决的...
社会主义经济学通论 中国转型期经济问题研究 research on the economic problems of transition period in China
谷书堂主编2006 年出版740 页ISBN：7040199718
本书是在第二版的基础上，维持由原有四部分组成的框架结构，而在内容、视角、分析方法等方面进行了充实、丰富、深化和提高。第一篇经济转型和体制选择着重讨论作为中国的理论经济学所应具有的性质和目标，并特别...
