绝对不在场证明百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有9,879项符合查询结果项。（搜索耗时：0.1403秒）

青春的证明大中专毕业生走向经济主战场纪实

查看PDF目录购买本书
董德明主编1995 年出版500 页ISBN：7805837015
素数分布方程理论与证明

查看PDF目录购买本书
刘长华著2017 年出版189 页ISBN：9787533774080
本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
绝对中考语文

查看PDF目录购买本书
丰严主编2005 年出版272 页ISBN：7544024067
本书收集、归纳、总结了近年来全国各地较有代表性的典型中考试题，加以分类分析、解读，为广大教师、学生、家长提供了一本讲解详细、分类科学、信息量较大的中考复习参考资料。...
民事证明责任研究

查看PDF目录购买本书
毕玉谦著（国家法官学院）2007 年出版556 页ISBN：9787503676185
本书是对民事证明责任这一专门问题进行研究的最新成果。本书共分十章，分别从民事证明责任的基础、历史渊源、客观证明责任、主观证明责任、证明责任的分配与转换、表见证明责任、推定证明责任、特殊侵权证明...
高阶逻辑辅助证明系统

查看PDF目录购买本书
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
绝对邻域收缩核理论

查看PDF目录购买本书
郭宝霖著2009 年出版246 页ISBN：9787030234025
本书主要介绍绝对收缩理论的基本概念，及其发展情况，并且阐述了作者在该领域中所取得的研究成果。
绝对相对力学

查看PDF目录购买本书
张树斌著2011 年出版339 页ISBN：9787536951921
本书从力学基础开始，经宏观力学，再到原子微观力学和核子微观力学，最后到宇宙学，试图将已经发现的各种作用力全部统一起来。其理论体系和观点全部以现有的物理实验为依据。...
绝对现场

查看PDF目录购买本书
宋庆华著2017 年出版348 页ISBN：9787501456048
这是一部当代作家宋庆华的作品集，包括中篇小说《绝对现场》《蓝色阳光》、短篇小说《手铐》《老干探》等六篇作品，其中短篇小说《手铐》获省级文学大赛小说一等奖，《蓝色阳光》和《老干探》分别刊载于《红岩》...
绝对中考化学

查看PDF目录购买本书
卢景峰主编2005 年出版289 页ISBN：7544024032
本书收集、归纳、总结了近年来全国各地较有代表性的典型中考试题，加以分类分析、解读，为广大教师、学生、家长提供了一本讲解详细、分类科学、信息量较大的中考复习参考资料。...
计量经济学直觉、证明与实践

查看PDF目录购买本书
（美）杰弗里·扎克斯著2016 年出版462 页ISBN：7122288641
本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析；运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理；紧扣读者认知的特点，由简渐难、由浅入深，清晰地展现了计量...