本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．

该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。

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.

Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization. This unique, handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages, analysis, communication optimizations, code generation, and run time systems. This book will serve as a landmark source for education, information, and reference to students, practitioners, professionals, and researchers interested in updating their knowledge about or active in parallel computing.

《学习Highcharts4(影印版)(英文版)》覆盖了Highcharts 4所支持的全部图形，采用循序渐进的教程演示了如何使用来自现实生活中的数据生成富有表现力的图表。另外还探索了如何仿制各种工业图表，例如金融宣传册、运动专栏、3D信息图甚至是菲亚特500的速度表。书中的第二部分将重点放在了操作层面：API、事件以及框架集成。第三部分研究了服务器端和在线服务，Highcharts新成果Highcharts Clound的用法，这是一项在线图表服务，不需要使用者有任Highcharts或者JavaScript的使用经验。你只需要插入数据，剩下的由HighchartsCloud帮你搞定。

This book constitutes the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001. The 18 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on security, models and architectures, applications, communication, run-time support, and quantitative evaluation and benchmarking.

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.

机器学习所涉及的复杂统计学知识困扰了很多开发者。知晓统计学知识可以帮助你为给定的问题构建强壮的机器学习优化模型。《机器学习统计学（影印版）》将教你机器学习所需的实现复杂统计计算的相关内容，可以从中获得监督学习、无监督学习、强化学习等背后的统计学知识。你将看到讨论机器学习相关统计学内容的真实案例并熟悉它们。还能学到用于实现建模、调参、回归、分类、密度采集、向量处理、矩阵等的相关程序。学完该书，你会掌握机器学习所需的统计学知识。并且能够将所学新技能应用于任何行业问题。

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.

《一些流体模型的整体适定性（英文）》旨在介绍一些关于整体适定性的*新结果，包括一些流体模型整体解的渐近行为，如辐射气体燃烧模型、辐射流体力学模型、Navier-Stokes方程和p次方牛顿流体模型。这些模型具有相似的结构，由Navier-Stokes方程与其他方程或其他效应耦合而成。《一些流体模型的整体适定性（英文）》的大部分材料都基于作者及其合作者近年来进行的研究。有些以前只在原始论文中发表，有些直到现在才发表。

This book constitutes the refereed proceedings of the 8th International Conference on High Performance Computing, HiPC 2001, held in Hyderabad, India, in December 2001. The 29 revised full papers presented together with 5 keynote papers and 3 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on algorithms, applications, architecture, systems software, communications networks, and challenges in networking.

作为一名开发人员，您总是需要留心并做好准备以应对即将发生的事情，同时还要关注当前趋势。那么，有什么比学习现在和未来这两个世界的完美结合更好呢？人工智能（AI）被广泛认为是继移动之后的下一个大产业，而谷歌的TensorFlow是靠前的开源机器学习框架，也是人工智能很热门的分支。这本书涵盖了10多个完整的以TensorFlow为引擎、运行各种很酷的TensorFlow模型离线设备从头开始构建的IOS、Android和树莓派apps：从计算机视觉、语音和语言处理到生成对抗网络和AlphaZero之类的深度学习。您将学习如何使用或重新训练现有的TensorFlow模型，构建自己的模型，以及开发运行这些TensorFlow模型的智能移动apps。您将了解如何使用循序渐进的教程快速构建这样的app，以及如何利用大量来之不易的故障排除技巧来避免开发过程中的许多陷阱。

本书有哪些新的内容呢？老实说几乎所有都是新的。本书第三版涵盖了新的Perl 5.6版本，不仅接近重新组织了一遍，而且还用无数个例子强化了这些内容。大多数现有的主题都是从头重写的，如面向对象编程和正则表达式，并添加了许多全新的章节。 《Perl语言编程(上下影印版第4版)》由里斯蒂安森所著，本书不仅仅是一本关于Perl的书籍，更是一本专享的开发者自己介绍该语言及其文化的书籍。Larry Wall是Perl的开发者，并就的未来发展方向提出了自己的看法。Tom Christiansen是很早的几个拥护者之一，也是少数几个在错综复杂的中游刃有余的人之一。Jon Orwant是《Perl Journal》的主编，该杂志把Perl社区组合成了一个共同的论坛，以进行Perl新的开发。

多值映射理论作为数学中的一个单独领域形成于20世纪中期，并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前，存在多种研究多值映射不动点的方法，例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法，并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。

细分曲面造型技术是当前计算机辅助设计和制造业数字化领域的一项重要的曲面造型技术，在逆向工程中有着重要的应用，在高端制造业、三维（３Ｄ）打印中的复杂形体设计和制造起到积极和不可或缺的作用。

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.

《计算机视觉(全英文)》是由一些综述性或原始研究论文组成的，涉及了计算机视觉的各个领域。包括图像分割和标注、人脸和生物特征识别、图像配准、基于视频内容的分析和三维重建。每篇论文的作者至少有一位是中国科学技术大学信息学院的毕业生。 《计算机视觉(全英文)》可供计算机专业高年级本科生、研究生以及相关领域的科研人员使用。

本书一书主要总结了算子集合的不变子空间性质，以及类紧算元的相关结果。在算子理论中，我们把紧的拟幂零算子称为Volterra算子。由Volterra算子组成的集合亦称为Volterra集合，如Volterra半群，Volterra代数等。在《公共不变子空间与紧型条件》的第一部分，我们主要讨论Volterra半群，Volterra李代数，Volterra约当代数的不变子空间问题，这些问题都曾经是算子理论、算子李代数中的经典公开问题，在1999-2005年左右得以解决，收录于《公共不变子空间与紧型条件》第一部分。在《公共不变子空间与紧型条件》的第二部分，我们讨论了幂零李代数生成Banach代数是否为Engel代数的这一公开问题，这也是算子李代数的经典问题，至今尚未完全解决，相关部分结果收录于第五章，随后我们把紧算子的相关性质向Banach代数中类紧元集合推广，给出了离散根的定义和性质，最后，我们给

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

本书共包含了26种常见于国际贸易和可能涉及走私的濒危与珍贵木材，通过简明文字和典型特征的图片，对每个物种的形态特征、分类地位、分布、保护级别、识别特征、常见标本类型等进行了介绍，并列出了与其主要相似种的区别要点。

本书是软件开发人员在网站灾难性故障中的优选生存指南。随着企业力求实现正常运行时间的很大化，站点可靠性工程（Site Reliability Engineering，SRE）首当其冲。当你的站点出现问题，修复故障已经迫在眉睫的时候，本书可以作为一个手把手的操作框架。Nat Welch在可靠性工程方面丰富的实战经验源自于Internet上某些很大的公司，这些公司对于系统中断事件极为敏感。他所用于监控现代Web服务、设置警报和评估事件响应的方法都经过了实践的考验，学会这些必将助你一臂之力。