本丛书旨在作为茫茫知识海洋中的航标，导引我们遨游自然科学和技术研究的最为重要的专业领域；文笔通俗易懂，重点放在基础性、关键性的知识和理论，并且自始至终刻意地省略了艰深的细节问题。担纲本丛书写作的是一些杰出的科普作家，他们的日常工作就是用深入浅出的语言向人们讲解复杂深奥的科技内容。本书叙述的是——研究者们怎样逐步地揭示物质的结构和构造，以及如何日益明晰地认识元素的性质及相互关系：从古代的自然哲学者到拉瓦锡，再到李比希与门捷列夫，最后到现代尖端的化学实验室。作者还以通俗易懂的方式介绍了基础化学知识，并且坦率地谈论了这门自然学科的潜在机遇与挑战。

This book constitutes the refereed proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching， CPM 2001， held in Jerusalem， Israel， in July 2001.The 21 revised papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are devoted to current theoretical and algorithmic issues of searching and matching strings and more complicated patterns such as trees， regular expressions， graphs， point sets， and arrays as well as to advanced applications of CPM in areas such as the Internet， computational biology， multimedia systems， information retrieval， data compression， coding， computer vision， and pattern recognition.

本书介绍了计算机的基本组成和工作原理、微型计算机及其操作系统，中文Windows 98操作系统、中文字处理软件 Word 2000、中文Excel 2000、计算机网络、多媒体技术与应用、常用工具软件的使用、计算机病毒与系统安全等。

This book constitutes the refereed proceedings of the 4th International Conference on Case-Based Reasoning， ICCBR 2001， held in Vancouver， BC， Canada， in July/August 2001.The 36 revised full research papers and 14 revised full application papers presented together with 3 invited papers were carefully reviewed and selected from 81 submissions. The papers address all current foundational and theoretical aspects of case-based reasoning as well as advanced applications in a variety of fields.

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering， WAE 2001， held in Aarhus， Denmark， in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation， experimental testing， and fine-tuning of discrete algorithms; novel use of discrete algorithms in other disciplines; empirical research on algorithms and data structures; and methodological issues regarding the process of converting user requirements into efficient algorithmic solutions and implemenations.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages， IFL 2001， held in Stockholm， Sweden in September 2001.The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages， such as type systems， compilation， program optimization， theorem proving， program correctness， program analysis， parallel compilers， subtyping， and generic programming.

本书从微机测控系统工程应用设计的角度出发，着重讨论了计算机测试技术、控制技术、接口技术、通讯技术、现场控制网络技术、数据采集记录与转储技术、抗干扰设计技术等方面的理论及其最新技术发展和工程设计方法并介绍了大量的软硬件应用实例。全书共分10章，内容包括：测控系统常测参数及测试方法、MCS—96系列单片机的原理及典型运用、总线扩展技术、现场总线技术、PC机接口技术、微机测试系统中信号调理和前向通道配置技术、微机测控系统后向通道输出驱动技术、人机界面设计和语音技术、微机测控系统的相互通道配置技术、数据记录与转储技术、微机测控系统抗干扰设计等。本书可作为相关专业的本科生和研究生的教学用书。同时，书中列举了大量作者科研成果中成熟的硬件接口实例和软件源程序，可作为科研人员和工程技术人员的参考资料。

本书以科学的内容组合，注重实用性和可操作性，以轻松的文字，直观的图示，详细的操作步骤，易学易懂的方式，介绍计算机的基本知识，计算机的保养与维护；计算机的安全知识；键盘操作与指法练习；DOS操作系统的基本使用；拼音输入法与五笔字型输入法；中文Windows 98/2000的使用；字处理软件Word 2000、WPS 2000的使用；电子表格Excel 2000的应用；电子幻灯PowerPoint 2000的使用；Internet上网操作；电子邮悠扬的发送与接收；FrontPage 2000网页设计入门等内容。本书通俗易懂，能非常有效地帮助用户快速地掌握计算机实用操作技术及其应用。本书适合作为大中专院校的学生、各类计算机培训班、各类职业学校的教材，也可作为各类求职人员、公务员以及广大电脑爱好者的自学参考书。

本书系统地介绍计算机模拟技术，重点讨论细胞结构的计算机模拟方法。全书共七章，第一章简要介绍计算机模拟的基本概念、方法和应用；第二章讨论连续系统的模拟，主要介绍数值积分；第三章介绍离散系统的计算机模拟；第四章介绍无序“细胞”结构的一些模型，这些模拟在实际科研中经常用到；第五章讨论二维肥皂泡的连续法计算机模拟；第六章为二维“细胞”结构的离散模拟；第七章简要地介绍常用的计算机模拟语言和几个模拟实例。 为加深理解和增强学习效果，每章后面都设计了一定数量和一定深度的习题供读者练习，读者一定要花些时间去完成，书中的例题可供参考。本书可作为高等学校电子信息、计算机科学与技术及有关专业的教材，亦可供相关领域科研人中参考。

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful， moving the control from the meta-level to the constraints， which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette， France， in September 1999. The book offers coherently written chapters on constraints and constraint solving， constraint solving on terms， combining constraint solving， constraints and theorem proving， functional and constraint logic programming， and building industrial applications.