嵌入式系统设计的验证与调试技术 【工业技术】

本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。

面向科学计算的网格划分与可视化技术 【工业技术】

本书以航空航天等复杂装备研制中空气动力学、传热分析、结构力学和固体力学问题为背景，针对多学科偏微分方程模型的计算需求，介绍物理系统定义域的离散化技术和计算可视化技术。...

采矿优化设计-系统工程在煤矿开采中的应用 【工业技术】

FPGA上的嵌入式系统设计实例 【工业技术】

本书介绍了嵌入式系统的基本概念、基于MicroBlaze软核的基础实验及硬件系统构建uclinux操作系统平台。

实时信号处理 信号处理系统的设计与实现 【工业技术】

面向方面的软件开发 【工业技术】

面向方面的软件开发（AOSD）是一个激动人心的新规范，其用以寻找软件系统中新的模块化特性。AOSD和OOP（面向对象编程）不是相互竞争的技术，实际上它们相辅相成得十分融洽。本书介绍了对实现方面的语言描述，在编程语言....

基于AXI4的可编程SOC系统设计 【工业技术】

太阳能采暖和热水系统的设计与安装 【工业技术】

结构系统可靠性和基于可靠性的优化设计 【工业技术】

变频调速控制系统的设计与维护 第2版 【工业技术】