大约有107,430项符合查询结果项。(搜索耗时:0.2562秒)
为您推荐: 如何自造方程式赛车 南怀瑾一圆觉经略说 由圆的方程求半径 圆的参数方程 圆的标准方程 指尖上的政能量 如何运营政务微博与微信
-
未来十年好光景 如何在历史上最繁荣的2000年代累积财富及创造生活形态
(美)Harry S.Dent,Jr著;余友梅,张瀞文译1999 年出版291 页ISBN:957081960X -
拿业绩说话 用结果证明
丁川著2011 年出版197 页ISBN:9787510703003本书是一本人力资源管理类图书。如果没有业绩出色的员工,公司的发展自然难以为继。本书用大量的事例与深刻的道理全面阐述了现代职场中业绩与结果的重要性,告诉员工在工作中应该积极注重结果,创造业绩。本书同...
-
叶兆言散文精选 婚姻证明之痒
叶兆言著2018 年出版259 页ISBN:9787209113687叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中,《婚姻证明之痒》侧重于“杂谈”,收录叶兆言先生关于生活见闻,周遭琐事的个人见解,有回忆,有感触,有答疑,......
-
打造卓越销售团队 世界上最伟大的销售团队如何做事
(美)瑞克·佩吉(Rick Page)著;方琳,宋大海译2007 年出版193 页ISBN:9787115167897本书从销售经理们经常面临的难题出发,帮助读者识别出销售成功的五个通用层面,即技巧、技术、人才、团队合作和信任;同时在销售策略的四个不同层次(个人技能、机会管理、客户管理和行业/市场信息宣传)示范了不同....
-
证明力判定论 以刑事证据为视角
金钟著2010 年出版263 页ISBN:9787565301216本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法,并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...
-
-
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
计量经济学 直觉、证明与实践
(美)杰弗里·扎克斯著2016 年出版462 页ISBN:7122288641本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析;运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理;紧扣读者认知的特点,由简渐难、由浅入深,清晰地展现了计量...
-