暂缺简介...

本书是*“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果，是面向21世纪课程教材。本书内容包括复变函数、Fournier分析、小波变换及应用、偏微分方程定解问题、变分法、数学物理中的近似解法。本书本着加强应用、侧重方法的原则，着重介绍常用的应用数学方法及其在实际中的应用。同时适当增加了一些近代应用数学方法，为学生进一步学习近代数学内容展示了窗口和延伸发展的接口。本书可作为高等学校工科各专业的教科书，也可供工科研究生和社会读者阅读。

全书共分八章，主要内容有：集合与函数、三角函数的应用、三角函数的简化公式、复数及其应用*、数列、排列与组合及概率初步、空间图形、解析几何初步等。每一章配有教学要求和习题，附录收集了部分相关应用实例，便于教师讲授和学生自学。本书也可作为在职人员培养教材。

暂缺简介...

本书被选编入了斯普林格经典的“数学研究生教材”系列。尽管市场上有关编码理论的书籍繁多，这本书以其高品质脱颖而出，是编码理论相关书籍榜上畅销不衰的经典。本书特色在于：简短、精确、数学严谨地介绍了书本主题内容，从数学家的角度清晰地提出了基本概念和思想，并在各种特殊类型的代码中加以说明。本书被推崇为每个想要了解编码代数理论的数学家的要读之书。再版版本除了添加了编码增益等内容，还附上了关于编码理论的最新文献，让读者能够进一步拓展知识面。

本书是与同济大学数学系编写的普通高等教育“十一五”*规划教材《线性代数及其应用》（第二版）配套的学习辅导书。全书按原教材的章节编排，每章按节（或相关的几节）编写了内容要点、教学要求和学习注意点、释疑解难、例题增补、习题选解等栏目，针对学生学习中的问题和需要进行辅导。全书对原教材中三分之一的习题作了详细解答。本书内容切合教学实际，针对性强，注重帮助学生掌握线性代数的基本知识、基本理论和基本技能，可作为培养应用型人才的本科和专科学校非数学类专业学生学习线性代数的参考书，也可供其他工程技术人员学习参考。

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

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.