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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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