交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

给设计师看的交互程序设计书 Flash ActionScript 3.0溢彩编程 【工业技术】

本书是一本全面介绍ActionScript 3.0的基础知识、编程方法和高级使用技巧的专业实用书籍。

铁路站车客运信息无线交互系统软件使用说明书 【交通运输】

本手册针对铁路站车客运信息无线交互系统软件管理用户和使用用户而编写。本手册包含两部分。第1部分是管理部分，分别介绍了设备信息管理软件、手持终端软件和笔记本终端软件运行所需要的软件硬件环境和设备...

Pro/ENGINEER野火5.0交互式曲面造型设计实例详解 【工业技术】

本书案例经典，技术含量与商业价值高，全部来自工程实践，具有很强的实用性、指导性和可操作性；结构清晰，讲解直观，操作步骤详尽，是介绍软件运用在实战设计中的初、中级教程；还充分考虑到初级读者软件基础差的特......

素描基础教程 【艺术】

本书完整的介绍了素描技法的画法和要点。

电视编导基础教程 【文化科学教育体育】

本书概述了电视编导基础知识。

基础日语口语教程 1 【语言文字】

职业素质基础教程 【哲学宗教】

本书从职业素质概述、职业道德、职业能力等进行了阐述。

电路基础实用教程 【其他书籍】

计算机基础教程 【其他书籍】