离散数学学·练·考

本书是根据教育部高等理工院校离散数学课程教学大纲的基本要求和硕士研究生入学考试的基本要求编写而成。全书内容包含数理逻辑、集合论、代数系统和图论四个部分，共分8章：命题逻辑、谓词逻辑性、集合论、二...

编译技术

本书是“上海市高等教育自学考试——计算机软件专业（独立本科段）指定系列丛书”之一。全书共9章:第1章介绍编译程序的概念、程序编译的过程及编译程序的结构；第2章介绍文法和语言的形式定义和文法的类型；第3章...

微机电系统设计与制造

本书主要介绍了微机电系统及其相关技术，对微机电系统的定义、起源及研究现状、制造技术、系统构成、设计技术进行介绍。

创新力 企业生存与发展的内在动力

本书向读者提供了一些实用的创新理念和技巧——如何将创新引入组织，并管理与驱动组织以实现它的改变。本书内容涉及企业文化、领导力、战略等很多管理领域，并通过许多成功与失败的案例来诠释其主要观点。无论...

编译技术 第2版

本书全面、系统地介绍了编译程序的基本结构及编译技术的一般理论和常用方法。主要内容包括：文法和形式语言、有限自动机、语法分析、词法分析、语法制导翻译和中间代码生成、优化、目标代码生成、存储组织与...

中国植物志 第6卷 第3分册 蕨类植物门 石杉科 木贼科 石松科 松叶蕨科 卷柏科 合囊蕨科 水韭科 桫椤科

快速成型与快速模具制造技术及其应用

本书介绍了目前典型的快速成型技术的原理与特点。

工厂化制造住宅与住宅产业化

本书介绍了住宅的生产制造，运输安装等。

先进制造业基地建设的理论与实践

本书从理论、经验、实证分析专题研究，对建设先进制造业基地进行了阐述。

网络化计算机辅助设计与制造技术

本书介绍了网络化CAD/CAM集成技术。