这本实用的教科书适用于形式化方法的入门课程或高级课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德·阿布瑞尔（Jean-RaymondAbrial）是国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构

黎曼假设，即素数的未解谜题，被视为数学研究的“珠峰”，吸引了一代代数学家投身于数论研究中，其中不乏数学史上大名鼎鼎的人物。而破解这一谜题过程中的发现，已经给电子商务、量子力学和计算机科学等领域带来了举足轻重的影响。本书作者以生动细腻的笔触，将素数的故事娓娓道来。阅读本书不仅能像聆听音乐那样，无须具备数学专业背景即可领略

本书分为基础篇、朝代篇、角色篇和生活篇等四大篇，共9章。其中，朝代篇包含9个主题造型案例，角色篇包含10个才女造型案例和4个神女造型案例，生活篇包含2个外景写真造型案例和6个新娘造型案例。 本书有严谨的知识框架，采用循序渐进的讲解形式，在编排上注重古风化妆造型的创作思路和技法的结合。案例图片以化妆师视角拍摄，并附有详细

本书主要介绍图案设计的理论、方法，并结合应用领域设计进行项目实训。在介绍图案的概念、功能、类型等理论的基础上，分析中外经典图案的风格流派和艺术特点，解析图案在其他门类设计作品中的应用范例，将教学的重点放在图案设计的方法与思路上。在项目实训篇中，本书依据图案设计的工作流程设置了花卉、动物和人物图案设计这3个由浅入深、由易

我们是如此需要数学，以至于从远古时代的古巴比伦人开始就已经积累了一定的数学知识。不过，那时的数学还只是观察和经验所得，没有烦琐且枯燥的证明。经过漫长的发展，数学逐渐成为学习和研究现代科学技术必不可少的基本工具，但同时它也成为让不少学生十分苦恼的一门课程。本书汲取原始的经验，从生活出发，通过有趣的画图练习和模型制作等，向

《Istio实战指南》是Istio服务网格技术的入门图书。全书共分为9章，深入浅出地介绍了Istio的相关知识，结合大量的示例，清晰而详细地阐述了Istio的主要特性。《Istio实战指南》的第1章介绍了服务网格的起源和发展，第2～4章介绍了Istio的基本概念和安装。第5～8章，采用实例练习的方式详细地介绍了Isti

本书以R语言为基础，介绍做任何分析都绕不开的数据处理基本操作。从基本包入手，循序渐进地引导读者一步一步进行学习。首先介绍tidyverse生态系统的dplyr包，并在其后引入难度稍高但是性能更加优秀的data.table包，然后介绍支持分布式数据处理的sparklyr包。在本书的zui后部分还提供了实战的案例，并介绍了

数学是机器学习绕不开的基础知识，传统教材的风格偏重理论定义和运算技巧，想以此高效地打下机器学习的数学基础，针对性和可读性并不佳。本书以机器学习涉及的线性代数核心知识为重点，进行新的尝试和突破：从坐标与变换、空间与映射、近似与拟合、相似与特征、降维与压缩这5个维度，环环相扣地展开线性代数与机器学习算法紧密结合的核心内容，

本书由一线讲师和设计师倾力编写，深入挖掘PhotoshopCC的核心工具、命令与功能，帮助读者在短时间内迅速掌握PhotoshopCC的应用方法与技巧，并将其运用到实际操作中。全书系统、全面地整合了“入门类”图书的优势，汲取了“从入门到精通”图书的精华，借鉴了“案例类”图书的特点。80个技能训练，30个课后商业案例训练

《“一带一路”沿线国家特种动物纤维》针对“沿线”特种动物纤维资源及其性能进行了研究。对特种动物纤维表面形态特征，物理、化学及舒适性等相关性能，如表面鳞片结构、长度、细度、强伸性、卷曲性、摩擦性、舒适性等进行了测试与分析。并对有色动物纤维的脱色工艺及脱色纤维的性能做了试验分析。此外，还对脱色动物纤维混纺纱线及其织物进行了

