电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

奇异微分方程边值问题解的研究

本书在借鉴现有的数学方法和分析工具的基础上，着重讨论几类基本的奇异半正微分积分方程（组）的周期正解的存在性问题，并研究不同边值条件下奇异脉冲微分方程一个及多个正解的存在性。我们希望实现以下研究目标：在...

布局天下 大学生形式与政策教育读本 2017春版

这本《布局天下--大学生形势与政策教育读本（2017春季版）》共包括8个专题和时事测评试题，每个专题由”导语””想一想””拓展训练”等几个方面的内容组成。这些内容涵盖了最新的国内外大事，包括党的重大方针和...

微分方程数值分析基础教程 A First Course in the Numerical Anlysis of Differential Equations

数学分析基本问题与注释 一元微分学研究式教学法探索与实践

本书是对数学专业本科生《数学分析》第一学期的课程采用自学为主的研究式教学模式的教学用书。主要内容包括实数集与函数、数列极限、函数极限、函数的连续性、导数与微分、微分中值定理及其应用、实数的完...

中国符号学丛书 形式动力 新诗论争的符号学考辨

中国新诗论争的基本形态和延伸开的诗学问题，构成一显一隐两条线索，显现的论述表层似乎是一连串的“主义”之兴替，而隐在的动力则是诗人们对新诗发展不倦地形式探索。本书以1917—1949年的中国新诗论争作为研究...

形式语言与自动机理论教学参考书 第3版

本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主...

音乐、色彩与形式 视听艺术研究

本书侧重于从视听综合艺术角度，研究音乐与视觉艺术中的对称现象，将对称视为视听觉艺术共有的形式特征，并分析的在音乐和视觉艺术的不同表现情况。此外，著作还关注到音乐和视觉艺术中的色彩效应，分析了当代重要作...

对称方法在偏微分方程中的应用 英文版

本书是一部讲述偏微分方程的对称方法的入门书籍。是作者2002年出版的Symmetry and Integration Methods for Differential Equations的续篇，包括守恒定律、局部对称、高阶对称、接触变换、局部映射、局部无...

非平衡态热力学和流体力学形式逻辑分析

本书汇集了作者自2005年末起所撰写的若干相关文章，涉及20世纪“非平衡态热力学”的思考、针对西方主流科学世界近期含蓄提出对“流体力学基本方程”所作反思的重新反思以及与发生在19世纪末和20世纪末自然科...