大约有1,963项符合查询结果项。（搜索耗时：0.0404秒）
为您推荐： 几何三角法证明 三角法证明几何 三角法证明 证明责任论 证明 title证明责任论 第5版
-
拿业绩说话 用结果证明
丁川著2011 年出版197 页ISBN：9787510703003本书是一本人力资源管理类图书。如果没有业绩出色的员工，公司的发展自然难以为继。本书用大量的事例与深刻的道理全面阐述了现代职场中业绩与结果的重要性，告诉员工在工作中应该积极注重结果，创造业绩。本书同...
-
叶兆言散文精选 婚姻证明之痒
叶兆言著2018 年出版259 页ISBN：9787209113687叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中，《婚姻证明之痒》侧重于“杂谈”，收录叶兆言先生关于生活见闻，周遭琐事的个人见解，有回忆，有感触，有答疑，......
-
证明力判定论 以刑事证据为视角
金钟著2010 年出版263 页ISBN：9787565301216本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法，并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...
-
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN：9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
计量经济学 直觉、证明与实践
（美）杰弗里·扎克斯著2016 年出版462 页ISBN：7122288641本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析；运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理；紧扣读者认知的特点，由简渐难、由浅入深，清晰地展现了计量...
-
-
WTO争端解决机制证明负担规则研究
高田甜编2012 年出版226 页ISBN：9787511831378本书以证据法中有关证明负担的理论为基础，在WTO的背景下对争端解决实例进行深入的剖析，并对在这些案件中所体现出的普遍性规律和特殊情况加以规纳梳理，力求做到“来源于争端解决实例，又高于争端解决实例”。...