Original edition, entitled PROBABILITY AND STATISTICS, 4E, 9780321500465 by DEGROOT, MORRIS H.; SCHERVISH, MARK J., published by Pearson Education, Inc, publishing as Pearson, Copyright 2012, 2002. All rights reserved. No part of this book may be re
本书结合我国生态文明建设的国家战略需求，依托国家重点研发计划“场地土壤污染成因与治理技术”重点专项（2019YFC1804303），紧密结合科研育人的内在要求，从培养高层次创新型人才知识结构需求出发，注重内容的理论性、系统性、前沿性和完整性。 主要内容包括裂隙介质概念、结构与特性、裂隙介质水动力学基础、裂隙介质中污染物基本传质过程、裂隙介质中污染物传质的数学模型、裂隙介质中污染物传质的数值模拟方法、裂隙孔隙双重介质传质过程、裂隙介质中污染物传质界面的演化规律等内容。 本书可作为地质、水利、矿山、土木、环境、交通、石油、人防、国防等专业教学用书，也可作为相关专业科技人员的参考用书。
作为一名开发人员，您总是需要留心并做好准备以应对即将发生的事情，同时还要关注当前趋势。那么，有什么比学习现在和未来这两个世界的完美结合更好呢？人工智能（AI）被广泛认为是继移动之后的下一个大产业，而谷歌的TensorFlow是靠前的开源机器学习框架，也是人工智能很热门的分支。这本书涵盖了10多个完整的以TensorFlow为引擎、运行各种很酷的TensorFlow模型离线设备从头开始构建的IOS、Android和树莓派apps：从计算机视觉、语音和语言处理到生成对抗网络和AlphaZero之类的深度学习。您将学习如何使用或重新训练现有的TensorFlow模型，构建自己的模型，以及开发运行这些TensorFlow模型的智能移动apps。您将了解如何使用循序渐进的教程快速构建这样的app，以及如何利用大量来之不易的故障排除技巧来避免开发过程中的许多陷阱。
本书是一部英文版的数学专著，中文书名或可译为《非交换几何、规范理论和重整化：一般简介与非交换量子场论的重整化》。现在，非交换几何在数学上是一个新兴发展的领域，同时也呈现为前景可观的现代物理学框架。非交换空间上的量子场论确实需要全面的探索，并且得到新的有趣的特征。本书提供了一个对非交换几何、畸变量子化与量子场论的重整化：Wilson和BPHZ的对标量理论的方法以及对规范理论的代数方法的基本概念的教育性的介绍。本书能够帮助读者理解几个一般性的非交换量子场论的问题。基于作者的博士论文，本书给出了欧氏Moyal空间上的量子场论的重整化问题的概览，并且特别着重于Grosse-Wulkenhaar模型，以及与其相关的规范理论和其数学解释。本书适用于想要理解这个前沿的数学和物理研究领域的研究生和科研人员。
This book constitutes the refereed proceedings of the IFIP-TC6 Third International Working Conference on Active Networks, IWAN 2001, held in Phildelphia, PA, USA in October 2001. The 10 revised full papers presented were carefully reviewed and selected from 22 submissions. Papers presented covered topics like active multicast, active QoS, active security, active GRIDs, management, architectures, language and API issues.
本书共包含了26种常见于国际贸易和可能涉及走私的濒危与珍贵木材，通过简明文字和典型特征的图片，对每个物种的形态特征、分类地位、分布、保护级别、识别特征、常见标本类型等进行了介绍，并列出了与其主要相似种的区别要点。
本书是软件开发人员在网站灾难性故障中的优选生存指南。随着企业力求实现正常运行时间的很大化，站点可靠性工程（Site Reliability Engineering，SRE）首当其冲。当你的站点出现问题，修复故障已经迫在眉睫的时候，本书可以作为一个手把手的操作框架。Nat Welch在可靠性工程方面丰富的实战经验源自于Internet上某些很大的公司，这些公司对于系统中断事件极为敏感。他所用于监控现代Web服务、设置警报和评估事件响应的方法都经过了实践的考验，学会这些必将助你一臂之力。
This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002. The 42 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on knowledge representation and reasoning, logic programming and constraint satisfaction, planning and scheduling, natural language processing, human-computer interaction, machine learning, intelligent Internet and multiagent systems, and intelligent applications.
多值映射理论作为数学中的一个单独领域形成于20世纪中期，并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前，存在多种研究多值映射不动点的方法，例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法，并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。
本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．
数据分析是包含检查、清洗、转化和建模的整个过程，旨在发现有用的信息。Java是实现数据分析任务的流行语言之一。《Java数据分析（影印版·英文版）》将提供数据科学和相关流程步骤的快速概览。你将从中学到统计数据分析技巧，并通过流行的Java API和类库把它们实现。你还能在实际案例中学到诸如分类和回归之类的机器学习概念。在这个过程中，你将熟悉RapidMinet和Weka等工具，了解这些Java工具如何更有效地用于分析。还会学到如何与关系型、NoSQL和时间序列数据打交道。《Java数据分析（影印版·英文版）》也将介绍如何利用不同的Java类库创建富有洞见又容易理解的图表。学完《Java数据分析（影印版·英文版）》，你将对多种数据分析技巧和相应的Java实现拥有扎实的基础知识。
在这位为Microsoft .NET团队长期提供咨询服务的编程专家Jeffrey Richter的带领下，你将获得开发健壮、可靠和具有良好响应能力的应用和组件所需的实用知识。
Software， as an important carrier of information technology， has penetrated all aspects of political， economic， military， cultural， and social lives. However，with the increasing scale of software， software development， integration， and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently， research into trustworthy software has become an urgent need for national economic development. In 2007， the National Natural Science Foundation of China （NSFC） began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan） in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010）， led by the Department of Information Sciences and organized and implemented in collaboration with the Department of
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002. The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc.
Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development. This book assesses the state of the art in performance engineering. Besides revised chapters drawn from two workshops on performance engineering held in 2000, additional chapters were solicited in order to provide complete coverage of all relevant aspects. The first part is devoted to the relation between software engineering and performance engineering; the second part focuses on the use of models, measures, and tools; finally, case studies with regard to concrete technologies are presented. Researchers, professional software engineers, and advanced students interested in performance analysis will find this book an indispensable source of information and reference.
本书是软件工程领域的经典著作，自第1版出版至今，近40年来在软件工程界产生了巨大而深远的影响。第9版在继承之前版本风格与优势的基础上，不仅更新了全书内容，而且优化了篇章结构。本书共四个部分，涵盖软件过程、建模、质量与安全、软件项目管理等主题，对概念、原则、方法和工具的介绍细致、清晰且实用。此外，书中还提供了丰富的扩展阅读资源和网络资源。本版基于原书第9版进行改编，保留基本的软件工程知识体系，删除面向研究生的高级话题、面向专门化的软件开发实践的内容、面向软件行业高级工程人员的参考内容、其他课程中应包含的知识和内容，从而更加适合作为高等院校计算机、软件工程及相关专业本科生的软件工程课程教材。
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.
本书旨在介绍优选的托卡马克稳定性理论，从求导的格拉多—沙弗拉诺夫方程和各种环形通量坐标的构造开始讲起，用解析托卡马克平衡理论证明了沙弗拉诺夫位移以及环形箍力是如何通过托卡马克的垂直磁场应用被平衡的，还介绍了各种托卡马克约束模式的原理分类，如低约束模式、高约束模式和改进之后的能量约束模式等内容。本书的最后还讨论了各种核心和边缘稳定性（运输现象）的物理解释，如输运垒、非局域输运、边缘局域模式、团迹输运和边缘谐波振荡。
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家，他被认为是20世纪伟大的物理科学家之一。在1958—1971年间出版的四卷科学论文集中，收集了近200篇杰弗里·英格拉姆·泰勒的论文。本卷为第一卷，主要给出了固体力学方面的论文，包括柔性问题及皂膜法的解决、肥皂膜在确定空心轴扭转和弯曲中的应用、伯特兰和开尔文关于脉冲的定理之间的关系等内容。本书适合高等院校数学和力学领域的研究者和研究人员及感兴趣的爱好者参考阅读。
Ruby语言的魅力到底何在？它适合你吗？问自己：你是否对其他编程语言里各种额外的声明、关键字和复杂步骤感到厌烦？你是否想成为生产效率更高的程序员？如果答案是肯定的，那么你将热爱Ruby编程语言。 基于《深入浅出Ruby（影印版）》独特的实战学习体验，你将发现Ruby如何为你简化所有繁杂细节，让你只是简单地享受编程乐趣，并用更少代码完成很多任务。 基于新认知科学和学习理论研究成果，《深入浅出Ruby（影印版）》运用一种丰富可视的形式吸引你深度浸入，这与满篇文字让你昏昏欲睡截然不同。为什么要浪费时间与新概念们作斗争呢？这种多感官的学习体验是为了大脑有效运作而设计的。
