吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
吴文俊著；高小山编订2019 年出版288 页ISBN：9787508855516
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
吴文俊著；李文林，高小山编订2019 年出版137 页ISBN：9787508855608
本书收录吴文俊发表的愽弈论、代数几何和图的平面嵌入等三个方面的论文。《关于愽弈理论基本定理的一个注记》是中国博弈论研究的开山之作。《活动受限制的非协作对策》等两篇论文则包含了吴文俊对博弈论最...
吕伟臣，霍言，高小山编著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
本书的作者是一名建筑学家，有着丰富的考察世界各地建筑的经历。本书是他收集的世界各国建筑设计作品。
