四色定理的证明和方法论 图形填色的系统控制和调节工程

可信计算远程证明与应用

可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...

分析题纲与命题证明 第1册 预备知识函数 一元微积分

你不需要向世界证明自己

全部选取适合于中学生阅读，启心明智的文章，同时提高考试的读写能力。被人理解是幸运的，但不被理解未必不幸。一个把自己的价值完全寄托于他人的理解上面的人往往并无价值。一个人越是珍视心灵生活，越容易发现外...

事实证明，人民永远是最可爱的

本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...

破解素数奥秘 哥德巴赫猜想原题的证明

本书介绍了素数的历史，当今素数领域中未解难题，素数的研究方法，素数研究新发现与新成果，素数奥秘与哥德巴赫猜想原题的关系，哥德巴赫猜想原题证明，素数的应用等。...

思考机器探案集 完美的不在场证明

本书收录了美国著名侦探推理小说作家杰克·福翠尔的多篇经典短篇小说，语言生动，情节设计巧妙，逻辑严谨。小说中塑造的主人公杜凡森教授，被誉为“美国的福尔摩斯”，他敏锐的直觉和精湛的推理能力，为读者献上一场.....

鉴定意见证明论 司法鉴定人出庭作证规则研究

本书系统地阐述了司法鉴定人出庭作证的目的、内容和意义。分为九章，为司法鉴定人的资格、诉讼地位、作证实体规则、作证的程序规则以及鉴定意见的认证规则等。并附有司法鉴定人出庭作证规则的拟制文稿。...

能力是证明出来的 组织用人的8种理由

本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...