本书是“数学教育系列教材”（普通高等教育“十五”*规划教材）之一，是关于中学代数内容及其教学理论与实践的概述，包括数与数系，式、代数式与不等式，方程，函数，数列，算法以及中学代数问题精选等内容。本教材对中学代数内容用较高的数学观点进行了分析，提出了一些具有针对性的教学建议，并精选了一些典型的例题。在编写思想上力求在注意形式化的同时，加强代数知识的直观理解。本书由来自全国十余所高等师范院校的专家、学者共同完成，其读者对象是高等师范院校的数学系学生以及有志于从事数学教育的大学生，也十分适合作为中小学教师培训和继续教育用书。

This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets， ICATPN 2001， held in Newcastle upon Tyne， UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed， in particular timed， stochastic， colored， symmetrical， and high-level Petri nets; formal verification， model checking， embedded systems， real-time systems， dependable computing， and state spaces.

This book constitutes the refereed proceedings of the 5th International Algorithmic Number Theory Symposium， ANTS-V， held in Sydney， Australia， in July 2002.The 34 revised full papers presented together with 5 invited papers have gone through a thorough round of reviewing， selection and revision. The papers are organized in topical sections on number theory， arithmetic geometry， elliptic curves and CM， point counting， cryptography， function fields， discrete logarithms and factoring， Groebner bases， and complexity.

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types， programming languages， software specification and verification， computational behavior， logics in computer science， semiotics， interface design， multimedia， and consciousness， to mention just some of the areas， have all been enriched in fundamental ways by his ideas.This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28， 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning， meta-logic， specification and composition， behavior and formal languages， as well as models， deduction， and computation.The papers were presented at a Symposium in San Diego， California， USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

应用密码技术是电子安全系统的关键技术，它主要实现保密性、完整性和不可否认性。本书包括密码算法、密码协议及使用方面的主要内容：分组密码算法、公钥密码算法、数字签名、哈希函数、密钥建立、密钥管理、身份识别、电子现金等。每章后附有阅读资料，部分章节配有习题。本书是在中国科学院研究生院讲授多年的讲义的基础上形成的。可以作为高等学校计算机科学、通信工程、信息安全等专业的研究生教材，也可以供有关工程技术人员参考。

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency， ICATPN 2006， held in Turku， Finland in June 2006.The 16 revised full papers and 6 revised tool papers presented together with 4 invited papers were carefully reviewed and selected from a total of 93 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed， in particular UML and Petri nets in software development， networking， workflow management， biochemical network analysis， systems modeling， process semantics probabilistic modeling， embedded systems， software services， performance analysis and simulation.

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets， ICATPN 2002， held in Adelaide， Australia， in June 2002.The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed， in particular concurrent systems analysis， model validation， business process management， reactive systems， workflow processes， wireless transaction protocols.

This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium， ANTS 2006， held in Berlin， Germany in July 2006.The 37 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on algebraic number theory， analytic and elementary number theory， lattices， curves and varieties over fields of characteristic zero， curves over finite fields and applications， and discrete logarithms.

This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations， ICGT 2006， held in Rio Grande do Norte， Brazil in September 2006.The 28 revised full papers presented together with 3 invited lectures were carefully selected from 62 submissions. All current aspects in graph drawing are addressed including graph theory and graph algorithms， theoretic and semantic aspects， modeling， contributions to software engineering and global computing， applications to biology， and tool issues. The papers are organized in topical sections on new graph transformation models， structure manipulation， borrowed contexts and adhesive categories， extensions for distributed and global computing， software engineering methods and tools， model-driven development， efficient implementation， and logics. In addition the volume contains a short de*ion of a tutorial on foundations and applications of graph transformations， and short presentations of the satellite events of ICGT 2006.

This book constitutes the refereed proceedings of the 8th Annual International Computing and Combinatorics Conference， COCOON 2002， held in Singapore in August 2002.The 60 revised full papers presented together with three invited contributions were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on complexity theory， discrete algorithms， computational biology and learning theory， radio networks， automata and formal languages， Internet networks， computational geometry， combinatorial optimization， and quantum computing.