吕伟臣，霍言，高小山编著2006 年出版574 页ISBN：7302121060
本书包括Delphi 2005程序开发的基本方法，如文本编辑，图形编辑等；Internet编程、数据库应用程序编程以及ASP.NET应用程序的开发与内容；Delphi在应用中的编程技巧。...
姜伯驹，李邦河，高小山，李文林主编2016 年出版281 页ISBN：9787313100856
本书是庆贺吴文俊先生九十华诞的中文文集。集内的50多篇文章邀请了数学界的名家、友人和学生们，从不同的视角撰文介绍吴先生在拓扑学、数学机械化和古今数学史研究等三个方面的学术成就，对推动中国数学事业发...
高小山，杨秋艳，吕伟臣编著2009 年出版350 页ISBN：9787302191629
本书主要讲述安装和恢复操作系统的基本知识，包括安装准备工作、Windows 2000/XP/Server/2003/Vista操作系统的安装、数据备份、常用工具软件安装、系统设置等内容。...
（日）松永安光编著；小山，广，小山友子译2005 年出版216 页ISBN：7112074940
本书的作者是一名建筑学家，有着丰富的考察世界各地建筑的经历。本书是他收集的世界各国建筑设计作品。
吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
（日）半泽正一著；小山广，小山友子译2006 年出版184 页ISBN：7112082374
本书公开了163个容易发生的建筑结构工程事故的案例，用具体的数据和照片进行归纳和分析，并通过模拟体验来强化施工人员的事故意识，以此预防事故的再发生。本书是从失败案例中学习正确的现场管理的指导书。...
