可信计算远程证明与应用

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

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

优雅的等式 欧拉公式与数学之美

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

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

中考数学题型关键30分 圆中比例式 等积式 证明的思路与方法

推理与证明

本书是配合《普通高中数学课程标准（实验）》的实施而编写的，侧重于为实施新课程的教师提供与课程标准的理念、处理方法相匹配的数学教学资源，进而向教师提供专业知识、方法的补充资源，目的是帮助教师掌握课程标准...

不等价交换 围绕财富的劳动与消费

教材完全解读 选修·专题 高中数学 选修 几何证明选讲 矩阵与变换

本书双栏对照，对教材全解全析，在学科层次上力求讲深、讲透、讲出特色；注重典型案例学习，突出鲜活、典型和示范的特点

锦囊妙解创新导学专题 高中数学 数列、推理与证明

本丛书完全以每个知识点为讲解元素，结合“课标解读”、“知识清单”、“易错清单”、“点击高考”、“模拟演练”等栏目设计等。

司法会计鉴定证明机理研究与实践

在系统分析我国司法会计鉴定活动本质、明确我国司法会计鉴定的功能定位的基础上，从我国司法会计鉴定的现状出发，以司法会计鉴定司法证明过程为研究对象，围绕司法会计鉴定证明活动的检材获取、筛选鉴别、证明机...