《玩转旅游英语口语》让你轻轻松松用英语和外国人畅聊，将是你旅游出行的好帮手。本书针对出国旅游的读者，精心挑选了旅游英语中常用的高频词汇、高频单句和实用对话，帮助读者在出国旅游时无障碍地与当地人交流，避免窘境和尴尬。依照一般旅游行程排列，本书分成七章，再现了88个真实旅游情景，语言表达贴近实际旅游使用习惯。

作为一位好读书的读书人，作者认为阅读对人成长的影响巨大，人的精神发育史无疑是他本人的阅读史；而一个民族的精神境界，在很大程度上取决于全民族的阅读水平。少时爱读书，更多的是学习知识，从书本中寻求未知世界的答案；随岁月流逝，在书友的陪伴下，不觉已知天命。作者在《中华医学信息导报》等刊物开设有书评专栏，以作者的名字命名的微信

本书以大地构造及成矿演化为主线，运用多元成矿控制特点，针对影响西南“三江”成矿带北段成矿作用的区域地层格架、断裂系统、岩浆岩时空分布规律及含矿建造等主要成矿地质背景进行了系统总结，着重分析了区内岩浆作用特征及其与成矿的关系。对成矿构造环境进行了分析判别，总结了主要控矿因素和找矿标志。建立了不同类型找矿模型，在找矿潜力分

本教材依据护理岗位需要组织教材内容，内容编排以医院真实场景为主线，以临床护理工作为框架，以临床病例为导向，涉及基础护理、内科护理、外科护理、妇产科护理、儿科护理、精神科护理等护理专业理论及技能内容，还涉及医学影像技术、医学检验技术、用药护理、人际沟通技巧等相关知识。本教材可供护理、助产及医学相关专业使用，亦可作为临床护

本书是为《数学物理方法》教材配套的习题辅导书。涉及线性空间、复变函数及数学物理方程等内容。本书在兼顾基本知识点的基础上，对教材的课后习题做了步骤详尽的解答，物理图像清晰。本书可作为高等学校物理类专业《数学物理方法》教材的配套读物，也可供有关专业的研究生、教师和科技人员参考。

主要包括概率的基础知识，条件数学期望，马氏链，Poisson过程，更新过程，鞅和布朗运动等内容，本书不是从严格的测度论的角度来写随机过程，而是用初等的便于理解的方式来写，结合和实际生活密切相关的例子引发读者对随机过程学习和研究的兴趣。

本专著应用复杂系统理论研究文化产业集群演化问题，丰富了研究理论基础。将文化产业集群作为一个复杂系统，运用系统分析法分析了文化产业集群中主体之间、子系统之间的关系和相互作用机理，构建了文化产业集群系统结构模型，提出了文化产业集群系统演化的判据与标度；从系统的复杂性、动态性角度，研究了文化产业集群演化机制的形成、过程的变化

可能性理论是一种新的不确定性信息处理的理论和方法，其针对事件发生难易的可能性探索相应的研究工具；本书是在作者及其课题组多年来研究成果的基础上撰写而成的，是国内首本可能性理论研究的专著。全书主要内容包括理论研究和应用研究两方面，其中理论研究有可能性理论的基本概念、可能性分布的构造、可能性分布的相似测度、可能性分布的合成和

本书以保罗·贝纳塞拉夫（PaulBenacerraf）的数学真理困境为出发点，运用语境分析方法剖析当代数学实在论，求解该困境不同诉求的必要性与合理性，系统论证基于"科学"、"语言"、"自然"与"语境"之实在论的优势与不足，最后以实践为基础，提出一种基于"数学"的范畴结构主义，为数学实在论进行辩护，并进一步论证其扩张到科

本书为《煤炭科学研究总院建院60周年技术丛书》第五卷《煤矿掘采运支装备》，全书共分六篇21章，主要介绍了煤炭科学研究总院在煤矿综合机械化掘进和开采、矿井主运输与提升、无轨辅助运输、综采工作面智能控制和数字矿山与信息化等方面的大量科研成果，具有较强的理论和应用指导价值。本书可供从事井工矿山机电领域研究与应用的技术人员阅读