石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
胡晓峰主编2017 年出版580 页ISBN：9787030537751
本书图文并茂，精选3000余幅中医古籍图像，着重介绍诊法、本草、针灸、推拿、内科、女科、儿科、外科、伤科、五官科、养生、基础等12类中医古籍图像的种类、特点及价值，探讨图像与学术传承的关系，论述图像在中医...
张荣臣，谢英芬主编2005 年出版129 页ISBN：750353298X
本书共九讲，全面、细致、有针对性地回答了乡镇党组织在开展保持党员先进性教育活动中应该注意和掌握的一些问题，并就如何构建乡镇党员先进性教育的长效机制问题进行了探讨。全书讲解透彻，内容实用，是乡镇开展共...
（英）施泰因豪斯著2012 年出版182 页ISBN：9787509208564
本书讲述了，决策是我们做一切事情的基础。从日常生活来说，决策使我们能够规划好自己的时间；从大一些的方面来说，决策是各个方面改变背后的驱动力。能够作出有信心的、有思想的决策是生活的一项重要技能，本书为我...
吴学勤著2002 年出版260 页ISBN：7801124804
中国入世谈判专家推荐:本书提供了企业进入海外市场策略、构建你的跨国公司、企业国际形象塑造策略、企业如何运用和适应法律、企业国际市场营销策略、跨国企业的国际避税策略等知识。...
（瑞典）费克萨斯著；冯扬译2010 年出版208 页ISBN：9787203067474
本书旨在研究精神世界对人的身体和行为的影响，帮助读者准确理解人与人交流中双方的所思所述，从而顺利而有效地建立起人际间的亲善关系。书中列举了大量的案例及练习项目，极具实用价值。...
现代数学基础丛书 LIPSCHITZ图像边界上的奇异积分与FOURIE理论
钱涛，李澎涛著2017 年出版292 页ISBN：9787030516985
本书主要介绍自20世纪80年代发展起来的Lipschitz曲线和曲面上的奇异积分算子代数以及有关的分数次积分及微分，以及Fourier乘子理论及其应用。本书的内容涉及调和分析、Clifford分析和多复变理论的三个方面。...
（美）Donald E. Knuth著2002 年出版780 页ISBN：7302058164
本书是《计算机程序设计艺术》的第三卷《排序和查找》，不仅对经典计算机排序和查找技术的最全面的介绍，而且还对第一卷中的数据结构处理技术作了进一步的扩充，通盘考虑了大小型数据库和内外存储器。它遴选了一...
