《安全協(xié)議實(shí)施自動(dòng)化生成與驗(yàn)證》包括五篇，共15章。系統(tǒng)地全面介紹了安全實(shí)施自動(dòng)化生成與驗(yàn)證的基本理論和關(guān)鍵技術(shù)及新成果。主要內(nèi)容包括安全協(xié)議規(guī)范與實(shí)施的形式化分析與驗(yàn)證的國(guó)內(nèi)外發(fā)展現(xiàn)狀、基于計(jì)算模型自動(dòng)化抽取安全協(xié)議Blanchet演算實(shí)施模型、安全協(xié)議Blanchet演算實(shí)施自動(dòng)化抽取工具JAVA2CV、基于計(jì)算模

首先，《瀾滄江水生生物物種資源調(diào)查與保護(hù)》介紹了中國(guó)西南地區(qū)瀾滄江流域的地理特征概況，主要闡述其地貌特征、氣候狀況、水資源特征和水生生物物種資源構(gòu)成特征。并說(shuō)明瀾滄江水生生物物種資源及其棲息生境現(xiàn)狀調(diào)查研究的必要性和意義。其次，對(duì)本研究中的水生生物調(diào)查內(nèi)容與方法按照不同水生生物類群（魚(yú)類、底棲生物、水生植物）展開(kāi)了敘述

《怒江水生生物物種資源調(diào)查與保護(hù)》以怒江水生生物為對(duì)象，從物種資源調(diào)查及保護(hù)出發(fā)，全面總結(jié)了多年的調(diào)查成果，闡述了怒江魚(yú)類、底棲動(dòng)物、水生植物物種資源現(xiàn)狀，并基于資源保護(hù)存在的問(wèn)題提出了相應(yīng)的保護(hù)措施。書(shū)中首先介紹中國(guó)西南地區(qū)的地理特征、怒江流域的自然特征、魚(yú)類地理區(qū)劃及資源構(gòu)成特點(diǎn)，并闡述怒江水生生物物種資源及其棲息

《新編儀器分析實(shí)驗(yàn)》分為基礎(chǔ)性實(shí)驗(yàn)、研究性實(shí)驗(yàn)和設(shè)計(jì)性實(shí)驗(yàn)三個(gè)部分，涵蓋紫外-可見(jiàn)吸收光譜法、分子熒光光譜法、原子吸收光譜法、原子熒光分光光度法、原子發(fā)射光譜法、紅外吸收光譜法、核磁共振波譜法、電導(dǎo)與電位分析法、極譜與伏安法、庫(kù)侖分析法、氣相色譜法、高效液相色譜法、毛細(xì)管電泳與離子色譜法等，共89個(gè)實(shí)驗(yàn)。 《新編儀器

《應(yīng)用泛函分析基礎(chǔ)》介紹泛函分析的基本概念、基本理論、基本方法及其相關(guān)應(yīng)用，全書(shū)共5章：實(shí)分析基礎(chǔ)、度量空間、賦范線性空間及其線性算子、Hilbert空間及其線性算子、泛函分析的一些應(yīng)用。 《應(yīng)用泛函分析基礎(chǔ)》注重從實(shí)際背景出發(fā)引入有關(guān)概念，選材適當(dāng)，敘述清晰，論證嚴(yán)謹(jǐn)，重點(diǎn)突出，結(jié)構(gòu)合理，側(cè)重介紹泛函分析的基礎(chǔ)知識(shí)

《概率論與數(shù)理統(tǒng)計(jì)學(xué)習(xí)指導(dǎo)（第二版）》是與《概率論與數(shù)理統(tǒng)計(jì)》第二版，李壽貴、余勝春主編，科學(xué)出版社，2016）配套的學(xué)習(xí)指導(dǎo)教材，亦可與其他教材配套使用.內(nèi)容包括隨機(jī)事件與概率、隨機(jī)變量及其分布、多維隨機(jī)變量及其分布、隨機(jī)變量的數(shù)字特征、大數(shù)定律和中心極限定理、統(tǒng)計(jì)量及其分布、參數(shù)估計(jì)、假設(shè)檢驗(yàn)、方差分析與回歸分析等

《醫(yī)藥高等數(shù)學(xué)》根據(jù)國(guó)家教育委員會(huì)和國(guó)家中醫(yī)藥管理局對(duì)中醫(yī)藥大學(xué)基礎(chǔ)課教學(xué)的基本要求，緊扣教學(xué)大綱，由長(zhǎng)期從事高等數(shù)學(xué)教學(xué)工作的教師結(jié)合自身多年教學(xué)經(jīng)驗(yàn)編寫(xiě)而成。一書(shū)內(nèi)容包括：函數(shù)與極限，導(dǎo)數(shù)與微分，導(dǎo)數(shù)的應(yīng)用，不定積分，定積分與定積分的應(yīng)用，空間解析幾何，多元函數(shù)微分學(xué)，多元積分學(xué)以及微分方程等內(nèi)容。

