复变函数与积分变换 罗文强等 主编.pdf
全书共9章，主要内容包括复数与复变函数、解析函数、复积分、级数、留数及其应用、共形映射、傅里叶变换、拉普拉斯变换、MATLAB在复变函数与积分变换中的应用。每章均配有小结和较为丰富的例题、习题，书后附有习题答案，对较难的习题给出了解题提示。
变换
复变函数与积分变换教程 郑列,李家雄 主编.pdf
本书根据教育部高等学校工科数学《复变函数与积分变换》课程的教学基本要求和教学大纲，结合本学科的发展趋势，在积累多年教学实践的基础上编写而成。本书遵循打好专业基础、培养数学素质、提高解决实际问题能力的原则，体系严谨，逻辑性强，内容组织由浅入深，理论联系实际，讲授方式灵活。
工程数学——复变函数与积分变换（第二版） 尹水仿,李寿贵 主编.pdf
本书（第二版）根据教育部非数学类课程“复变函数与积分变换”教学基本要求，结合编者多年讲授本课程的基础上编写而成，对第一版教材内容、体系作了适当的调整与优化，使其具有更好的可读性，主要内容包括复数与复变函数、解析函数、复变函数的积分、级数、留数理论、共形映射、傅里叶变换、拉普拉斯变
高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详
- «
- »