《安全协议实施自动化生成与验证》包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2CV、基于计算模

首先，《澜沧江水生生物物种资源调查与保护》介绍了中国西南地区澜沧江流域的地理特征概况，主要阐述其地貌特征、气候状况、水资源特征和水生生物物种资源构成特征。并说明澜沧江水生生物物种资源及其栖息生境现状调查研究的必要性和意义。其次，对本研究中的水生生物调查内容与方法按照不同水生生物类群（鱼类、底栖生物、水生植物）展开了叙述

《怒江水生生物物种资源调查与保护》以怒江水生生物为对象，从物种资源调查及保护出发，全面总结了多年的调查成果，阐述了怒江鱼类、底栖动物、水生植物物种资源现状，并基于资源保护存在的问题提出了相应的保护措施。书中首先介绍中国西南地区的地理特征、怒江流域的自然特征、鱼类地理区划及资源构成特点，并阐述怒江水生生物物种资源及其栖息

《新编仪器分析实验》分为基础性实验、研究性实验和设计性实验三个部分，涵盖紫外-可见吸收光谱法、分子荧光光谱法、原子吸收光谱法、原子荧光分光光度法、原子发射光谱法、红外吸收光谱法、核磁共振波谱法、电导与电位分析法、极谱与伏安法、库仑分析法、气相色谱法、高效液相色谱法、毛细管电泳与离子色谱法等，共89个实验。 《新编仪器

《应用泛函分析基础》介绍泛函分析的基本概念、基本理论、基本方法及其相关应用，全书共5章：实分析基础、度量空间、赋范线性空间及其线性算子、Hilbert空间及其线性算子、泛函分析的一些应用。 《应用泛函分析基础》注重从实际背景出发引入有关概念，选材适当，叙述清晰，论证严谨，重点突出，结构合理，侧重介绍泛函分析的基础知识

《概率论与数理统计学习指导（第二版）》是与《概率论与数理统计》第二版，李寿贵、余胜春主编，科学出版社，2016）配套的学习指导教材，亦可与其他教材配套使用.内容包括随机事件与概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律和中心极限定理、统计量及其分布、参数估计、假设检验、方差分析与回归分析等

《医药高等数学》根据国家教育委员会和国家中医药管理局对中医药大学基础课教学的基本要求，紧扣教学大纲，由长期从事高等数学教学工作的教师结合自身多年教学经验编写而成。一书内容包括：函数与极限，导数与微分，导数的应用，不定积分，定积分与定积分的应用，空间解析几何，多元函数微分学，多元积分学以及微分方程等内容。

本书针对船舶与海洋工程专业本科起点的教材，其特色是在强调掌握基础理论知识的同时，兼顾工程应用。本书共分8章分别介绍了流体物性及量纲、流体静力学、流体运动学、流体动力学基本方程式、流体涡旋运动理论基础、势流理论、水波理论、粘性流体力学；书后附各章节关键词的索引，配有例题、习题和讨论题。

数学对于人类文化进步产生重要的推动作用，对人的思想、精神世界和人文素质有着巨大的影响。高等学校开设了许多数学课程，但仍不可忽视数学文化的教育功能。 本书定位于一本面向普通高等院校非数学专业大学生的文化素质教材，力求阐明数学的思想、方法与文化意义，阐述了数学的发展简史和推进人类文化发展的作用，介绍了解析几何、微积分、概

《张量分析与弹性力学》为地球物理学及相关地学专业教材，主要内容包括张量分析部分与弹性力学部分。张量分析部分主要讲述有关的数学基础，涉及拓扑空间、流形与微分流形、张量分析基础等章节；弹性力学部分以基本概念、基础理论、逻辑推演为主，主要涉及应变分析、应力分析、本构关系、边值问题、二维平面问题、三维空间问题、弹性波等章节，很

