可信软件设计 开发健壮软件的工具、技术和方法

（美）贾亚斯瓦等著；吴峻申，蒋乐天，黄诚译2013 年出版512 页ISBN：9787111428190

本书介绍了一种可在早期解决软件质量问题，使软件质量管理目标变成防止在实施阶段发生bug而不是在实施阶段中或之后发现和解决bug,名为可信任软件设计（DFTS）的综合技术。这种技术可信之处在于能在一行代码都未...

中文版Excel 2013在财务管理中的应用

邓丽萍，刘娜，张华著2016 年出版244 页ISBN：9787830023911

本产品是根据高等职业院校技术教育特点编写的一本以应用为主的软件教程。本产品共分十一个项目，分别为Excel财务管理入门、公式与函数的应用、财务数据图表的应用、财务数据排序与汇总、数据透视表与数据透...

普通高等教育“十三五”规划教材 概率统计应用与实验

黄龙生，黄敏著2018 年出版309 页ISBN：9787517061892

本书包括随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、常用分布、大数定律及中心极限定理、数理统计基础、参数估计、假设检验、方差分析和回归分析。每章后面编排了较...

进化 运维技术变革与实践探索

赵成著2018 年出版273 页ISBN：9787121338854

本书整体包含四大部分内容：应用运维体系建设、效率和稳定性最佳实践、云计算时代的运维实践以及运维人员的个人成长。应用运维体系建设部分从运维的本质开始讲起，到运维体系的基本建立和运维组织架构和模式的...

基于蛋白质相互作用网络的算法研究及其应用

汤希玮著2018 年出版204 页ISBN：9787030585714

书稿主体内容来自作者已经发表的8个算法，分为6章。为了揭示蛋白质网络的动态特征，酵母的时间序列基因表达谱被用于分离静态的蛋白质网络，进而构建随时间变化的动态蛋白质网络。为了理解蛋白质的关键性和聚集性...

现代材料分析测试技术 第2版

管学茂，王庆良，王庆平，胡文全主编；李强，罗勇副主编2018 年出版305 页ISBN：9787564639471

《高等教育“十二五”规划教材：现代材料分析测试技术》以无机非金属和金属材料常用的x射线衍射分析、电子显微分析和热分析基本测试方法为主要内容，辅以红外光谱分析和核磁共振分析及用于表面分析的光电子能...

田野·社会丛书 晋祠稻米 农业技术与乡村社会变迁研究

苏泽龙著2018 年出版244 页ISBN：9787100160834

本书主要是研究集体化时期晋祠地区的稻作技术与社会变迁问题。为将这一问题论述地更加明细准确，作者引入长时段的视角，禀承区域社会史“田野与社会”的理论与方法，借鉴运用社会学、人类学、经济学等相关学科方...

普通高等院校土木工程专业“十三五”规划教材 国家应用型创新人才培养系列精品教材 土力学

杨庆光，胡贺松，刘杰著2017 年出版237 页ISBN：9787516016787

本书包括以下内容：绪论、土的物理性质及工程分类、土的渗透性及渗流问题、土中的应力计算、土的变形特征及沉降量计算、土的抗剪强度及地基承载力、土压力理论和土坡稳定性分析、土的动力特性。高等院校土建...

吹填场地静动组合排水固结技术与实践

吴名江，乐绍林，孟宪鹏，吴价城，丁继辉著2017 年出版199 页ISBN：9787114141348

本书针对新近吹填场地非均质性明显、二元结构、静置时间短、差异沉降显著等技术难题，研究非均质吹填场地静动组合排水固结技术设计方法，通过室内试验研究非均质吹填场地软土沉降-固结基本规律和固结特性，通过...

Excel在统计中的应用

唐五湘等主编2002 年出版275 页ISBN：7505370006

本书对最流行的电子表格程序——Excel在统计中的应用作了深入浅出的介绍。全书分为11 章，分别介绍了Excel中文版基础知识以及Excel的基本统计功能、几种典型统计分布图的绘 制、图形的使用与数据地图的创建...