当前位置:首页 > 名称

大约有483,518项符合查询结果项。(搜索耗时:0.5593秒)

为您推荐: 人性的证明 特惠 数学天书中的证明 数学证明的艺术 几何定理机器证明的基本原理 几何定理机器证明的案例 几何定理的机械化证明

  • 你不可不知人性 全本 珍藏

    (美)刘墉著2003 年出版330 页ISBN:7806793011

    《你不可不知人性(全本·珍藏)》不是只要你知道人性丑恶,更希望你在“了解”之后,能有“谅解”。如果作者之前写《我不是教你诈》是“战术”,那么《你不可不知人性(全本·珍藏)》就是“战略”,甚...

  • 中国教育活动史专题研究丛书 第2辑 人性复归 《红楼梦》教育世界

    于洋著2016 年出版250 页ISBN:7568016919

    本书以“人性”这一教育学根本问题为出发点,将“人性与青春”作为主线贯穿全文,运用马克思关于人发展理论和文化层次理论,试图走出纯理论和历史梳理学院楼阁,抖落遮盖在文学作品上历史尘土,揭开创世奇作...

  • 叶兆言散文精选 婚姻证明之痒

    叶兆言著2018 年出版259 页ISBN:9787209113687

    叶兆言先生这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中,《婚姻证明之痒》侧重于“杂谈”,收录叶兆言先生关于生活见闻,周遭琐事个人见解,有回忆,有感触,有答疑,......

  • 理想空间:2008.8 总第28辑 ·人性商业步行街区

    王耀武,夏南凯,郭雁主编2008 年出版129 页ISBN:9787560839202

    本辑丛书拟以介绍当前商业街最新国内外案例为主,其中分为五个部分(专题论文,旧城改造、新城市步行街、旅游观光休闲、专业服务街)。以介绍及分析各大城市商业步行街项目成功案例形式为主,为广大设计师...

  • 超理性管理与竞争:管理者走进人性与文化深处

    万翔著2014 年出版294 页ISBN:

    人在常态下工作往往最没有价值,让人们在工作中适度地偏离常态往往能创造更高绩效,而这通常需要超越传统理性管理模式而进入超理性管理模式,超理性管理实际上是建立在理性管理基础上人本管理,它将人态度...

  • 证明力判定论 以刑事证据为视角

    金钟著2010 年出版263 页ISBN:9787565301216

    本书是以刑事证据证明力判定问题为研究对象法学理论专著。本书全面论述了刑事证据证明力判定概念、特点、历史、原则、规则、方法,并在此基础上提炼出一系列具体应用规则和应对实务疑难问题对策。...

  • 素数分布方程理论与证明

    刘长华著2017 年出版189 页ISBN:9787533774080

    本书是一本数学方面学术专著。作者提出素数分布理论,总结、归纳了素数分布方程特征与性质,证明了在八个等差数列中,素数个数都是近似相等,这一成果改进了埃氏筛法,建立了偶数15种类型64个方程,为孪生.....

  • 暗黑心理学 幸灾乐祸与人性阴暗面

    (美)理查德·史密斯(RICHARDH.SMITH)著;穆华夏译;凌春秀审校2015 年出版231 页ISBN:9787115407252

    这本由世界一流妒忌及羞耻研究者所写书,探索了我们不敢承认情绪:幸灾乐祸。从普通妒忌和竞争,到恶意和罪有应得观念,心理学家理查德·史密斯解释了我们为何会幸灾乐祸。关于嫉妒,我们人人都有,但是通常.....

  • 民事证明责任研究

    毕玉谦著(国家法官学院)2007 年出版556 页ISBN:9787503676185

    本书是对民事证明责任这一专门问题进行研究最新成果。本书共分十章,分别从民事证明责任基础、历史渊源、客观证明责任、主观证明责任、证明责任分配与转换、表见证明责任、推定证明责任、特殊侵权证明...

  • 高阶逻辑辅助证明系统

    (德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631

    本书主要内容是Isabelle/HOL基本原理和关键方法;这是机器辅助证明领域研究一项经典先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明重要应用。适合于...

出版时间

全部

ZHA年(1)

10年(3)

11年(2)

12年(1)

15年(1)

151年(1)

1737年(1)

1820年(1)

1851年(1)

1888年(1)

1894年(1)

1900年(1)

1908年(2)

1910年(1)

1911年(1)

1912年(2)

1913年(1)

1914年(1)

1916年(5)

1917年(7)

1919年(3)

1920年(8)

1921年(10)

1922年(23)

1923年(22)

1924年(25)

1925年(66)

1926年(51)

1927年(100)

1928年(140)

1929年(237)

1930年(256)

1931年(144)

1932年(118)

1933年(231)

1934年(196)

1935年(207)

1936年(291)

1937年(271)

1938年(295)

1939年(175)

1940年(159)

1941年(155)

1942年(96)

1943年(86)

1944年(101)

1945年(114)

1946年(273)

1947年(363)

1948年(318)

1949年(583)

1950年(854)

1951年(1170)

1952年(763)

1953年(1213)

1954年(1712)

1955年(2180)

1956年(2864)

1957年(2587)

1958年(3980)

1959年(3188)

1960年(1701)

1961年(492)

1962年(661)

1963年(880)

1964年(929)

1965年(1005)

1966年(474)

1967年(108)

1968年(100)

1969年(106)

1970年(247)

1971年(300)

1972年(575)

1973年(632)

1974年(855)

1975年(1069)

1976年(913)

1977年(1223)

1978年(1340)

1979年(1626)

1980年(2101)

1981年(2307)

1982年(2580)

1983年(2573)

1984年(2962)

1985年(3244)

1986年(3318)

1987年(3883)

1988年(4546)

1989年(4592)

1990年(4169)

1991年(4781)

1992年(4550)

1993年(4630)

1994年(4107)

1995年(4066)

1996年(4545)

1997年(5499)

1998年(6708)

1999年(7556)

2000年(7760)

2001年(9224)

2002年(10319)

2003年(11544)

2004年(14587)

2005年(15056)

2006年(16843)

2007年(15330)

2008年(17305)

2009年(20265)

2010年(20860)

2011年(21862)

2012年(23948)

2013年(25991)

2014年(24577)

2015年(24771)

2016年(23150)

2017年(20942)

2018年(17073)

2019年(5828)

2020年(362)

214年(1)

22年(1)

2222年(12087)

23年(1)

540年(1)

73.4年(1)

D5年(1)

F27/年(1)

None年(7)

Syst年(1)

T36年(1)

TH71年(1)

TP31年(3)

TP36年(1)

V215年(1)

V231年(5)

V25/年(1)

V271年(2)

XIII年(2)

[10]年(1)

ehow年(1)

null年(19)

Ⅳ年(1)

Ⅴ年(2)

Ⅷ年(1)

ⅩⅢ年(1)

ⅩⅤ年(1)

ⅩⅧ年(1)

Ⅻ年(1)

中华年(2)

主题年(3)

儿童年(1)

化学年(1)

北京年(1)

吉林年(1)

小説年(1)

政治年(1)

昭和年(3)

民国年(105)

(瑞典年(1)

(美)SA年(1)

(美)史年(1)

(美)汤年(1)

(美)苏年(1)

返回顶部