人民民主制度是社会政治组织的新形式

论不同国家向社会主义过渡的形式和议会作用

社会保障法 保障公民生存权利的法律形式

本书主要围绕建立、健全和完善社会保障法律制度展开论述。

形式逻辑基础 第3版

本书是贵州大学本科段选修课教材，自2007年任课老师将讲义编辑出版以来，其反响较好。任课老师亦在不断讲学中有所改进增删。使本书更趋完善。其内容共十章，每章后有一定的习题，及国考等典型经典题目。...

几何学 空间和形式的语言

本书是对数学和自然科学史中关于几何的片段的回顾，通过时间的脉络，将几何学上的大师及其成就，以及几何命题和公式的得出背景等，一一展示给读者。...

中日报纸广告的表现形式

本书以中日报纸广告的艺术表现形式为主要内容，通过介绍两国报纸和报纸广告产生发展的过程，了解报纸广告在不同的历史时期的情况。通过列举大量报纸广告作品，分析比较两国报纸广告在表现形式、表现风格上各自的...

常微分方程与控制论 武汉学术讨论会论文集

偏微分方程导论

偏微分方程是近代以来发展迅速的一门学科，它在数学与物理的很多分支领域有着重要的应用。本书是一部偏微分方程的优秀著作，里面囊括了偏微分方程很多重要的且基本的内容，其中一维波动方程、热传导方程、半平面...

微分方程 中法文版

本教材以法国路易大帝MPSI班预科数学课程为基础，涵盖了《常微分方程》《偏微分方程》《数理方程》《自适应方程》等内容，更注重与方程的直观性，从物理的角度给出数学的表达式，对方程的物理背景给出了详尽的阐述...

形式化方法导论

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...