刑事主观事实证明问题研究

本书以实体法与程序法的双重视角，深度探讨了刑事主观事实的证明问题与实体法规范（及解释论）的关系，并对如何有效地化解主观事实的证明困境给出了实实在在的答案。针对我国刑法偏重主观要素的特点，提出了如果希望...

诉讼证明中的推定研究

本书是一本对诉讼证明中的“推定”进行研究的专业性学术著作。全书分十章，从“推定的概念与属性”、“推定的学术分类与学科体系”、“推定适用的要素与效果”、“推定的结构机理与适用机理”、“推定的证明...

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

可信计算远程证明与应用

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

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

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

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

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

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

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

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

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

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

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

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