本書(shū)針對(duì)船舶與海洋工程專業(yè)本科起點(diǎn)的教材，其特色是在強(qiáng)調(diào)掌握基礎(chǔ)理論知識(shí)的同時(shí)，兼顧工程應(yīng)用。本書(shū)共分8章分別介紹了流體物性及量綱、流體靜力學(xué)、流體運(yùn)動(dòng)學(xué)、流體動(dòng)力學(xué)基本方程式、流體渦旋運(yùn)動(dòng)理論基礎(chǔ)、勢(shì)流理論、水波理論、粘性流體力學(xué)；書(shū)后附各章節(jié)關(guān)鍵詞的索引，配有例題、習(xí)題和討論題。

數(shù)學(xué)對(duì)于人類文化進(jìn)步產(chǎn)生重要的推動(dòng)作用，對(duì)人的思想、精神世界和人文素質(zhì)有著巨大的影響。高等學(xué)校開(kāi)設(shè)了許多數(shù)學(xué)課程，但仍不可忽視數(shù)學(xué)文化的教育功能。 本書(shū)定位于一本面向普通高等院校非數(shù)學(xué)專業(yè)大學(xué)生的文化素質(zhì)教材，力求闡明數(shù)學(xué)的思想、方法與文化意義，闡述了數(shù)學(xué)的發(fā)展簡(jiǎn)史和推進(jìn)人類文化發(fā)展的作用，介紹了解析幾何、微積分、概

《張量分析與彈性力學(xué)》為地球物理學(xué)及相關(guān)地學(xué)專業(yè)教材，主要內(nèi)容包括張量分析部分與彈性力學(xué)部分。張量分析部分主要講述有關(guān)的數(shù)學(xué)基礎(chǔ)，涉及拓?fù)淇臻g、流形與微分流形、張量分析基礎(chǔ)等章節(jié)；彈性力學(xué)部分以基本概念、基礎(chǔ)理論、邏輯推演為主，主要涉及應(yīng)變分析、應(yīng)力分析、本構(gòu)關(guān)系、邊值問(wèn)題、二維平面問(wèn)題、三維空間問(wèn)題、彈性波等章節(jié)，很

《線性代數(shù)（第三版）》按照48課時(shí)“線性代數(shù)”課程教學(xué)要求編寫(xiě)，在精簡(jiǎn)教學(xué)內(nèi)容的同時(shí)，保持了課程體系完整，理論嚴(yán)謹(jǐn)，并注重解題方法的講解和題型體系的研究，力求提高讀者的解題能力，全書(shū)共6章；內(nèi)容包括行列式、矩陣及其運(yùn)算、向量組的線性相關(guān)性、線性方程組、矩陣特征值與特征向量、二次型等，書(shū)中附有大量習(xí)題。

書(shū)中各章節(jié)的數(shù)學(xué)模型包括（1）病毒傳播擴(kuò)散模型；（2）病毒進(jìn)化模型；（3）免疫調(diào)節(jié)模型；（4）抗病毒治療模型；（5）藥物使用策略的動(dòng)態(tài)控制模型。通過(guò)對(duì)這幾類數(shù)學(xué)模型的動(dòng)力學(xué)性質(zhì)分析、數(shù)據(jù)擬合和計(jì)算機(jī)模擬，本書(shū)闡述病毒感染定量的、進(jìn)化的情況，以及病毒進(jìn)化的逃避免疫控制和抗病毒藥物開(kāi)發(fā)。

《GIS空間分析實(shí)驗(yàn)教程》是《GIS空間分析原理與方法》的配套實(shí)驗(yàn)教材�！禛IS空間分析實(shí)驗(yàn)教程》共15個(gè)實(shí)驗(yàn)，內(nèi)容涉及空間位置特征分析、空間拓?fù)潢P(guān)系分析、空間變異特征分析、數(shù)字地形分析和空間分析并行計(jì)算等，側(cè)重空間對(duì)象量算、空間關(guān)系查詢、選址分析、追蹤分析、探索性數(shù)據(jù)分析、網(wǎng)絡(luò)分析、地形分析、插值分析、疊加分析、緩沖

