建筑设计方法学 第2版

本书结合国内新近建筑设计特点和发展现状，还介绍了国内外设计方法学的发展，是本书贴近现实。

北京矿业学院苏联专家报告集 第2辑

浙江工学院课程设置 第4册

太原机械学院科学技术成果汇编1978-1991

南京工学院科学论文提要选编 1978-1981

程序设计方法学 1992修订本

内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。

华北水利水电学院院史 1951-2001

本书描绘华北水利水电学院50年来所经历的风雨坎坷，浓缩华北水利电力学院50年所取得的辉煌成就。

高级验证方法学

本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......

酒店+学院公共空间

本书集合了第十五届亚太室内设计大奖会展览展示、商业的参赛及获奖设计作品，介绍了设计师设计过程中的设计理念、设计手法和选用材料等。这些设计都新颖大方，别出心裁，值得借鉴和学习。...

思科网络技术学院教程 计算机网络