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.
《计算机视觉(全英文)》是由一些综述性或原始研究论文组成的，涉及了计算机视觉的各个领域。包括图像分割和标注、人脸和生物特征识别、图像配准、基于视频内容的分析和三维重建。每篇论文的作者至少有一位是中国科学技术大学信息学院的毕业生。 《计算机视觉(全英文)》可供计算机专业高年级本科生、研究生以及相关领域的科研人员使用。
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering, WAE 2000, held in Saarbrücken, Germany in September 2000. The 19 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 30 submissions. Among the topics addressed are software repositories allowing for the use and experimentation with efficient discrete algorithms; novel uses of discrete algorithms; methodological issues on algorithms and data structures; and methodological issues on converting user requirements into efficient algorithmic and implementation solutions.
杰弗里·英格拉姆·泰勒爵士（1886—1975）是流体动力学和波动理论的物理学家、数学家和专家，他被认为是20世纪伟大的物理科学家之一。在1958—1971年间出版的四卷科学论文集中，收集了近200篇杰弗里·英格拉姆·泰勒的论文。本卷为第一卷，主要给出了固体力学方面的论文，包括柔性问题及皂膜法的解决、肥皂膜在确定空心轴扭转和弯曲中的应用、伯特兰和开尔文关于脉冲的定理之间的关系等内容。本书适合高等院校数学和力学领域的研究者和研究人员及感兴趣的爱好者参考阅读。
本系列图书是美国McGraw-Hill Education公司2016年出版的Handbook of Petroleum Refining Processes Fourth Edition的影印版 ，体现了石油炼制工艺行业的近期新发展。此版本增加了该领域专家们提供的有关石油炼制、生产符合环保要求的燃料和石化中间体的完整精要，深入讲解了当今优选的炼油技术、方法和很好实践。本册内容包括：催化裂化、加氢裂化、减粘裂化和焦化，介绍了真空气体油的流体催化裂化技术，含金属和焦炭的GOR抑制技术。
本书由当今该领域备受赞誉且经验丰富的教育家Nell Dale和John Lewis共同编写，全面介绍计算机科学领域的基础知识，为广大学生勾勒出一幅生动的画卷。就整体而言，全书内容翔实、覆盖面广，旨在向读者展示计算机科学的全貌；从细节上看，本书层次清晰，描述生动，基于计算机系统的洋葱式结构，分别介绍信息层、硬件层、程序设计层、操作系统层、应用层和通信层，涉及计算机科学的各个层面。本书贯穿了计算机系统的各个方面，非常适合作为计算机专业的计算机导论课程教材，为后续专业课程打下坚实的基础；同时还适合作为非计算机专业的计算机总论课程教材，提供计算机系统全面介绍。 第7版经过全面的修订和更新，具有以下特色： ·新增了云计算、大数据、计算机系统与安全方面的介绍。更新了第6章部分实例。 ·更新了名人传记、历史点评以及
本书全面阐释与IT项目管理相关的概念、技巧、工具、技术和实践，是一本涵盖10大管理知识领域（项目整合、范围、进度、成本、质量、资源、沟通、风险、采购和干系人管理）和5个过程组（启动、计划、执行、监控和收尾）的教科书。理论与实践的结合使得本书通俗易懂，增加的案例、模板和项目管理软件可帮助读者掌握和运用从书中学到的知识和技能，为学生和从业者奠定坚实的基础。本书适合作为高等院校计算机、管理科学与工程等相关高年级本科生和研究生的教材，也可作为从业人员的参考读物。
Visual Quick Tips Would you like to discover all the cool ways to use the new iPhone, save time with touch screen shortcuts, and get the most out of every feature of this hot new device? Then this VISUAL Quick Tips book is for you. This book will increase your productivity by providing you with shortcuts, tricks, and tips to help you work smarter and faster. Learn How To: Set up contacts and choose a ringtone; Download iTunes or watch a movie; Take a picture or browse the Web.
本书的第一部分涵盖了基本的计数工具，包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少，可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍，讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明，例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
《中医科普系列—关节炎(西班牙文)》由王海隆等主编
Linux内核是一种复杂、可迁移、模块化和广泛使用的软件，在全世界过半数设备的80%左右服务器和嵌入式系统中运行。设备驱动程序在Linux系统良好运行中起到很好重要的作用。随着Linux已成为很流行的操作系统之一，为专有设备开发驱动程序的兴趣也与日俱增。《Linux设备驱动程序开发》将帮助你理解驱动程序相关基础知识，并带你完成游览Linux内核的漫长旅程。本书涵盖基于多种Linux子系统的驱动程序开发，包括内存管理、PWM、RTC、IIO和IRQ管理。该书还提供直接内存访问和网络设备驱动程序的实用方法
Go语言是谷歌推出的一种全新的C语言风格的编程语言，可以在不损失应用程序性能的情况下降低代码的复杂性，提高编程效率，适合开发大型软件，有望成为主流的编程语言。本书由《C程序设计语言》的作者Kernighan和谷歌公司Go团队合作编写而成，是关于Go语言编程的权威著作。
本书为《单量子态的探测及相互作用》的英文版。单量子态，是指量子体系中的单光子、单电子、单原子、单分子、聚集体中的准粒子等单粒子量子态，以及聚集体中多粒子凝聚所形成的宏观量子态（如玻色-爱因斯坦凝聚态、超导或超流量子态）等。本书呈现了单量子态及其量子效应的研究，直接对单粒子量子态和宏观量子态等进行高精度的精密探测；结合理论，理解和掌握量子态的特性和量子过程的基本规律，在此基础上发展新的量子器件构筑技术和量子探测手段，以提升我国基础研究的水平，解决与我国信息和能源技术实现跨越式发展的一些重大需求相关的问题。
细分曲面造型技术是当前计算机辅助设计和制造业数字化领域的一项重要的曲面造型技术，在逆向工程中有着重要的应用，在高端制造业、三维（３Ｄ）打印中的复杂形体设计和制造起到积极和不可或缺的作用。
一本记录中国野生生物保护历史的科普摄影集，本书展示了过去百年来，中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限，通过摄影作品辅以文字的形式，从中国各个旗舰物种代表的地域出发，并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题，系统梳理了中国野生动物的发现、认知、利用、保护的历程，以及保护观念的巨大转变，客观展现我们已经取得的成就和经验教训，同时思考和展望今后的保护工作。
本专著拟介绍黎曼流形有界连通区域上几类自伴随椭圆算子的特征值问题。通过进一步地拓展黎曼几何里经典的体积比较定理，导出了线性Laplace算子与非线性p-Laplace算子的Dirichlet特征值问题下第一非零特征值的比较定理，对于Steklov特征值问题，同样可以得到第一非零特征值的比较定理，这些结论极大地推广了已有的经典结果；通过更好地构造指定流形上的测试函数，对于紧致完备流形上p-Laplace算子的第一闭特征值以及乘积流形上平面夹板（特征值）问题的第一非零特征值的下界给出了较好的估计，另外，对于满足特定条件的乘积Ricci孤立子上的Buckling（特征值）问题，我们可以给出涉及低阶特征值的万有不等式，这些新颖的结果对已有的经典结论做了很好的拓展。
本书系国家自然科学基金重大研究计划“视听觉信息的认知计算”的出版成果。本书为《视听觉信息的认知计算》的英文版。本书从人类的视听觉认知与神经机理出发，围绕认知过程的“表达”与“计算”的基本科学问题，重点开展“感知的基本特征、表达与整合”“感知数据的机器学习与理解”“多模态信息协同计算”等三个核心科学问题的研究，发展和构建新的计算模型与算法，为提高计算机对非结构化感知信息和海量异构信息的理解能力及计算效率提供科学支撑。
本书是在“高等微积分”的水平上阐述数学分析中的论题，提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡，而且介绍了某些涉及现代分析的抽象理论．内容既涵盖我国大学的数学分析课程的内容，又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰，内容精练，言简意赅，适合作为高等院校本科生数学分析课程的教材．
《中医科普系列—关节炎(西班牙文)》由王海隆等主编
