证明
-
可信平台模块虚拟化与证明
谭良著2018 年出版256 页ISBN:9787030557698云计算与可信计算相结合是构建可信云环境的重要方法,其最为关键的问题是对TPM(TrustedPlatformModule,TPM)的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求,提出了TPM虚拟化的技术分类模型,详细阐述了T...
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN:9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论,总结、归纳了素数分布方程的特征与性质,证明了在八个等差数列中,素数的个数都是近似相等的,这一成果改进了埃氏筛法,建立了偶数的15种类型64个方程,为孪生素...
-
侵权法中证明责任价值取向研究
王国征著2018 年出版250 页ISBN:9787519721930本书主要从立法的视角,运用理论联系实际的方法、中外比较的方法,通过研究我国侵权证明责任的现实问题和借鉴域外有关立法的途径,达到准确理解我国侵权法中证明责任价值取向的目的,并指出我国《侵权责任法》中证...
-
可信计算远程证明与应用
闫建红著2017 年出版162 页ISBN:9787115475787可信计算是信息安全的一种新技术和新的体系结构,远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上,介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...
-
叶兆言散文精选 婚姻证明之痒
叶兆言著2018 年出版259 页ISBN:9787209113687叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中,《婚姻证明之痒》侧重于“杂谈”,收录叶兆言先生关于生活见闻,周遭琐事的个人见解,有回忆,有感触,有答疑,文学...
-
解不等式及证明不等式的方法
谷学勤编著2016 年出版280 页ISBN:9787566412638本书以通俗的语言、简洁流畅的叙述,针对初等数学中涉及的各种解不等式及证明不等式的方法,分别介绍了解不等式(组)的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...
-
数学天书中的证明:35个著名的数学问题
M.AIGNER,G.M.ZIEGLER著2009 年出版270 页ISBN:9787040262094本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书,也不是...