The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science， ICCS 2006， held in Reading， UK， in May 2006.The main conference and its 32 topical workshops attracted over 1400 submissions. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes.The papers span the whole range of computational science， with focus on the following major themes： tackling grand challenges problems; modelling and simulations of complex systems; scalable algorithms and tools and environments for computational science. Of particular interest were the following major recent developments in novel methods and modelling of complex systems for diverse areas of science， scalable scientific algorithms， advanced software tools， computational grids， advanced numerical methods， and novel application areas where the above novel models， algorithms and tools can be efficiently applied such as physical systems， computational and systems biology， environmental systems， finance， and others.

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that， in one way or another， addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science， this new journal is widely disseminated and available worldwide.The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web， interoperability， mobile information services， data warehousing， knowledge representation and reasoning， conceptual database modeling， ontologies， and artificial intelligence.

《基于EDA技术的计算机组成原理实验》是计算机组成原理实验教材，指导学生完成计算机组成原理的一系列实验，包括CPU的设计与实现，共分三编。上编：实验软、硬件环境介绍（MAX+PLUSⅡ，QUARTUSⅡ，基于EDA技术的数字系统设计开发平台DDA-I，DDA-Ⅲ以及测试工具逻辑分析仪）；中编：主要介绍以一个模型机为基础，采用最新的EDA技术，利用湖南大学计算机与通信学院老师研制的数字系统设计平台开发的17个计算机组成原理实验。其中模型机CPU的设计与实现采用了微程序控制（直接给出控制信号、垂直微代码）、硬联线、硬件描述语言等四种方法。下编：计算机组成原理课程设计。此套实验的安排由浅入深，相对完整，且移植性强，稍做改动就能用于其他的EDA开发环境和实验平台。该教材适合于大学本科的计算机、电子、通信、信息等专业实践环节的教学。

This book constitutes the refereed proceedings of the 8th European Conference on Case-Based Reasoning， ECCBR 2004， held in Fethiye， Turkey in September 2006.The 31 revised full papers and 5 revised application papers presented together with 2 invited papers and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. All current issues in case-based reasoning， ranging from theoretical and methodological issues to advanced applications in various fields are addressed， thus presenting a representative snapshot of current CBR research.

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation， ISAAC 2006， held in Kolkata， India in December 2006.The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures， online algorithms， approximation algorithm， graphs， computational geometry， computational complexity， network， optimization and biology， combinatorial optimization and quantum computing， as well as distributed computing and cryptography.

This book constitutes the thoroughly refereed post-proceedings of the 32nd International Workshop on Graph-Theoretic Concepts in Computer Science， WG 2006， held in Bergen， Norway in June 2006.The 30 revised full papers presented together with 1 invited paper were carefully selected from 91 submissions. The papers address all aspects of graph-theoretic concepts in computer science such as structural graph theory， sequential， parallel， and distributed graph and network algorithms and their complexity， graph grammars and graph rewriting systems， graph-based modeling， graph-drawing and layout， diagram methods， and graph-theoretical applications in various fields.

本书根据高等教育计算机课程的基本要求，结合我们多年来的教学实践以及计算机等级考试的需要而编写。全书共14章内容。第1章至第4章是公共基础知识部分，包括：软件基础知识、软件工程基础、数据库设计基础、计算机实用技术基础。第5章至第14章为C语言程序设计部分，主要介绍了C语言基础、数据类型、控制结构、数组、指针、结构体共用体、文件等内容。.本书由原理到应用、由理论到实践、由浅及深，引导读者循序渐进地掌握软件技术和C语言程序设计的基本知识以及开发应用系统的方法。在编写过程中，对于公共基础知识，力求做到概念简洁，以便读者对软件技术知识有一个概要的了解；对C语言程序设计，力求做到概念清晰、取材合理，深入浅出、突出应用。..为了方便教学，作者还编写了与本书配套的教学光盘。本书既可作为高等院校本、专科计算机软件技术基础教材，也可作为各类计算机应用人员或相关人员技术参考书。...

This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing， CASC 2006， held in Chisinau， Moldova， in September 2006.The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in Gröbner bases， polynomial algebra， homological algebra， quantifier elimination， the applications of computer algebra systems in the field of the solution of differential equations， celestial mechanics， Newton polyhedra， mathematical physics， nuclear physics， and fluid dynamics. Novel themes also addressed are the application of computer algebra techniques in the field of nanosciences and nanotechnology as well as the application of CA methods to cellular automata with symmetrical local rules.

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic， CSL 2006， held as the 15th Annual Conference of the EACSL in Szeged， Hungary in September 2006.The 37 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 132 submissions. All current aspects of logic in computer science are addressed， including automated deduction and interactive theorem proving， constructive mathematics and type theory， equational logic and term rewriting， automata and formal logics， modal and temporal logic， model checking， logical aspects of computational complexity， finite model theory， computational proof theory， logic programming and constraints， lambda calculus and combinatory logic， categorical logic and topological semantics， domain theory， database theory， specification， extraction and transformation of programs， logical foundations of programming paradigms， verification of security protocols， linear logic， higher-order logic， nonmonotonic reasoning， as well as logics and type systems for biology.

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Reconfigurable Computing， ARC 2006， held in Delft， The Netherlands， in March 2006.The 22 revised full papers and 35 revised short papers presented were thoroughly reviewed and selected from 95 submissions. The papers are organized in topical sections on applications， power， image processing， organization and architecture， networks and communication， security， and tools.