大约有160,696项符合查询结果项。（搜索耗时：0.3603秒）
为您推荐： 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
我无法证明岁月有脚 西方经典随感诗
（英）威廉·布莱克等著；屠岸等译2017 年出版251 页ISBN：9787513590068《我无法证明岁月有脚：西方经典随感诗》共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首，情感澎湃，文字隽永，带给读者艺术的享受和生...
-
中华人民共和国刑法 含九个刑法修正案及法律解释
《中华人民共和国刑法：含九个刑法修正案及法律解释》编写组编2015 年出版216 页ISBN：9787510215001本书立足于司法实践，以司法流程为主线，遵循法律汇编的思路，从体例化、系统化、使用性的角度，将与刑法条文密切相关的法律文件进行分类整理，以刑法典条文为经线，其他与之相关的规范性法律文件为纬线，将刑法典、......
-
密码学中的可证明安全性
杨波著2017 年出版216 页ISBN：9787302467229本书全面介绍可证明安全性的发展历史及研究成果，分为五章，第1章介绍可证明安全性用到的一些数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基...
-
Artin定理 古典数学难题与伽罗瓦理论
徐诚浩著2018 年出版181 页ISBN：9787560366869本书应用伽罗瓦理论清晰透彻地论述了两个古典难题的解决方法，即寻找代数方程的求根公式和限用圆规直尺作图（如三等分任意角、把立方体体积加倍、化圆为正方形以及作正多边形等），并借此由浅入深地向读者介绍了一...
-
新课标初中数理化生公式定理手册
方洲主编2009 年出版430 页ISBN：9787802006683本书涵盖“新课标”各版本教材要求初中生必学和选学的全部知识点。在词条的编排上，全书以各学科的内容特点和知识体系的核心内容及要领等归纳、整理、提炼成系统有序的词条，编辑成了一部可供学习、记忆、查检...
-
新课标高中数理化生公式定理手册
方洲主编2009 年出版552 页ISBN：9787802006690本书涵盖“新课标”各版本教材要求高中生必学和选学的全部知识点。在词条的编排上，全书以各学科的内容特点和知识体系的核心内容及要领等归纳、整理、提炼成系统有序的词条，编辑成了一部可供学习、记忆、查检...
-
司法会计鉴定证明机理研究与实践
郑谊英著2015 年出版226 页ISBN：9787811288582在系统分析我国司法会计鉴定活动本质、明确我国司法会计鉴定的功能定位的基础上，从我国司法会计鉴定的现状出发，以司法会计鉴定司法证明过程为研究对象，围绕司法会计鉴定证明活动的检材获取、筛选鉴别、证明机...
-
西方经典随感诗 我无法证明岁月有脚
（英）威廉·布莱克等著；查良铮等译2013 年出版169 页ISBN：9787513533911本书共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首，情感澎湃，文字隽永，带给读者艺术的享受和生活的思考。全书中英对照，选取经典的...
-
-
区块链+ 从全球50个案例看区块链的应用与未来
杜均著2018 年出版276 页ISBN：9787111591184本书通过区块链与金融、农业、能源、智能制造、医疗卫生、公共事务、公益等等行业结合的案例，全面呈现了区块链应用的现状及未来的发展。从这些应用案例中，我们看到区块链技术是分布式数据存储或者说是分布式...