小说 青春文学 中国散文 外国散文 悬疑推理 文学理论 文集 世界名著
外国小说| 中国当代小说| 中国古典小说| 中国近现代小说| 悬疑推理| 科幻小说 世界名著 四大名著| 作品集| 更多
外国诗歌| 中国古诗词| 中国现当代诗歌| 外国散文| 中国现当代散文| 中国古代散文 文学理论| 文集| 戏剧| 更多
玄幻/科幻| 悬疑/惊悚| 叛逆/成长| 爆笑/无厘头| 校园| 港台青春文学| 外国青春文学 更多
历史 哲学/宗教 社会科学 政治军事 传记 文化 古籍 管理 经济 成功励志 法律 语言文字
中国史| 世界史| 地方史志| 历史知识读物| 史料典籍| 史学理论| 考古文物 民族史志
政治| 军事| 中国政治| 国际政治| 外交/国际关系 哲学| 宗教| 美学 哲学知识读物| 中国古代哲学
历代帝王| 历史人物| 科学家| 体育明星| 文学家| 学者| 艺术家| 文娱明星 政治人物| 自传| 更多
世界文化| 中国文化| 中国民俗| 地域文化| 文化理论| 文化评述| 神秘现象
心理学| 人类学| 教育| 社会学| 新闻传播出版| 语言文字| 更多
古籍整理| 经部| 史类| 子部| 集部
经济理论| 中国经济| 国际经济| 经济通俗读物| 保险| 会计| 金融投资 市场营销| 管理学| 电子商务
成功激励| 口才演讲| 名人励志| 人际交往| 人生哲学| 心灵修养| 性格习惯 更多
法的理论| 法律法规| 国际法| 经济法| 更多
中国儿童文学 外国儿童文学 科普读物 绘本 动漫/卡通 幼儿启蒙
中国儿童文学| 外国儿童文学| 童话| 小说| 寓言传说|
动漫/卡通
科普| 百科| 历史读物| 生活常识| 益智游戏| 传统文化
幼儿启蒙| 少儿英语| 励志/成长| 艺术课堂
0-2岁| 3-6岁| 7岁及以上
绘画 书法篆刻 艺术理论 摄影 音乐
绘画理论| 国画| 油画| 素描速写| 水粉水彩
碑帖| 技法教程| 书法理论| 硬笔书法| 字帖| 篆刻
设计| 摄影后期| 摄影教程| 摄影理论| 摄影器材| 数码摄影| 作品集
影视理论| 影视赏析| 影视制作| 舞台/戏曲艺术
钢琴| 吉它| 理论/欣赏| 声乐| 通俗音乐| 外国音乐| 中国民族音乐| 作曲/指挥
宝石| 雕品| 古代家具| 钱币| 收藏百科| 收藏随笔| 书画| 陶瓷| 玉器
艺术理论| 雕塑| 工艺美术| 建筑艺术| 民间艺术| 人体艺术| 艺术类考试
美食 保健/心理健康 旅游 家庭教育 家居休闲
饮食文化| 保健食谱| 家常食谱| 八大菜系| 餐饮指南| 世界美食| 更多
健康百科| 健身| 心理健康| 中老年| 中医保健 常见病| 更多
旅游随笔| 旅游攻略| 旅游画册| 城市自助游| 国内自助游| 国外自助游| 地图地理 更多
孕产百科| 育儿百科| 更多
美丽妆扮| 两性关系| 家居休闲| 个人理财
中小学教辅 外语 教材 医学 计算机 自然科学
语文阅读| 拓展读物| 高考| 初中通用| 高中通用| 工具书 教师用书| 更多
英语读物| 职业英语| 英语考试| 大学英语| 少儿英语 更多
研究生/本科/专科教材 | 职业技术培训| 中小学教材|
操作系统/系统开发| 数据库| 信息安全 程序设计| 电脑杂志| 计算机教材| 计算机考试认证 计算机理论| 计算机体系结构| 家庭与办公室用书| 企业软件开发与实施| 人工智能 软件工程/开发项目管理|
考试| 家庭教育| 自然科学| 科普读物| 医学| 农林业| 工业技术| 建筑
笔记本 布艺品 书签/藏书票
笔记本| 布艺品| 书签/藏书票| 明信片| 笺纸| 胶带| 其它
本书是高级软件测试工程师专用教材。作者通过丰富的项目及培训经验，结合大量实际案例讲解软件测试技术和软件测试工具的应用，将最实用的技能及知识传授给读者，使读者尽快上手，少走弯路。 全书共分4部分。第一部分主要介绍软件测试的基本概念、分类、常识，以及黑盒测试技术、缺陷管理、测试管理、软件测试工具等。第二部分主要讨论黑盒测试工具的loadrunner 11．0测试方法、testdirector 8．0测试方法、ranorex自动化测试
本书在公司治理理论的基础上，借鉴大股东控制以及控制权收益的相关近期新研究成果，以当前转型经济背景下我国上市公司的集中股权和控制权结构下控股股东和其代理人的利益动机为研究的切入点，分析控制权的增值效应和侵占效应对企业RD投资的综合影响。在此基础上，以投融资相关理论作为深入研究的依据，融合代理理论和信息不对称理论，将外部融资环境和内部治理机制同时纳入影响RD投资的分析框架，探讨大股东控制下的企业RD投资的特征和其效率问题...
本书分为理论篇、方法篇、应用篇，共10章。理论篇（第1～3章）介绍大数据共享与交易、数据服务的基本概念、区块链数据服务方法等；方法篇（第4～8章）重点阐述区块链服务的数据交易能力和密码学保障的安全能力的相关方法，包括高时效数据交易、运行时交易监管实现、区块链安全与隐私保护等；应用篇（第9、10章）介绍在服务集成应用中快速设计数据共享与交易业务场景的方法，探索基于联盟链进行数据共享与交易应用开发的实践方案。 本书取材新颖、内容丰富
教材首先介绍建模理论、仿真方法与技术；然后，讲解Python语言基础及其Numpy、Pandas、Matplotlib等库；最后，系统梳理预测、评价、很优化等管理科学问题的原理、方法的基础上，详细分析这些管理问题解决的多种建模方法及其Python仿真程序。教材强化案例与管理实际问题的结合，讲解问题描述与分析过程，解读仿真程序，使学生能够在学习建模与仿真方法的同时，做到触类旁通，反复练习，从而掌握解决管理问题的建模与仿真方法...
本书介绍了程序设计算法的基础知识，通过算法问题实践，讲解了程序设计常用的算法，包括题目描述、题目分析，并给出了参考代码。本书的内容一方面作为基础语言(C、C++)的后续内容以及数据结构课程的巩固和提高，另一方面，为软件工程、应用程序开发、网络信息技术、大数据和人工智能等提供算法知识基础...
本书阐述现代科学与工程计算中各种常用算法及其编程实现方法，内容包括设计数值算法的原则、非线性方程的数值解法、线性方程组的直接法与迭代法、函数插值法与最小二乘拟合法、数值积分法与数值微分法、常微分方程初值问题的数值解法、矩阵特征值与特征向量计算的数值方法等。每章首先阐述基础知识要点，然后给出详细的算法描述，最后通过说明性实例给出实现算法的完整程序。在各章最后部分针对介绍的算法配备了较丰富的编程计算习题，并在附录中给出了全部习题的参考答案
本书讲解了SystemVerilogTestbench强大的验证功能，清楚地解释了面向对象编程、约束随机测试和功能覆盖的概念。本书涵盖SystemVerilog所有验证结构，如类、程序块、随机化和功能覆盖等，并通过超过500个代码示例和详细解释，说明了学习多态性、回调和工厂模式等概念的内部工作原理。此外，本书提供了数百条指导原则，为全职验证工程师和学习这一技能的读者提供帮助，让读者可以更高效地使用这种语言，并解释了常见的编码错误，以便
本书围绕编译程序分析、设计和实现方面的主题，介绍上下文无关文法、有限自动机的基础知识，以及构造程序设计语言编译程序的一般原理、设计方法和实现技术，包括词法分析、语法分析、语义分析、中间代码生成、目标代码生成、运行时刻环境和代码优化；设计了一个案例语言，给出该语言翻译器的分析、设计和实现的完整过程；介绍了开源编译器GCC的逻辑结构、典型中间代码形式和存储管理策略，也围绕目标文件介绍了汇编和链接。 本书可以作为高校计算机科学与技术
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。本书可供计算机科学与技术、信息安全、软件工程、计算机应用技术等相关专业的高年级本科生和研究生学习，也可供从事机械化定理证明、可信软件
《基于进化优化的软件变异测试理论及应用》可供计算机、自动化等专业的教师及研究生阅读，也可供自然科学、工程技术领域的研究人员及软件测试人员参考...
本书共8章。阐述了复杂软件系统研发过程中的客户创意知识内涵、来源、模型、方法、影响因素、实际案例等问题，丰富和完善了复杂软件系统研发中客户创意知识获取理论，并为其实践提供借鉴。 本书可供复杂软件系统创意和研发、信息管理、知识管理等领域的教学和科学研究人员、管理人员、工程技术人员，以及管理科学、信息管理、软件工程等专业研究生和高年级本科生阅读参考...
于本海著的《可信软件测度理论与方法》从软件 开发的工程过程和管理过程人手，定义了可信软件过 程，建立 基于可信原则的可信软件过程改进模型；为正确评价 可信软件水平．分别构建 基于全生命周期过程实体、过程行为、过程产品、进 度和成本可信的软件过程 可信属性和评价指标体系；基于软件保密安全性、生 存性、容错性、可靠性和 防危性的软件可信属性和评价指标体系，为验证软件 过程可信对软件产品可信 影响关系，应用结构方程模型理论分析了软件过程可
随着云计算及大数据技术的快速发展及应用，云计算安全问题成为广泛关注的对象，本书将在梳理相关云计算技术的基础上，以访问控制技术为核心，系统的阐述云计算环境下访问控制的现状、模型、技术及应用等，系统的介绍作者多年来关于云计算访问控制的研究成果，包括基于属性的访问控制模型，基于信任及隐私保护的访问控制模型，基于属性加密机制的访问控制模型等，拓展目前云计算访问控制的研究领域，提供了云计算访问控制的新理论和新方法...
数据包络分析方法（Dataenvelopmentanalysis,DEA）作为现代综合评价中较为常用的评价理论引起了学者、企业乃至政府的广泛关注。历经四十多年的发展目前已经形成了理论体系较为完善，应用范围很好广泛的具有多投入多产出问题相对有效性的评价方法。伴随着数据包络分析模型与方法的全面推广众多专著与软件平台也相继出现。然而，对于众多初学者或模型与方法的应用者而言因缺乏对相关理论的深入了解，较难快速入门并学会使用相关模型进行实际问题
本书全面地介绍国产信息技术软件与操作实战，首先概述国产计算机系统，包括国产操作系统、软硬件系统的历史与发展概况，以及国产计算机系统适配集成、云计算方面的内容，接着从使用层面介绍国产操作系统、办公软件、多媒体工具和网络工具的使用，从管理层面介绍硬盘、文件、网络、用户和文件权限等基本操作和管理方法，从系统监控和维护层面介绍计算机系统的监控与维护及安全管理等相关知识，随后介绍国产数据库的基础知识和使用，最后简单介绍Shell命令的使用和编程
本书按照新时期“双品质”学科建设课程的教学大纲要求编写而成，在简要介绍C++程序设计语言和测量平差数学模型的基础上，讨论各种平差方法的程序设计原理、编程思路、编程技巧，并给出完整的程序代码和应用算例。本书以自编能够实现水准网、平面控制网、GNSS向量网、摄影测量数据处理及点云数据处理等通用平差计算程序为主线，完整、系统、循序渐进地阐述测量平差计算的数学模型和程序实现方法，将对培养和提高学生的学习兴趣及分析问题和解决问题的能力起到较大作
森林资源调查数据涉及森林样地、林班、遥感影像等多种来源不同尺度的数据类型，其数据处理和分析是森林资源、生态环境监测的重要环节。Python是当前热门流行的数据编程处理语言。本书结合作者多年的教学和科研体会，针对林业、生态工作者对森林资源数据处理需求，突出以实践应用为主线，构建从森林资源数据清洗及可视化、森林样地空间结构及属性、林班数据统计分析、多源森林资源数据融合分析的全过程数据处理技术和方法，并利用Python语言实现所有的编码工作
《能源统计分析与MATLAB实践》内容安排上由浅入深，先系统介绍在能源统计领域的Matlab的基本应用，再以主流的统计分析方法为主线，利用Matlab编程，系统介绍能源统计分析领域中的描述性统计、相关分析、方差分析、回归分析、聚类分析、判别分析、主成分分析、因子分析、对应分析、典型相关分析等...
本书以ESRI ArcGIS Engine 10.4、Visual C#.NET 2015为基本开发环境重点阐述了地理信息二次开发的基本原理、方法和工程应用技巧。全书主要内容包括AE应用开发基础、AE二次开发的基本概念与核心对象、地图可视化表达、空间查询、GP处理与调用、插件框架开发、数字地形分析、北斗/GPS实时定位导航指挥系统等。在介绍方法和原理的同时, 本书配有大量具有工程价值的应用案例, 并给出实现思路和代码解析, 供读者对照
本书以无线电监管为研究对象，首先介绍无线电频谱、无线电管理、无线电监管现状和发展趋势。接着介绍信息通信技术、客户端与服务器、Web、移动互联网及其应用、人工智能，以及APP和WebAPP框架。然后介绍WebAPP基础框架、NPS内网穿透、OpenVPN和WebAPP开发案例。最后介绍无线电管理APP开发与应用，包括系统架构、5G干扰协调、基站电磁辐射、占用度测量、FM广播监测和无线电知识问答...
本书是作者在泛型程序设计领域多年研究的结晶，通过研究分划递推法中泛型约束机制的设计与实现，向读者展现泛型约束机制可解决一系列复杂泛型约束问题。读者阅读本书之后，既可对泛型程序设计有更深入的了解，也可参考本书提供的方法解决实际程序设计中可能会遇到的一些难题。 本书适合程序设计语言原理及软件形式化方向的高年级本科生、研究生和相关教师阅读，对从事可信软件行业的相关人员也有一定的借鉴和参考意义，对一般程序员深入了解程序设计语言原理有一
本书重点讨论复杂嵌入式软件的分析设计问题。首先本书从嵌入式系统的总体构架出发，阐述嵌入式软件、硬件之间的紧密关系，以及嵌入式软件开发的流程和关键技术；其次，针对当前主流的Linux和WindowsCE嵌入式平台，在介绍这些平台的总体结构、软件开发过程的基础上，通过实例介绍相关引导程序定制、内核裁剪、驱动和应用程序的开发技术；此外，从系统的角度出发，介绍面向对象的嵌入式软件分析设计技术，并按照软件开发的过程详细介绍嵌入式软件需求分析、系
本书介绍软件设计和体系结构的相关知识，深入讲解设计模式与中间件技术，使学生掌握设计模式和中间件的原理、方法和技术，理解软件设计的评价与改进，初步具备在实际开发中应用设计模式和中间件技术的能力。本书将围绕CDIO构思（Conceive）、设计（Design）、实现（Implement）、运作（Operate）的四个方面展开阐述。每个章节相对独立但有互有联系，它以工程项目（包括产品、生产流程和系统）为载体让读者以主动的、实践的、课程之间有
主动相机智能监控是当前智能视频监控的主要发展趋势。《主动相机运动分割与目标跟踪理论》紧紧围绕主动相机智能监控的两大核心技术——运动分割与目标跟踪展开讨论，包括主动相机智能监控、主动相机的运动目标分割技术、主动相机的运动目标跟踪技术,以及主动相机监控系统设计和应用，同时介绍相关方法的研究背景、理论基础和算法描述，并给出相应的实验结果...
本书根据项目的整体选型，确定了“高分遥感主体功能区规划与辅助决策”相关系统和模块必须运行在MapGIS10云环境中。在环境确认基础上，将软件框架结构可分为基础功能类库、业务逻辑层、接口层和业务外观层四个层次。其中基础功能类库由操作系统和第三方软件提供，接口层由MapGIS10.1平台提供，业务逻辑层和业务外观层为本软件设计研发的主要内容。研发工作需要同时提供2种界面形式，即模型插件和模型工作流。系统各个模块内部算法均搭建在ArcObj
《人机界面设计（实践篇）》是李乐山于2004年出版《人机界面设计》（科学出版社）之后在该领域的第二部著作。本书主要建立了一套"以用户为本"的软件或有关产品设计过程，该设计方法主要包括三部分内容：，调查用户需要和建立用户模型；第二，按照用户模型建立设计指南，然后由软件人员编写代码；第三，按照用户模型建立可用性测试标准和测试方法。作者通过多年实践和研究，主要建立了部分和第三部分的设计方法，这些方法在国外也是近十几年才建立起来的。本书主要分
本书首先系统地论述了软件需求变更与软件过程的相关研究与实践背景, 分析了需求变更与软件过程的关系。然后, 对软件需求变更及变更间关联关系进行分析, 为软件开发和维护过程中利益相关者做出有效管理决策提供了有价值的信息。最后, 使用系统动力学方法对软件需求变更管理过程进行仿真建模, 并根据模型运行的仿真结果来分析软件过程改进效果, 力图尽量全面地给出一个需求变更分析方法和面向需求变更进行软件过程改进的解决方案...
本书共分9章。第1章介绍软件平台开发的主要背景和进展；第2章介绍冷却塔上下部结构一体化参数建模与分析；第3章介绍自动配筋与绘图功能模块的使用；第4章介绍线型与壁厚；第5章结合前后处理介绍数据可视化的使用方法；第6章介绍结构整体优化分析的操作流程；第7章介绍风致动力响应计算过程；第8章介绍塔群气动荷载数据库的构建与使用说明；第9章介绍冷却塔下部结构复杂群桩特性建模与分析流程...
本书选取一些自然科学的经典知识和案例，如数学中的傅里叶变换、圆周率，计算机技术中的RSA加密，数学建模中的微分方程数值算法，航天领域的火箭、发动机、卫星轨道和卫星探测等，将这些案例中的知识点、研究和计算过程与Python编程的应用有机结合，带领读者初步体验和学习使用Python进行数学建模、数据处理等...
本书重点介绍了空间信息技术常用数值计算方法的VC++编程实现过程。全书分十章内容，主要包括解线性方程组的直接解法和迭代解法、拉格朗日插值、差分、差商、牛顿插值、埃尔米特插值、三次样条函数插值、梯形求积法、辛卜生求积法、龙贝格求积法、高斯求积法、三角形和四边形积分区域上二重积分、一元线性回归、多元线性回归、非线性回归、多项式回归、逐步回归分析的理论内容和编程实现算法。本书每节内容分两部分，一部分是对算法原理的基本描述，另一部分是相应算法
(美)艾玛·克莱因(EmmaCline
宋瑞祥
刘争争
梁实秋
汪曾祺
老王子
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394
营业执照出版物经营许可证 京出发京批字第直110071