這本實(shí)用的教科書適用于形式化方法的入門課程或高級(jí)課程。本書以B形式化方法的一個(gè)擴(kuò)展Event-B作為工具，展示了一種完成系統(tǒng)建模和設(shè)計(jì)的數(shù)學(xué)方法。 簡(jiǎn)-埃蒙德·阿布瑞爾（Jean-RaymondAbrial）是國(guó)際著名計(jì)算機(jī)科學(xué)家，曾任蘇黎世聯(lián)邦理工學(xué)院客座教授，他基于精化的思想提出了一種系統(tǒng)化的方法，教讀者如何逐步構(gòu)

黎曼假設(shè)，即素?cái)?shù)的未解謎題，被視為數(shù)學(xué)研究的“珠峰”，吸引了一代代數(shù)學(xué)家投身于數(shù)論研究中，其中不乏數(shù)學(xué)史上大名鼎鼎的人物。而破解這一謎題過(guò)程中的發(fā)現(xiàn)，已經(jīng)給電子商務(wù)、量子力學(xué)和計(jì)算機(jī)科學(xué)等領(lǐng)域帶來(lái)了舉足輕重的影響。本書作者以生動(dòng)細(xì)膩的筆觸，將素?cái)?shù)的故事娓娓道來(lái)。閱讀本書不僅能像聆聽(tīng)音樂(lè)那樣，無(wú)須具備數(shù)學(xué)專業(yè)背景即可領(lǐng)略

本書分為基礎(chǔ)篇、朝代篇、角色篇和生活篇等四大篇，共9章。其中，朝代篇包含9個(gè)主題造型案例，角色篇包含10個(gè)才女造型案例和4個(gè)神女造型案例，生活篇包含2個(gè)外景寫真造型案例和6個(gè)新娘造型案例。 本書有嚴(yán)謹(jǐn)?shù)闹�識(shí)框架，采用循序漸進(jìn)的講解形式，在編排上注重古風(fēng)化妝造型的創(chuàng)作思路和技法的結(jié)合。案例圖片以化妝師視角拍攝，并附有詳細(xì)

本書主要介紹圖案設(shè)計(jì)的理論、方法，并結(jié)合應(yīng)用領(lǐng)域設(shè)計(jì)進(jìn)行項(xiàng)目實(shí)訓(xùn)。在介紹圖案的概念、功能、類型等理論的基礎(chǔ)上，分析中外經(jīng)典圖案的風(fēng)格流派和藝術(shù)特點(diǎn)，解析圖案在其他門類設(shè)計(jì)作品中的應(yīng)用范例，將教學(xué)的重點(diǎn)放在圖案設(shè)計(jì)的方法與思路上。在項(xiàng)目實(shí)訓(xùn)篇中，本書依據(jù)圖案設(shè)計(jì)的工作流程設(shè)置了花卉、動(dòng)物和人物圖案設(shè)計(jì)這3個(gè)由淺入深、由易

我們是如此需要數(shù)學(xué)，以至于從遠(yuǎn)古時(shí)代的古巴比倫人開(kāi)始就已經(jīng)積累了一定的數(shù)學(xué)知識(shí)。不過(guò)，那時(shí)的數(shù)學(xué)還只是觀察和經(jīng)驗(yàn)所得，沒(méi)有煩瑣且枯燥的證明。經(jīng)過(guò)漫長(zhǎng)的發(fā)展，數(shù)學(xué)逐漸成為學(xué)習(xí)和研究現(xiàn)代科學(xué)技術(shù)必不可少的基本工具，但同時(shí)它也成為讓不少學(xué)生十分苦惱的一門課程。本書汲取原始的經(jīng)驗(yàn)，從生活出發(fā)，通過(guò)有趣的畫圖練習(xí)和模型制作等，向

《Istio實(shí)戰(zhàn)指南》是Istio服務(wù)網(wǎng)格技術(shù)的入門圖書。全書共分為9章，深入淺出地介紹了Istio的相關(guān)知識(shí)，結(jié)合大量的示例，清晰而詳細(xì)地闡述了Istio的主要特性。《Istio實(shí)戰(zhàn)指南》的第1章介紹了服務(wù)網(wǎng)格的起源和發(fā)展，第2～4章介紹了Istio的基本概念和安裝。第5～8章，采用實(shí)例練習(xí)的方式詳細(xì)地介紹了Isti

本書以R語(yǔ)言為基礎(chǔ)，介紹做任何分析都繞不開(kāi)的數(shù)據(jù)處理基本操作。從基本包入手，循序漸進(jìn)地引導(dǎo)讀者一步一步進(jìn)行學(xué)習(xí)。首先介紹tidyverse生態(tài)系統(tǒng)的dplyr包，并在其后引入難度稍高但是性能更加優(yōu)秀的data.table包，然后介紹支持分布式數(shù)據(jù)處理的sparklyr包。在本書的zui后部分還提供了實(shí)戰(zhàn)的案例，并介紹了

