大约有160,696项符合查询结果项。（搜索耗时：0.2899秒）
为您推荐： 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
-
-
数学女孩 2 费马大定理
（日）结城浩著；丁灵译2016 年出版354 页ISBN：9787115411112本书涵盖了形形色色的数学题目，从小学生都能明白的简单问题，直至困扰了数学家350年以上的难题。本书采用语言、图形以及数学公式表达主人公的解题思路，以小说的形式展开，重点描述一群年轻人探寻数学中的美。内...
-
可信平台模块虚拟化与证明
谭良著2018 年出版256 页ISBN：9787030557698云计算与可信计算相结合是构建可信云环境的重要方法，其最为关键的问题是对TPM（TrustedPlatformModule，TPM）的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求，提出了TPM虚拟化的技术分类模型，详细阐述了T...
-
随机最优控制及其在保险中的应用
张景肖著2013 年出版208 页ISBN：9787030365750在本书中首先将系统介绍随机控制的一般理论及其在保险中的一些主要应用，例如最优投资-再保险问题，红利的最优分配策略问题，寿险中的若干随机控制问题等。在此基础上，将主要介绍作者本人及一些合作者最近一段时...
-
证明标准研究 以刑事诉讼为视角
郭志远著2010 年出版245 页ISBN：9787811399370本书以证明标准在刑事诉讼中适用的基本原理为出发点，以其在不同刑事诉讼阶段所适用的主要诉讼行为为视角，探索了有罪判决、公诉、逮捕和搜查等不同诉讼行为所应适用的证明标准，并通过比较研究的方法，分析了诸如...
-
如何证明你在网上的签名
（日）夏井高人著；吴韧，葛崎伟译2005 年出版287 页ISBN：7503654619本书主要对日本《电子签名法》作了介绍与说明，但其内容并非只局限于日本立法，还介绍了围绕电子签名的一些问题，如电子签名本身的技术构架、电子签名立法意义及以联合国《电子商务示范法》为首的世界各国电子签...
-
-
-