《线性代数（第三版）》按照48课时“线性代数”课程教学要求编写，在精简教学内容的同时，保持了课程体系完整，理论严谨，并注重解题方法的讲解和题型体系的研究，力求提高读者的解题能力，全书共6章；内容包括行列式、矩阵及其运算、向量组的线性相关性、线性方程组、矩阵特征值与特征向量、二次型等，书中附有大量习题。

书中各章节的数学模型包括（1）病毒传播扩散模型；（2）病毒进化模型；（3）免疫调节模型；（4）抗病毒治疗模型；（5）药物使用策略的动态控制模型。通过对这几类数学模型的动力学性质分析、数据拟合和计算机模拟，本书阐述病毒感染定量的、进化的情况，以及病毒进化的逃避免疫控制和抗病毒药物开发。

《GIS空间分析实验教程》是《GIS空间分析原理与方法》的配套实验教材。《GIS空间分析实验教程》共15个实验，内容涉及空间位置特征分析、空间拓扑关系分析、空间变异特征分析、数字地形分析和空间分析并行计算等，侧重空间对象量算、空间关系查询、选址分析、追踪分析、探索性数据分析、网络分析、地形分析、插值分析、叠加分析、缓冲

针对地理信息对语义的特殊要求，提出了利用本体实现基于语义的地理Agent的集成和互操作的基本方法。通过该方法，首先利用地理Agent中的领域本体把各个分布异构的GIS节点用本体封装起来，对外显示基于本体的界面；然后通过基于遥感影像和地理Agent的语义推理机制，建立不同本体系统之间的语义关系；最后通过不同GIS节点之间

彭小明教授作为我国新一代课程与教学研究的学者，从事课程教学和研究30余年，是全国课程与教学界有一定影响的人物。该书是彭小明教授的*力作。该书分课程论、教材论、教学论、学习论、教研论和教师论等部分，作者以新课程理念为引导，以教学理论为核心，突出知识性与理论性，旨在构建课程与教学理论的完整体系。

电视新闻全媒体融合，是当今全球化新媒体生态环境下的时代命题。本书结合我国媒体融合实际，也参考国外经验，就电视新闻全媒体的模式及其绩效评价之社会前沿问题，进行系统探究。包括电视与广播、报刊的所有权融合模式，广电报媒体集团与新兴媒体的合作联盟融合模式。结出了电视新闻真正一体化全媒体融合的管理和运作框架，以及未来与新兴媒体非

《中下扬子及东南地区页岩气资源调查评价与选区》系“中国重点地区页岩气资源潜力及有利区优选”“全国页岩气资源潜力调查评价及有利区优选项目（2010～2013年）”研究成果，是关于中、下扬子及东南地区页岩气资源潜力与分布状况的首次较系统的总结。全书展示了丰富的基于页岩（油）气勘探和基础研究的第一手资料，并在多学科密切结合的

本文以详细写实性岩心精细描述、实验测试、测井及地震资料综合分析为基础；以沉积背景、沉积特征、成因类型及展布规律综合研究为主线，以扇三角洲的成因机制为重点，以砾岩结构-成因类型为核心，对百口泉组砾岩进行了深入研究。理清了百口泉组大型粗粒扇三角洲的形成机制，总结了砾岩沉积特征，提出了砾岩结构-成因分类，建立了砾岩沉积模式，

近年来有关中华文化的图书多由于追求面面俱到，缺少对人物和史事的挖掘和研究，通俗性、普及性与学术性未能很好融合。《关陇文化--汉唐盛世的见证》以既具有鲜明地域特色，又有全国乃至世界影响的关陇文化为视角，从黄土环境、特色饮食、传统民居、历史服饰、特色艺术、民族风情等方面着眼，研究关陇文化的形成过程与独特价值，由近及远、由今

《全国高等院校教育硕士规划用书：信息技术与化学课程整合教程》共15章，包括信息技术在教育中应用的理论与教学结构、信息技术与课程整合的教学模式和教师信息素养构成、信息技术与化学课程整合的应用、信息技术与化学课程整合的工具软件介绍四部分内容。通过“理论学习-方法与模式-素养需求-实践示例-工具软件使用”的学习路径，有效地培