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技术与光子技术这两方面基础内容。因此，本书是了解或学习下一代光网络技术很好的参考资料，可适用于计算机网络工程师与通信工程师、相关专业的大学高年级、研究生和研究人员。

This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference， ICGI 2002， held in Amsterdam， The Netherlands in September 2002.The 28 revised full papers presented together with 7 software de*ions were carefully reviewed and selected from 48 submissions. The papers address issues in machine learning， automata， theoretical computer science， computational linguistics， and grammar systems as well as applications in fields like natural language processing， pattern recognition， computational biology， information retrieval， text processing， and data compression.

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 27th International Symposium on Mathematical Foundations of Computer Science， MFCS 2002， held in Warsaw， Poland in August 2002.The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed， ranging from discrete mathematics， combinatorial optimization， graph theory， algorithms， and complexity to programming theory， formal methods， and mathematical logic.

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.

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.

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems， to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning， reasoning about actions and change， natural languages， and learning.Together with its companion volume， LNAI 2408， this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.

本书是根据高等工业学校电子技术基础课程对实验部分的教学基本要求，在普通高等学校电气工程与自动化专业新编系列教材编委会的指导下编成的。内容有：电子技术实验的基本知识，模拟电子技术实验，数字电子技术实验和附录四部分。内容详实，突出了对学生基本技能的训练和学生动手能力以及创新思维的培养。除满足教学基本要求的实验外，还适当地编写了综合性和设计性的实验，以满足不同专业，不同学时数和不同层次的教学需要。本书可作为高等学校电气类、电子类、自动化类和其他相近专业的本科生教材，也可供有关工程技术人员参考。

《图解折旧计算机法》为企业家入门文库之一。主要内容包括折旧的概念；折旧资产的种类；各种各样的折旧方法；折旧计算及其特例；使用年限及范围；折旧资产的注销；资本性支出与收益性支出等。《图解折旧计算机法》将财务管理中的折旧项目的全部内容分为7章共90个具体问题加以论述，针对性强，便于读者查询、理解。既可以帮助从事企业管理和财务管理工作的人们迅速解决工作中遇到的实际问题，又是企业管理培训不可多得的参考教材。