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.

Go语言是谷歌推出的一种全新的C语言风格的编程语言，可以在不损失应用程序性能的情况下降低代码的复杂性，提高编程效率，适合开发大型软件，有望成为主流的编程语言。本书由《C程序设计语言》的作者Kernighan和谷歌公司Go团队合作编写而成，是关于Go语言编程的权威著作。

一本记录中国野生生物保护历史的科普摄影集，本书展示了过去百年来，中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限，通过摄影作品辅以文字的形式，从中国各个旗舰物种代表的地域出发，并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题，系统梳理了中国野生动物的发现、认知、利用、保护的历程，以及保护观念的巨大转变，客观展现我们已经取得的成就和经验教训，同时思考和展望今后的保护工作。

The Internet and the World Wide Web are becoming increasingly important in our highly interconnected world. This book addresses the topic of querying the data available, with regard to its quality, in a systematic and comprehensive way, from a database point of view. First, information quality and information quality measures are systematically introduced before ranking algorithms are developed for selecting Web sources for access. The second part is devoted to quality-driven query answering, particularly to query planning methods and algorithms. The in-depth presentation of algorithms and techniques for quality-oriented querying will serve as a valuable source of reference for R&D professionals and for IT business people. In addition, the work will provide students with a comprehensible introduction to cutting-edge research.

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.

This title will be ordered from our supplier once you place your order. It can take up to 7 days to receive most locally-stocked titles, stock levels permitting. Titles ordered from overseas suppliers can take up to 10 days, stock levels permitting.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining, TSDM 2000, held in Lyon, France in September 2000 during the PKDD 2000 conference. The ten revised full papers presented are complemented by an introductory workshop report and an updated bibliography for the emerging new field; this bibliography is organized in nine topical chapters and lists more than 150 entries. All in all, the volume reflects the state of the art in the area and sets the scene for future R & D activities.

This book provides a greater understanding of KT and IS theories from the following perspectives： Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding； Proposing a model conceptualising transnational knowledge management and KT processes； Summarising major ISD policy tools utilised by countries such as the UK and China； Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully， the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research， enlightening their work in their area.

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

第1版中介绍的C语言成为后来广泛使用的C语言版本——标准C的基础。人们熟知的“hello,World”程序就是由《C程序设计语言(英文版)(第2版)》首次引入的。现在，这一程序已经成为众多程序设计语言入门的课。第2版根据1987年制定的ANSIC标准做了适当的修订，引入了近期新的语言形式，并增加了新的示例。通过简洁的描述、典型的示例，作者全面、系统、准确地讲述了C语言的各个特性以及程序设计的基本方法。对于计算机从业人员来说，《C程序设计语言》(英文版)(第2版)是一本 的程序设计语言方面的参考书。

《抽水蓄能电站技术与发展（英文版）》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一，全面梳理了国内外抽水蓄能电站的发展历程和中国的建设管理经验，从选点规划、前期技术、开发建设、投资模式、并网和运维等方面，总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法，并提出了环境友好型抽水蓄能电站项目设计的经典案例，对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。 《抽水蓄能电站技术与发展（英文版）》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书，也可供高等院校相关专业的本科生、研究生及教师参考。

《抽水蓄能电站技术与发展（英文版）》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一，全面梳理了国内外抽水蓄能电站的发展历程和中国的建设管理经验，从选点规划、前期技术、开发建设、投资模式、并网和运维等方面，总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法，并提出了环境友好型抽水蓄能电站项目设计的经典案例，对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。 《抽水蓄能电站技术与发展（英文版）》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书，也可供高等院校相关专业的本科生、研究生及教师参考。

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

如何考虑岩土工程的设计、施工和运营中存在大量的不确定性因素是岩土工程的关键难点之一，也是国内外岩土工程领域的研究热点。本教材系统讲述了岩土工程可靠度原理、方法和算法，包括概率基础、一阶可靠度算法、抽样方法、响应面方法、土体空间变异性、基于可靠度设计理论、贝叶斯方法等七章内容。教材包含大量的实例、算法和实现代码，可作为高年级本科生和研究生的教材，也可做为岩土工程和地质工程等相关从业人员的参考书。教材包含了岩土工程可靠度领域诸多学者（包括编者）的重要研究成果。

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

This book constitutes the refereed proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, held in Tokyo, Japan in August 2002. The 57 revised full papers presented together with 5 invited contributions and 26 posters were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on logic and AI foundations, representation and reasoning of actions, constraint satisfaction, foundations of agents, foundations of learning, reinforcement learning, knowledge acquisition and management, data mining and knowledge discovery, neural network learning, learning for robots, multi-agent applications, document analysis, Web intelligence, bioinformatics, intelligent learning environments, face recognition, and multimedia and emotion.

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.

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 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.

This book constitutes the refereed proceedings of the Second Software Product Line Conference SPLC2, held in San Diego, Ca, USA in August 2002. The 24 revised full papers presented were carefully reviewed and selected for inclusion in the book. Among the topics addressed are the introduction of product lines and the dynamics of organizations attempting to introduce product lines; it is evaluated how to choose, which products to produce, and how to model the features of those products.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Mining Web Data, WEBKDD 2001 held in San Francisco, CA, USA in August 2001. The seven revised full papers went through two rounds of reviewing an improvement. The book addresses key issues in mining Web log data for e-commerce. The papers are devoted to predicting user access, recommender systems and access modeling, and acquiring and modeling data and patterns.