这是一本综合的对于职业健康和安全进行论述的畅销书，作者是罗伯特·h·弗瑞，他探索了在职业环境中存在着的各种危险物质，评论了它们的潜在对人体健康的影响，介绍了相关识别程序，预防职业疾病和伤害。全书一共10章，该书首先引导读者通过了解古希腊以来的，人类关于职业健康和安全的努力的详细历史。然后以此介绍了每个和职业相关的疾病及其流行，包括癌症、呼吸道疾病、生育和怀孕异常，听力损失，传染性疾病，伤害和死亡，和工作压力等，很后一些章节也论述了在这个快速发展领域的预防计划和相关研究方法。
本专著拟介绍黎曼流形有界连通区域上几类自伴随椭圆算子的特征值问题。通过进一步地拓展黎曼几何里经典的体积比较定理，导出了线性Laplace算子与非线性p-Laplace算子的Dirichlet特征值问题下第一非零特征值的比较定理，对于Steklov特征值问题，同样可以得到第一非零特征值的比较定理，这些结论极大地推广了已有的经典结果；通过更好地构造指定流形上的测试函数，对于紧致完备流形上p-Laplace算子的第一闭特征值以及乘积流形上平面夹板（特征值）问题的第一非零特征值的下界给出了较好的估计，另外，对于满足特定条件的乘积Ricci孤立子上的Buckling（特征值）问题，我们可以给出涉及低阶特征值的万有不等式，这些新颖的结果对已有的经典结论做了很好的拓展。
本书系国家自然科学基金重大研究计划“视听觉信息的认知计算”的出版成果。本书为《视听觉信息的认知计算》的英文版。本书从人类的视听觉认知与神经机理出发，围绕认知过程的“表达”与“计算”的基本科学问题，重点开展“感知的基本特征、表达与整合”“感知数据的机器学习与理解”“多模态信息协同计算”等三个核心科学问题的研究，发展和构建新的计算模型与算法，为提高计算机对非结构化感知信息和海量异构信息的理解能力及计算效率提供科学支撑。
本书一书主要总结了算子集合的不变子空间性质，以及类紧算元的相关结果。在算子理论中，我们把紧的拟幂零算子称为Volterra算子。由Volterra算子组成的集合亦称为Volterra集合，如Volterra半群，Volterra代数等。在《公共不变子空间与紧型条件》的第一部分，我们主要讨论Volterra半群，Volterra李代数，Volterra约当代数的不变子空间问题，这些问题都曾经是算子理论、算子李代数中的经典公开问题，在1999-2005年左右得以解决，收录于《公共不变子空间与紧型条件》第一部分。在《公共不变子空间与紧型条件》的第二部分，我们讨论了幂零李代数生成Banach代数是否为Engel代数的这一公开问题，这也是算子李代数的经典问题，至今尚未接近解决，相关部分结果收录于第五章，随后我们把紧算子的相关性质向Banach代数中类紧元集合推广，给出了离散根的定义和性质，最后，我们给
本书是软件工程领域的经典著作，自第1版出版至今，近40年来在软件工程界产生了巨大而深远的影响。第9版在继承之前版本风格与优势的基础上，不仅更新了全书内容，而且优化了篇章结构。本书共四个部分，涵盖软件过程、建模、质量与安全、软件项目管理等主题，对概念、原则、方法和工具的介绍细致、清晰且实用。此外，书中还提供了丰富的扩展阅读资源和网络资源。本版基于原书第9版进行改编，保留基本的软件工程知识体系，删除面向研究生的高级话题、面向专门化的软件开发实践的内容、面向软件行业高级工程人员的参考内容、其他课程中应包含的知识和内容，从而更加适合作为高等院校计算机、软件工程及相关专业本科生的软件工程课程教材。
《深入浅出PMP（影印版第3版）》以一种有趣而不令人乏味的方式提供了针对《PMBOKGuide》原则的完整覆盖。本书将以一种独特方法帮助你准备认证考试，它将让你思考整个项目管理的总体方向而不是那些特定问题的答案。通过将项目管理知识放入上下文中，你将能够理解、记忆和应用它们——不仅仅在考试中，而且在工作中。这也是为什么很多人把《深入浅出PMP》作为他们专享的资料来通过PMP考试！ 本书基于神经生物学、认知科学和学习理论方面近期新的研究成果，它使用了多种丰富生动的组织形式来适应你的大脑，而不是那种只会让人昏昏欲睡的长篇累牍。
本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．
This book constitutes the thoroughly refereed joint post-proceedings of five international workshops organized by the Japanese Society of Artificial Intelligence, JSAI in 2001. The 75 revised papers presented were carefully reviewed and selected for inclusion in the volume. In accordance with the five workshops documented, the book offers topical sections on social intelligence design, agent-based approaches in economic and complex social systems, rough set theory and granular computing, chance discovery, and challenges in knowledge discovery and data mining.
《类脑智能与视觉感知（英文版）》主要介绍关于大脑启发的智力和视觉感知（BIVP）研究的新成果。 《类脑智能与视觉感知（英文版）》著者们收集BIVP的新的研究假设，包括介绍脑科学和视觉脑假说。此外，本文还介绍了BIVP的理论和算法，包括信息素积累与迭代、神经认知计算机制、核心模块的集成与调度、大脑感知、运动与控制。 《类脑智能与视觉感知（英文版）》不仅包含基本概念、理论和规律，以前分散在许多有影响的期刊和会议上，而且包含作者的项目中的一系列新研究进展，包括中国科学院的“西部之光”计划（XBBS-2014-16），国家自然科学院中国科学基金会（41571299）、中国“千人计划”（Y47161）、国家基础研究计划（2013CB035502）和国家高技术研究发展计划（2013AA122302）。 《类脑智能与视觉感知（英文版）》即可以供大学研究人员、研发工程师、本
本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．
本书是一部用到数学颇多的英文版物理学专著。本书是作者自己过去几十年研究领域的主观反映.本书主题分为两部分：第一部分，平地中的漩涡（本书），主要关注二维空间中的漩涡的物理学.第二部分，太空中的漩涡（准备中），将主要关注三维空间中的漩涡物理学，这两部分的重，点是由复值标量阶参数描述的玻色一爱因斯坦凝聚体(BEC)中的漩涡与此类系统和其他量子液体相关的通用拓扑概念适用于BE℃s之外的广泛系统，例如相干电磁场和电子物质波，在旋量BEC、中的一些基本概念和费米(Fermi)气体也被提到了。
分析已经成为这十年来的技术驱动力。诸如IBM、SAP、SAS、Teradata、Oracle、Microsoft和Dell等公司正在创建专注于分析的新型组织单元，帮助企业更加有效和高效地运营。决策者也正在使用更多的计算机化工具来支持他们的工作。消费者甚至都在直接或间接地使用分析工具来对购物、健康或医疗保健、旅游和娱乐等日常活动做出决定。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量，突破传统学科界线的束缚，进行不同学科间有效的交叉融合；针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应，呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献，为我国由地学大国变为地学强国提供切实可行的突破口。
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
如何考虑岩土工程的设计、施工和运营中存在大量的不确定性因素是岩土工程的关键难点之一，也是国内外岩土工程领域的研究热点。本教材系统讲述了岩土工程可靠度原理、方法和算法，包括概率基础、一阶可靠度算法、抽样方法、响应面方法、土体空间变异性、基于可靠度设计理论、贝叶斯方法等七章内容。教材包含大量的实例、算法和实现代码，可作为高年级本科生和研究生的教材，也可做为岩土工程和地质工程等相关从业人员的参考书。教材包含了岩土工程可靠度领域诸多学者（包括编者）的重要研究成果。
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家，他被认为是20世纪伟大的物理科学家之一。在1958—1971年间出版的四卷科学论文集中，收集了近200篇杰弗里·英格拉姆·泰勒的论文。本卷为第一卷，主要给出了固体力学方面的论文，包括柔性问题及皂膜法的解决、肥皂膜在确定空心轴扭转和弯曲中的应用、伯特兰和开尔文关于脉冲的定理之间的关系等内容。本书适合高等院校数学和力学领域的研究者和研究人员及感兴趣的爱好者参考阅读。
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质）》共分为7章。第一章包含了关于深度、Krull维数以及CM性质等的一些核心结果或者基本事实；其中关于标准代数的CM性与分次CM性的等价性、序列CM性的代数描述两部分内容十《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质）》的特色和贡献。第二章是讨论单纯复形的基本事实，特别是描述了两个代数不变量（由复形构造的面环的深度、Krull维数）与复形的拓扑不变量之间的确切关系）。第三章讨论复形的shellable性质，特别是详细推出其用restrictionmap进行的等价刻画、与d-可分性之间的等价关系，是对于shellable性质的深刻描述和讨论。第四章介绍了如何由拓扑复形构造代数链复形，介绍相应的导出同调群，并重点介绍了近代文献中有较多应用的Koszul复形以及三种常用复形的详尽构造。第五章是《Complexes and
工程科技是改变世界的重要力量，工程前沿是工程科技未来方向的重要指引。把握全球工程科技大势，瞄准世界工程科技前沿，大力推动工程科技创新发展，有效地应对全球性重大挑战，实现人类社会可持续发展，巳经成为世界各国的战略选择。2017年以来，中国工程院连续组织开展"全球工程前沿"重大咨询研究项目，旨在按年度分析全球工程研究前沿和工程开发前沿，研判全球工程科技演进变化趋势。本书为2020年度"全球工程前沿"项目研究成果，由两部分组成一一研究概况和领域报告，描述和分析了机械与运载工程、信息与电子工程、化工冶金与材料工程、能源与矿业工程、土木水利与建筑工程、环境与轻纺工程、农业、医药卫生和工程管理9个领域的工程研究前沿和工程开发前沿概况，并对重点前沿进行详细解读。 本书为"全球工程前沿"系列丛书之一，适合各相关
工程科技是改变世界的重要力量，工程前沿是工程科技未来方向的重要指引。把握全球工程科技大势，瞄准世界工程科技前沿，大力推动工程科技创新发展，有效地应对全球性重大挑战，实现人类社会可持续发展，巳经成为世界各国的战略选择。2017年以来，中国工程院连续组织开展"全球工程前沿"重大咨询研究项目，旨在按年度分析全球工程研究前沿和工程开发前沿，研判全球工程科技演进变化趋势。本书为2020年度"全球工程前沿"项目研究成果，由两部分组成一一研究概况和领域报告，描述和分析了机械与运载工程、信息与电子工程、化工冶金与材料工程、能源与矿业工程、土木水利与建筑工程、环境与轻纺工程、农业、医药卫生和工程管理9个领域的工程研究前沿和工程开发前沿概况，并对重点前沿进行详细解读。 本书为"全球工程前沿"系列丛书之一，适合各相关
本书的第一部分涵盖了基本的计数工具，包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少，可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍，讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明，例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
Robot Operating System是在机器人研究以及业界用于设计、仿真和打造原型机器人方面很为广泛使用的软件框架之一。运用ROS知识实现机器人比人们想象的要难得多，但是本书可以为创建你自己的机器人提供不时之需。该书包含14个ROS机器人项目，不需要太多硬件就可以做出原型。全书从ROS介绍和安装过程开始。讨论相关基础知识之后，你将被带入浏览伟大项目的旅程，比如构建自动驾驶汽车、自主移动机器人，以及运用深度学习和ROS相结合的图像识别等。你可以从中找到面向初学、中级和专家等各个层面的ROS机器人应用。
于19世纪50年代的一个半世纪里，这是第一次有人从“形式逻辑”的基本框架出发，对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果，除了添加的与“数值分析”相关的研究结果以外，全部源自于笔者自担任上海交通大学自然科学基础研究组负责人的近20年来已经完成的独立研究工作。
本书自1982年发行靠前版以来，一直受到软件工程界的高度重视，成为高等院校计算机相关专业软件工程课的重要教学参考书。近30年来，它的各个后继版本一直都是软件专业人土熟悉的读物，在靠前软件工程界享有无可质疑的地位。它在全面而系统、概括而清晰地介绍软件工程的有关概念、原则、方法和工具方面获得了广大读者的好评。此外，本书在给出传统的、对学科发展具有深刻影响的方法时，又适当地介绍了当前正在发展的、具有生命力的新技术。