數(shù)學(xué)是機(jī)器學(xué)習(xí)繞不開(kāi)的基礎(chǔ)知識(shí)，傳統(tǒng)教材的風(fēng)格偏重理論定義和運(yùn)算技巧，想以此高效地打下機(jī)器學(xué)習(xí)的數(shù)學(xué)基礎(chǔ)，針對(duì)性和可讀性并不佳。本書以機(jī)器學(xué)習(xí)涉及的線性代數(shù)核心知識(shí)為重點(diǎn)，進(jìn)行新的嘗試和突破：從坐標(biāo)與變換、空間與映射、近似與擬合、相似與特征、降維與壓縮這5個(gè)維度，環(huán)環(huán)相扣地展開(kāi)線性代數(shù)與機(jī)器學(xué)習(xí)算法緊密結(jié)合的核心內(nèi)容，

本書由一線講師和設(shè)計(jì)師傾力編寫，深入挖掘PhotoshopCC的核心工具、命令與功能，幫助讀者在短時(shí)間內(nèi)迅速掌握PhotoshopCC的應(yīng)用方法與技巧，并將其運(yùn)用到實(shí)際操作中。全書系統(tǒng)、全面地整合了“入門類”圖書的優(yōu)勢(shì)，汲取了“從入門到精通”圖書的精華，借鑒了“案例類”圖書的特點(diǎn)。80個(gè)技能訓(xùn)練，30個(gè)課后商業(yè)案例訓(xùn)練

《“一帶一路”沿線國(guó)家特種動(dòng)物纖維》針對(duì)“沿線”特種動(dòng)物纖維資源及其性能進(jìn)行了研究。對(duì)特種動(dòng)物纖維表面形態(tài)特征，物理、化學(xué)及舒適性等相關(guān)性能，如表面鱗片結(jié)構(gòu)、長(zhǎng)度、細(xì)度、強(qiáng)伸性、卷曲性、摩擦性、舒適性等進(jìn)行了測(cè)試與分析。并對(duì)有色動(dòng)物纖維的脫色工藝及脫色纖維的性能做了試驗(yàn)分析。此外，還對(duì)脫色動(dòng)物纖維混紡紗線及其織物進(jìn)行了

《玩轉(zhuǎn)旅游英語(yǔ)口語(yǔ)》讓你輕輕松松用英語(yǔ)和外國(guó)人暢聊，將是你旅游出行的好幫手。本書針對(duì)出國(guó)旅游的讀者，精心挑選了旅游英語(yǔ)中常用的高頻詞匯、高頻單句和實(shí)用對(duì)話，幫助讀者在出國(guó)旅游時(shí)無(wú)障礙地與當(dāng)?shù)厝私涣鳎�避免窘境和尷尬。依照一般旅游行程排列，本書分成七章，再現(xiàn)了88個(gè)真實(shí)旅游情景，語(yǔ)言表達(dá)貼近實(shí)際旅游使用習(xí)慣。

作為一位好讀書的讀書人，作者認(rèn)為閱讀對(duì)人成長(zhǎng)的影響巨大，人的精神發(fā)育史無(wú)疑是他本人的閱讀史；而一個(gè)民族的精神境界，在很大程度上取決于全民族的閱讀水平。少時(shí)愛(ài)讀書，更多的是學(xué)習(xí)知識(shí)，從書本中尋求未知世界的答案；隨歲月流逝，在書友的陪伴下，不覺(jué)已知天命。作者在《中華醫(yī)學(xué)信息導(dǎo)報(bào)》等刊物開(kāi)設(shè)有書評(píng)專欄，以作者的名字命名的微信

本書以大地構(gòu)造及成礦演化為主線，運(yùn)用多元成礦控制特點(diǎn)，針對(duì)影響西南“三江”成礦帶北段成礦作用的區(qū)域地層格架、斷裂系統(tǒng)、巖漿巖時(shí)空分布規(guī)律及含礦建造等主要成礦地質(zhì)背景進(jìn)行了系統(tǒng)總結(jié)，著重分析了區(qū)內(nèi)巖漿作用特征及其與成礦的關(guān)系。對(duì)成礦構(gòu)造環(huán)境進(jìn)行了分析判別，總結(jié)了主要控礦因素和找礦標(biāo)志。建立了不同類型找礦模型，在找礦潛力分

