张寅生著2015 年出版319 页ISBN:9787118100792
本书阐述数学证明的基本原理,主要包括:证明方法;证明理论(关于证明的定理);专门知识的表示和转换方法(实现几何、代数等专业领域命题证明的通用方法和定理)。作者对数学证明的普遍性问题给与阐述,力图解决:......
李湜著2012 年出版257 页ISBN:9787507833621
本书详细地描述了清代宫廷绘画的创作与收藏。展示了乾隆、慈禧等未曾面世的作品,并讲述了围绕藏品鲜为人知的故事。
何锐主编2010 年出版323 页ISBN:9787806628461
本书收入了新世纪以来,省委、省政府领导在企业决策研究会上的讲话文稿,同时收入了由会议主持者整理的各次例会的综述。每次会议均围绕共同主题,达成政企之间的对话与呼应。...
(丹)MogensHenze等编,施汉昌等译2011 年出版498 页ISBN:9787112129058
本书介绍了活性污泥、生物脱氮除磷、二沉池及生物膜系统与现代模拟相结合的方法应用于污水处理厂的设计与运行的知识。