社会保障法 保障公民生存权利的法律形式 【政治法律】

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

形式语义学的稳定论域理论 【工业技术】

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

西方音乐体裁及形式的演进 【艺术】

本书较为系统、全面地阐述了西方音乐发展历史中音乐体裁及形式的演进，内容跨越自中世纪到20世纪近1500年的时间纬度，涵盖了声乐音乐和器乐音乐中从大到小的各类体裁。对各体裁及形式的历史演进作了阐述。...

过去就是现在 当代阿里山邬族文化形式的社会建构 【历史地理】

时滞微分方程Hopf分歧分析、周期解的计算及其数值动力系统 【数理化】

本书收集2003年上海大学的博士学位论文百余篇。

亚太地区发展报告 No.3 2002 形式与热点问题透视 【经济】

形式语言与自动机 【工业技术】

本书扼要地介绍了形式语言与自动机的基本体系，是高校学习理论计算机科学技术基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机...

二阶椭圆偏微分方程 【数理化】

This revision of the 1983 second edition of"Elliptic Partial Differential Equations of Second Order" corresponds to the Russian edition, published in 1989, in which we essentially up...

网络协议的形式化分析与设计 【工业技术】

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

常微分方程 【数理化】

The author＇s book on GewShnliche Differentialgleichungen （Ordinary Differential Equations） was published in 1972. The present book is based on a translation of the latest， 6th， edition， which appe...