本教材依據(jù)護(hù)理崗位需要組織教材內(nèi)容，內(nèi)容編排以醫(yī)院真實(shí)場(chǎng)景為主線，以臨床護(hù)理工作為框架，以臨床病例為導(dǎo)向，涉及基礎(chǔ)護(hù)理、內(nèi)科護(hù)理、外科護(hù)理、婦產(chǎn)科護(hù)理、兒科護(hù)理、精神科護(hù)理等護(hù)理專業(yè)理論及技能內(nèi)容，還涉及醫(yī)學(xué)影像技術(shù)、醫(yī)學(xué)檢驗(yàn)技術(shù)、用藥護(hù)理、人際溝通技巧等相關(guān)知識(shí)。本教材可供護(hù)理、助產(chǎn)及醫(yī)學(xué)相關(guān)專業(yè)使用，亦可作為臨床護(hù)

本書是為《數(shù)學(xué)物理方法》教材配套的習(xí)題輔導(dǎo)書。涉及線性空間、復(fù)變函數(shù)及數(shù)學(xué)物理方程等內(nèi)容。本書在兼顧基本知識(shí)點(diǎn)的基礎(chǔ)上，對(duì)教材的課后習(xí)題做了步驟詳盡的解答，物理圖像清晰。本書可作為高等學(xué)校物理類專業(yè)《數(shù)學(xué)物理方法》教材的配套讀物，也可供有關(guān)專業(yè)的研究生、教師和科技人員參考。

主要包括概率的基礎(chǔ)知識(shí)，條件數(shù)學(xué)期望，馬氏鏈，Poisson過(guò)程，更新過(guò)程，鞅和布朗運(yùn)動(dòng)等內(nèi)容，本書不是從嚴(yán)格的測(cè)度論的角度來(lái)寫隨機(jī)過(guò)程，而是用初等的便于理解的方式來(lái)寫，結(jié)合和實(shí)際生活密切相關(guān)的例子引發(fā)讀者對(duì)隨機(jī)過(guò)程學(xué)習(xí)和研究的興趣。

本專著應(yīng)用復(fù)雜系統(tǒng)理論研究文化產(chǎn)業(yè)集群演化問(wèn)題，豐富了研究理論基礎(chǔ)。將文化產(chǎn)業(yè)集群作為一個(gè)復(fù)雜系統(tǒng)，運(yùn)用系統(tǒng)分析法分析了文化產(chǎn)業(yè)集群中主體之間、子系統(tǒng)之間的關(guān)系和相互作用機(jī)理，構(gòu)建了文化產(chǎn)業(yè)集群系統(tǒng)結(jié)構(gòu)模型，提出了文化產(chǎn)業(yè)集群系統(tǒng)演化的判據(jù)與標(biāo)度；從系統(tǒng)的復(fù)雜性、動(dòng)態(tài)性角度，研究了文化產(chǎn)業(yè)集群演化機(jī)制的形成、過(guò)程的變化

可能性理論是一種新的不確定性信息處理的理論和方法，其針對(duì)事件發(fā)生難易的可能性探索相應(yīng)的研究工具；本書是在作者及其課題組多年來(lái)研究成果的基礎(chǔ)上撰寫而成的，是國(guó)內(nèi)首本可能性理論研究的專著。全書主要內(nèi)容包括理論研究和應(yīng)用研究?jī)煞矫�，其中理論研究有可能性理論的基本概念、可能性分布的�?gòu)造、可能性分布的相似測(cè)度、可能性分布的合成和

本書以保羅·貝納塞拉夫（PaulBenacerraf）的數(shù)學(xué)真理困境為出發(fā)點(diǎn)，運(yùn)用語(yǔ)境分析方法剖析當(dāng)代數(shù)學(xué)實(shí)在論，求解該困境不同訴求的必要性與合理性，系統(tǒng)論證基于"科學(xué)"、"語(yǔ)言"、"自然"與"語(yǔ)境"之實(shí)在論的優(yōu)勢(shì)與不足，最后以實(shí)踐為基礎(chǔ)，提出一種基于"數(shù)學(xué)"的范疇結(jié)構(gòu)主義，為數(shù)學(xué)實(shí)在論進(jìn)行辯護(hù)，并進(jìn)一步論證其擴(kuò)張到科

本書為《煤炭科學(xué)研究總院建院60周年技術(shù)叢書》第五卷《煤礦掘采運(yùn)支裝備》，全書共分六篇21章，主要介紹了煤炭科學(xué)研究總院在煤礦綜合機(jī)械化掘進(jìn)和開(kāi)采、礦井主運(yùn)輸與提升、無(wú)軌輔助運(yùn)輸、綜采工作面智能控制和數(shù)字礦山與信息化等方面的大量科研成果，具有較強(qiáng)的理論和應(yīng)用指導(dǎo)價(jià)值。本書可供從事井工礦山機(jī)電領(lǐng)域研究與應(yīng)用的技術(shù)人員閱讀