当前位置:首页 > 名称

大约有443,715项符合查询结果项。(搜索耗时:0.5139秒)

为您推荐: 网络安全 加密原理算法与协议 网络安全协议 原理 结构与应用 title tcp ip协议原理与应用 第5版 正版绩效考核与薪酬激励精细化设计必备全书企业家协议字典工具包电子版 详解http协议基础与go语言实现 数学猜想与证明

  • 构建书香社会 人文精神的持续社会书文化进程

    李海燕,聂凌睿,张思瑶著2017 年出版261 页ISBN:9787565129674

    本书从阅读的风景写起,梳理了在阅读中我们需要把握的观念实务,了解了这些,对于为什么读、读什么、怎么读有积极的影响。全书围绕阅读和书香社会,读者能够从书中了解阅读,对阅读有人文化的认知,并且知晓书香社.....

  • 证明标准问题研究

    段书臣,刘澍著2007 年出版401 页ISBN:7802174147

    本书为目前国内专门研究诉讼证明标准的学术专著。本书运用历史分析方法、对比方法和实证的方法,对证明标准的内在特征和外在特征进行深入分析,同时本书并不仅仅拘泥于理论,还对现实中各种证明标准的弊端缺陷...

  • 程序正确性证明方法

    武斌著2018 年出版130 页ISBN:9787564231699

    本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义,程序正确性证明的发展历程,程序部分正确性证明的不变式断言法、子目标断言法和公理化方法,程序终止性证明的良序集方法和不动点方法,以...

  • 民事诉讼中的证据和证明

    郭小冬,姜建兴著2009 年出版282 页ISBN:9787561533031

    本书是研究民事诉讼中的证据及证据规则的学术专著。全书共八章,系统阐述了证据的证明力,证据的种类,证据的收集、调查保全,证明对象,证明责任以及证明标准等。...

  • 决策分析决策树算法优化

    高静著2017 年出版147 页ISBN:9787563826308

    本书针对决策技术中的决策树算法进行了深入分析和研究,其他技术结合,提出了大量融合算法。本书创新性的借鉴了认知物理学研究的思想,借鉴认知物理的信息扩散理论讨论了参数波动变化时规则的取舍。借鉴这样的...

  • 高动态下捷联惯性导航算法误差分析优化方法研究

    宋敏,吴文启,潘献飞著2017 年出版149 页ISBN:9787118101812

    本书共包含7部分内容,包括:绪论,大机动下圆锥算法误差分析,扩展圆锥补偿算法的优化设计,大机动下连续形式速度积分算法误差分析,大机动下数值形式速度积分算法误差分析,扩展划摇补偿算法的优化设计,结论展......

  • 算法数据结构考研试题精析

    陈守孔,胡潇琨,李玲编著2015 年出版396 页ISBN:9787111500674

    本书收集了国家统考、985和211重点高校以及科学院、所340多套硕士研究生入学“(算法)数据结构”考试试卷的2000多道试题,并给出了参考答案和分析。本书以作为高等院校计算机及相关专业学习数据结构课程...

  • 清清楚楚算钢筋 明明白白用软件 钢筋算法实例详解

    北京广联达软件技术有限公司编写2007 年出版398 页ISBN:9787802273580

    本书详细讲解了建筑工程所接触的平板式筏形基础、框架柱等钢筋构件的基本原理和计算公式,并给出所有构件钢筋手工计算过程和标准答案。

  • 数据结构算法

    罗文劼,史青宣,苗秀芬编著2019 年出版304 页ISBN:9787111614067

    本书共包括8章内容,详细讲述了线性结构、树结构和图结构中的数据表示及数据处理的方法,并对查找和排序两种重要的数据处理技术做了细致的探讨。书中对每一类数据结构的分析均按照“逻辑结构—存储结构—基本...

  • 算法设计到硬线逻辑的实现 实验练习Verilog语法手册

    夏宇闻编著2001 年出版155 页ISBN:7040092530

    高等学校教材:本书共分两部分,主要介绍了用Verilog语言设计数字电路系统的实用方法技术。

出版时间

全部

SAN年(1)

10年(7)

12年(2)

13年(2)

15年(2)

1565年(1)

16年(1)

1842年(2)

1851年(1)

1883年(6)

1898年(4)

1900年(2)

1906年(1)

1907年(1)

1911年(1)

1912年(2)

1913年(1)

1914年(4)

1915年(4)

1916年(3)

1917年(2)

1918年(3)

1919年(1)

1920年(12)

1921年(5)

1922年(12)

1923年(36)

1924年(31)

1925年(47)

1926年(33)

1927年(62)

1928年(80)

1929年(99)

1930年(161)

1931年(90)

1932年(94)

1933年(141)

1934年(156)

1935年(196)

1936年(167)

1937年(191)

1938年(192)

1939年(112)

1940年(100)

1941年(83)

1942年(54)

1943年(71)

1944年(61)

1945年(63)

1946年(157)

1947年(146)

1948年(165)

1949年(250)

1950年(246)

1951年(294)

1952年(184)

1953年(379)

1954年(466)

1955年(521)

1956年(550)

1957年(581)

1958年(735)

1959年(746)

1960年(394)

1961年(301)

1962年(193)

1963年(203)

1964年(265)

1965年(247)

1966年(107)

1967年(32)

1968年(44)

1969年(49)

1970年(81)

1971年(98)

1972年(129)

1973年(207)

1974年(287)

1975年(323)

1976年(350)

1977年(405)

1978年(579)

1979年(909)

1980年(1144)

1981年(1303)

1982年(1519)

1983年(1561)

1984年(1711)

1985年(2182)

1986年(2387)

1987年(2974)

1988年(3555)

1989年(3792)

1990年(3663)

1991年(4136)

1992年(4342)

1993年(5102)

1994年(4864)

1995年(4761)

1996年(5193)

1997年(5583)

1998年(6920)

1999年(7864)

2000年(8695)

2001年(10577)

2002年(12515)

2003年(13423)

2004年(15495)

2005年(17328)

2006年(20582)

2007年(20337)

2008年(20996)

2009年(21574)

2010年(20612)

2011年(20590)

2012年(21299)

2013年(21700)

2014年(21775)

2015年(22018)

2016年(20080)

2017年(18228)

2018年(14215)

2019年(5138)

2020年(193)

21年(1)

22年(3)

2222年(8610)

27年(1)

370年(1)

6年(1)

E21/年(1)

E919年(1)

None年(8)

T139年(1)

TG50年(1)

TP36年(1)

V231年(2)

V249年(1)

V323年(1)

V328年(1)

V43-年(1)

XXIX年(1)

XXX年(1)

null年(10)

samp年(1)

Ⅴ年(1)

Ⅵ年(1)

Ⅶ年(1)

Ⅸ年(1)

Ⅹ年(1)

ⅩⅤ年(2)

ⅩⅥ年(1)

ⅩⅧ年(1)

Ⅻ年(2)

中华年(2)

主题年(3)

小説年(3)

数学年(1)

昭和年(1)

机构年(1)

民国年(77)

(瑞典年(1)

(美)理年(1)

(美)迈年(1)

返回顶部