张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
付耕洋，樊智勇主编2004 年出版418 页ISBN：7801594703
本书是关于建筑工程质量验收规范与施工及验收规范对照的应用手册。
茂仲华等著2017 年出版332 页ISBN：9787509384657
从理论研究层面来看，近年来，我国学术界对减刑、假释问题的研讨也日益增多，但主要是从实体制度层面上进行，研究成果多集中于对减刑、假释制度运行现状的检讨以及理想模式的构建，而对作为其重要组成部分的减刑、假...
沈百荣著2017 年出版205 页ISBN：9787030545800
深度测序或下一代测序技术的迅猛发展，尤其是通量的增加和价格的日益降低给生命科学和人类带来了革命性的变化，下一代测序技术不只是定性的应用到基因组的测序，同时还应用到定量的基因表达测定、蛋白质与DNA的...
文忠主编2010 年出版319 页ISBN：9787802138247
本书分上篇“党政机关公文写作指导”和下篇“党政机关公文规范处理”，共十一章，对党政机关公文类别、格式、写作方法和处理方式等进行了较为详细的规范指导。...
