领导高级形式农业合作社的初步经验

二十四首随想曲 练习曲形式

形式逻辑 第3版

形式逻辑（第3版高等教育自学考试用书），ISBN：9787561713150，作者：华东师范大学哲学系逻辑学教研室编

高等数学 第2卷 一元微积分与微分方程

计算数学讲义 数学基础之三 偏微分方程

微分几何中嘉当的活动标架法和外微分系统初步

本书介绍了微分几何的嘉当方法。嘉当几何的两个中心方法是外微分理论和移动标架方法，本书对它们做了深入和现代化的处理，包括它们在古典和现代问题中的应用。本书一开始用移动标架的语言讲述了经典曲面几何和...

计算机语言的形式语义

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

设计基础 来自观念的形式

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

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

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

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