证明

证明责任的法理与技术

诉讼证明过程分析 民事诉讼真实与事实发现

司法证明方法与推定规则

本书包括司法证明的难题、司法证明的历史、司法证明的方法、司法证明的规则、司法证明的责任、司法证明的标准、推定概念的解析、推定种类的重述、推定规则的范式、推定规则的创设、推定规则的适用、司法错...

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

视频证据的证明力

本书分别从视频证据的含义、法律地位、程序规范、制作规范、证据关联、证据的处理等方面进行研究。书中融入了作者十几年工作中的宝贵经验和研究成果，包括视频证据的理论基础、视频证据的取证规范、视频证据...

叶兆言散文精选 婚姻证明之痒

叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中，《婚姻证明之痒》侧重于“杂谈”，收录叶兆言先生关于生活见闻，周遭琐事的个人见解，有回忆，有感触，有答疑，......

侵权法中证明责任价值取向研究

本书主要从立法的视角，运用理论联系实际的方法、中外比较的方法，通过研究我国侵权证明责任的现实问题和借鉴域外有关立法的途径，达到准确理解我国侵权法中证明责任价值取向的目的，并指出我国《侵权责任法》中证...

可信平台模块虚拟化与证明

云计算与可信计算相结合是构建可信云环境的重要方法，其最为关键的问题是对TPM（TrustedPlatformModule，TPM）的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求，提出了TPM虚拟化的技术分类模型，详细阐述了T...

纯粹数学与应用数学专著 典藏版 第5号 弹性结构的数学理论