針對(duì)地理信息對(duì)語(yǔ)義的特殊要求，提出了利用本體實(shí)現(xiàn)基于語(yǔ)義的地理Agent的集成和互操作的基本方法。通過(guò)該方法，首先利用地理Agent中的領(lǐng)域本體把各個(gè)分布異構(gòu)的GIS節(jié)點(diǎn)用本體封裝起來(lái)，對(duì)外顯示基于本體的界面；然后通過(guò)基于遙感影像和地理Agent的語(yǔ)義推理機(jī)制，建立不同本體系統(tǒng)之間的語(yǔ)義關(guān)系；最后通過(guò)不同GIS節(jié)點(diǎn)之間

彭小明教授作為我國(guó)新一代課程與教學(xué)研究的學(xué)者，從事課程教學(xué)和研究30余年，是全國(guó)課程與教學(xué)界有一定影響的人物。該書(shū)是彭小明教授的*力作。該書(shū)分課程論、教材論、教學(xué)論、學(xué)習(xí)論、教研論和教師論等部分，作者以新課程理念為引導(dǎo)，以教學(xué)理論為核心，突出知識(shí)性與理論性，旨在構(gòu)建課程與教學(xué)理論的完整體系。

電視新聞全媒體融合，是當(dāng)今全球化新媒體生態(tài)環(huán)境下的時(shí)代命題。本書(shū)結(jié)合我國(guó)媒體融合實(shí)際，也參考國(guó)外經(jīng)驗(yàn)，就電視新聞全媒體的模式及其績(jī)效評(píng)價(jià)之社會(huì)前沿問(wèn)題，進(jìn)行系統(tǒng)探究。包括電視與廣播、報(bào)刊的所有權(quán)融合模式，廣電報(bào)媒體集團(tuán)與新興媒體的合作聯(lián)盟融合模式。結(jié)出了電視新聞?wù)嬲�一體化全媒體融合的管理和運(yùn)作框架，以及未來(lái)與新興媒體非

《中下?lián)P子及東南地區(qū)頁(yè)巖氣資源調(diào)查評(píng)價(jià)與選區(qū)》系“中國(guó)重點(diǎn)地區(qū)頁(yè)巖氣資源潛力及有利區(qū)優(yōu)選”“全國(guó)頁(yè)巖氣資源潛力調(diào)查評(píng)價(jià)及有利區(qū)優(yōu)選項(xiàng)目（2010～2013年）”研究成果，是關(guān)于中、下?lián)P子及東南地區(qū)頁(yè)巖氣資源潛力與分布狀況的首次較系統(tǒng)的總結(jié)。全書(shū)展示了豐富的基于頁(yè)巖（油）氣勘探和基礎(chǔ)研究的第一手資料，并在多學(xué)科密切結(jié)合的

本文以詳細(xì)寫(xiě)實(shí)性巖心精細(xì)描述、實(shí)驗(yàn)測(cè)試、測(cè)井及地震資料綜合分析為基礎(chǔ)；以沉積背景、沉積特征、成因類型及展布規(guī)律綜合研究為主線，以扇三角洲的成因機(jī)制為重點(diǎn)，以礫巖結(jié)構(gòu)-成因類型為核心，對(duì)百口泉組礫巖進(jìn)行了深入研究。理清了百口泉組大型粗粒扇三角洲的形成機(jī)制，總結(jié)了礫巖沉積特征，提出了礫巖結(jié)構(gòu)-成因分類，建立了礫巖沉積模式，

近年來(lái)有關(guān)中華文化的圖書(shū)多由于追求面面俱到，缺少對(duì)人物和史事的挖掘和研究，通俗性、普及性與學(xué)術(shù)性未能很好融合�！蛾P(guān)隴文化--漢唐盛世的見(jiàn)證》以既具有鮮明地域特色，又有全國(guó)乃至世界影響的關(guān)隴文化為視角，從黃土環(huán)境、特色飲食、傳統(tǒng)民居、歷史服飾、特色藝術(shù)、民族風(fēng)情等方面著眼，研究關(guān)隴文化的形成過(guò)程與獨(dú)特價(jià)值，由近及遠(yuǎn)、由今

《全國(guó)高等院校教育碩士規(guī)劃用書(shū)：信息技術(shù)與化學(xué)課程整合教程》共15章，包括信息技術(shù)在教育中應(yīng)用的理論與教學(xué)結(jié)構(gòu)、信息技術(shù)與課程整合的教學(xué)模式和教師信息素養(yǎng)構(gòu)成、信息技術(shù)與化學(xué)課程整合的應(yīng)用、信息技術(shù)與化學(xué)課程整合的工具軟件介紹四部分內(nèi)容。通過(guò)“理論學(xué)習(xí)-方法與模式-素養(yǎng)需求-實(shí)踐示例-工具軟件使用”的學(xué)習(xí)路徑，有效地培