This book constitutes the refereed proceedings of the 13th Annual Symposium on Combinatorial Pattern Matching， CPM 2002， held in Fukuoka， Japan， in July 2002.The 21 revised full papers presented together with two invited contributions were carefully reviewed and selected from 37 submissions. The papers are devoted to current theoretical and computational aspects of searching and matching strings and more complicated patterns such as trees， regular expressions， graphs， point sets， and arrays. Among the application fields are the World Wide Web， computational biology， computer vision， multimedia， information retrieval， data compression， and pattern recognition.

This book constitutes the refereed proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science， RANDOM 2002， held in Cambridge， MA， USA in September 2002.The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are coding， geometric computations， graph colorings， random hypergraphs， graph computations， lattice computations， proof systems， probabilistic algorithms， derandomization， constraint satisfaction， and web graphs analysis.

本书是根据教育部2001年颁发的《中等职业学校建筑经济管理专业教学指导方案》中主干课程"计算机在建筑经济管理中的应用教学基本要求"，并参照有关行业的职业技能鉴定规范及中级技术工人等级考核标准编写的中等职业教育国家规划教材。本书主要讲述计算机在会计核算和工程预算中的应用，主要内容包括：会计核算软件、报表软件、土建工程预算软件、装饰工程预算软件、安装工程预算软件的操作与使用等。本书可作为中等职业学校三年制建筑经济管理专业教材，也可作为相关行业岗位培训教材或自学用书。

This book constitutes the refereed preceedings of the 6th European Conference on Case-Based Reasoning， ECCBR 2002， held in Aberdeen， Scotland， UK in September 2002The 31 revised full research papers and 14 revised application papers presented togehter with 2 invited contributions were carefully reviewed and selected from numerous submissions. All current issues in case-based reasoning， ranging from foundational and methodological issues to advanced applications in various fields are addressed.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering and Experiments， ALENEX 2002， held in San Francisico， CA， USA in January 2002.The 15 revised full papers presented were carefully reviewed and selected from 34 submissions. Among the topics addressed are hewistics for algorithms， combinatorial optimization， searching， graph computation， network optimization， scheduling， computational geometry， sorting， and clustering algorithms.

This book presents the revised final versions of eight lectures given by leading researchers at the First Summer School on Theoretical Aspects of Computer Science in Tehran， Iran， in July 2000.The lectures presented are devoted to quantum computation， approximation algorithms， self-testing/correction， algebraic modeling of data， the regularity lemma， multiple access communication and combinatorial designs， graph-theoretical methods in computer vision， and low-density parity-check codes.

This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic， CSL 2002， held as the 11th Annual Conference of the EACSL in Edinburgh， Scotland， UK， in September 2002.The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability， games， and fixpoints; complexity and proof complexity; ludics and linear logics， lambda-calculi; and resolution and proofs.

随着数据业务的快速增长，IP为代表的计算机网络技术与光传送网络技术为代表的电信技术正逐步走向融合。本书着眼于IP技术与光网络技术的交叉点，阐述了下一代光网络的关键技术：实现智能化的IP技术与高速、大容量的光子技术之间融合。本书首先给出了光子技术与数据通信各自的相关基础内容，然后着重讨论了下一代光网络的控制平面的关键技术和未来发展趋势，对静态层叠模式、动态层叠模式和集成对等模式等三种控制平面技术进行了较深入的分析。最后讨论下一代光网络技术的演进趋势，以及它在下一代存贮网络（SAN）、互联网络及电信网络中的解决方案。下一代光网络技术是涉及面十分宽广的交又性新技术，本书不仅较系统地总结了下一代光网络技术研究领域中IPoveroptical方面的最新成果，而且还阐述了它所涉及的IP技术与光子技术这两方面基础内容。因此，本书是了解或学习下一代光网络技术很好的参考资料，可适用于计算机网络工程师与通信工程师、相关专业的大学高年级、研究生和研究人员。

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science resarch forum available.The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.-proceedings（published in time for the respective conference）-post-proceedings（consisting of thoroughly revised final full papers）-research monographs（which may be basde on outstanding PhD work，research projects，technical reports，etc.）

This book constitutes the refereed proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems， NGITS 2002， held in Caesarea， Israel， in June 2002.The 11 revised full papers presented were carefully reviewed and selected from 22 submissions. Among the issues addressed are e-business technology， XML documents， Web-based database queries， Web surfing privacy， mobile objects， ontologies， natural language modeling， prototypes and scenarios， and middleware.