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
叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中,《婚姻证明之痒》侧重于“杂谈”,收录叶兆言先生关于生活见闻,周遭琐事的个人见解,有回忆,有感触,有答疑,文学...
2018 年出版231 页ISBN:9787569229622
本书分别从视频证据的含义、法律地位、程序规范、制作规范、证据关联、证据的处理等方面进行研究。书中融入了作者十几年工作中的宝贵经验和研究成果,包括视频证据的理论基础、视频证据的取证规范、视频证据...
2016 年出版280 页ISBN:9787566412638
本书以通俗的语言、简洁流畅的叙述,针对初等数学中涉及的各种解不等式及证明不等式的方法,分别介绍了解不等式(组)的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...
2002 年出版405 页ISBN:7501425973
红极一时的家庭问题评论专家八杉恭子为了掩盖自己早年和一个美国黑人占领军同居的经历,保住自己和丈夫的地位及名誉,亲手刺死了自己的混血儿子,又谋害知情人以图灭口......
2009 年出版270 页ISBN:9787040262094
本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书,也不是...