朱望规著2016 年出版257 页ISBN：9787118105155
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
单片机应用实例精选 基于51、MSP430及AVR单片机的实现
马静囡著2017 年出版216 页ISBN：9787560645094
本书以单片机制作实例为基础，介绍了MSC-51单片机、MSP430单片机、AVR单片机的基础知识以及编程软件的应用，接着从器件、硬件设计、软件设计、联调结果、知识拓展等方面对每个实例进行了详细的介绍。本书内容...
常宝莲著2015 年出版351 页ISBN：9787561553992
诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....
