大约有460,688项符合查询结果项。（搜索耗时：0.5050秒）
为您推荐： 数学证明 数学猜想 数学天书中的证明 猜想与反驳 正版图书 title数学写真集 第2季无需语言的证明 数论与组合中的新猜想
-
-
可信计算远程证明与应用
闫建红著2017 年出版162 页ISBN：9787115475787可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
可信平台模块虚拟化与证明
谭良著2018 年出版256 页ISBN：9787030557698云计算与可信计算相结合是构建可信云环境的重要方法，其最为关键的问题是对TPM（TrustedPlatformModule，TPM）的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求，提出了TPM虚拟化的技术分类模型，详细阐述了T...
-
-
中学生物理思维方法丛书 猜想与假设 3
王溢然编著2015 年出版251 页ISBN：9787312035364在中学物理教学过程中，学生获取知识的同时，要重视从科学宝库中汲取思维营养，加强科学思维方法的训练。中学生物理思维方法丛书就是这样一套“授之以渔”的优秀辅导书。本书是“中学生物理思维方法丛书”中的一...
-
经济与法律 科斯四大定律猜想民商法建议900条 下
蒋爱群著2014 年出版961 页ISBN：9787511722119本书是《法制经济学》的修订本，从法律与经济的角度，解析亚当·斯密“国民财富的性质和原因”三大课题。以工具是生产力的标志作为出发点，阐述“资本生产工具”的普及使用，是现代生产力上台阶的原因。《经济与法...
-
经济与法律 科斯四大定律猜想民商法建议900条 上
蒋爱群著2014 年出版483 页ISBN：9787511722119本书是《法制经济学》的修订本，从法律与经济的角度，解析亚当·斯密“国民财富的性质和原因”三大课题。以工具是生产力的标志作为出发点，阐述“资本生产工具”的普及使用，是现代生产力上台阶的原因。《经济与法...
-
司法会计鉴定证明机理研究与实践
郑谊英著2015 年出版226 页ISBN：9787811288582在系统分析我国司法会计鉴定活动本质、明确我国司法会计鉴定的功能定位的基础上，从我国司法会计鉴定的现状出发，以司法会计鉴定司法证明过程为研究对象，围绕司法会计鉴定证明活动的检材获取、筛选鉴别、证明机...