胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
王振华主编2003 年出版1603 页ISBN：7502823336
本书介绍建设项目经济评价常用概念、基本原理、常用指标与方法、规范与参数、市场预测、投资控制及建设方案设计、经济比较和优化、风险估计、环境评价、典型案例及相关法规。...
王振华主编2003 年出版596 页ISBN：7502823336
本书介绍建设项目经济评价常用概念、基本原理、常用指标与方法、规范与参数、市场预测、投资控制及建设方案设计、经济比较和优化、风险估计、环境评价、典型案例及相关法规。...
王振华主编2003 年出版1141 页ISBN：7502823336
本书介绍建设项目经济评价常用概念、基本原理、常用指标与方法、规范与参数、市场预测、投资控制及建设方案设计、经济比较和优化、风险估计、环境评价、典型案例及相关法规。...
康连主编2009 年出版593 页ISBN：9787541633737
2005年我社出版《田径规则与裁判方法实用手册》的第1版，由于2008年奥运会在北京举行，对规则的条文顺序做了一定调整，将各条规则按其功能放入各裁判组的工作部分中，特此编入《田径规则与裁判方法实用手册新编》，...
