面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
王彬著2010 年出版352 页ISBN:9787111304777
本书共11章,主要包括MATLAB的基础知识及常用数字信号处理工具;数字信号处理基本理论和方法及其MATLAB实现等。
张德丰等编著2010 年出版385 页ISBN:9787111293088
本书系统地介绍了使用MATLAB进行自动控制系统设计的方法等方面的知识。
李玉莉等编著2010 年出版417 页ISBN:9787122079275
本书内容包括MATLAB操作基础、矩阵运算、矩阵分析、数值计算命令、数据分析等。