计算机语言的形式语义

中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容

设计基础 来自观念的形式

本书的主要目的是引导艺术设计者如何将一个模糊的想法发展成一个清晰的观念，并找到恰当可行的途径进行视觉表达，使想法最终成为一件完整成熟的作品。...

苏联剧变与反和平演变 形式教育材料

软件形式规格说明语言-Z

本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。

微分方程和动力系统

上海研究生教育用书上海市研究生教育专项经费资助:本书内容包括微分方程解的存在唯一性定理；解对初值和参数的连续依赖性和可微性定理；动力系统的基本概念、线性系统及其矩阵指数；非线性系统局部和整体理论、...

文学的形式与历史

本书是作者从多部代表作中精选出来重新解构的文学与文化研究著作，把马克思主义和解构主义、后殖民批判结合起来，重新解读经典的文学文本，开创了一种新的研究视野和方法。...

集体农庄事务管理的法律形式

社会学——关于社会化形式的研究

偏微分方程与孤波理论 英文版

本书列入《非线性物理科学》，和Springer合作出版。

大学数学 微积分及其在经济管理中的应用

本书是根据编者多年的教学经验，借鉴国外教材的编写特色并结合经济类、管理类微积分教学要求而编写的。内容分为八章，分别为：函数、极限、连续，导数与微分，中值定理与导数的应用，不定积分，定积及其应用，多元函......