符号逻辑与定理机器证明

机器控制与控制系统

艺术与人生 了解视觉艺术之发展 第2版

视觉测量原理与方法

本书以科研实践为基础，论述了基于视觉原理、面向机械制造应用背景的视觉测量方法和技术，论述了视觉测量研究的内容、方法和关键技术，结合典型的应用需求，研究给出了视觉测量应用系统的原理和实现技术，对视觉测量...

数据结构与算法入门

中等专业学校计算机专业教材:本书内容包括线性表、栈和队、链表、树、排序等。全书以基本数据结构，以及基本运算为基础，介绍了算法设计中最基本的概念、方法、技巧。...

算法设计与分析 第2版

本书介绍了算法及其设计、分析的基础知识，并通过大量例题，讲解了枚举法、递推法、分治法、贪婪算法、动态规划及与图搜索有关的算法策略。...

DSP算法设计与系统方案

本书介绍各种数字滤波器和FFT等用数字信号处理算法的设计及DSP的实现，DSP各领域的系统设计方案等。

数据结构与算法

结合教学实践，关注学生实际动手能力，对语言不过关的同学加以重点讲解具体算法及算法程序详细描述，突出算法重点，给出详细的算法全部的源程序，使得中下等学生对算法的理解和学习提供更好的帮助和辅导。...

数据结构与算法

本书详细讲述了线性结构、树形结构和图形结构、查找表、排序表等常见数据结构的数据表示及数据处理的方法，并配有大量算法设计的例子，以便于读者理解和掌握数据结构中数据表示和数据处理的方法。...

数理逻辑与机器证明