硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

下载此书RAR压缩包在线购买PDF电子书

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

计算机辅助电路分析与程序设计

下载此书RAR压缩包在线购买PDF电子书

张珍华编著1995 年出版168 页ISBN：7115054916

带式输送机的传动理论与设计计算

下载此书RAR压缩包在线购买PDF电子书

孙可文著1991 年出版290 页ISBN：7502004785

铝合金船舶结构强度 设计与计算

下载此书RAR压缩包在线购买PDF电子书

（苏）Г.В.包依佐夫著；龙江译1966 年出版204 页ISBN：15034.1064

带式烧结机新结构原理与设计计算

下载此书RAR压缩包在线购买PDF电子书

白明华著1996 年出版244 页ISBN：7111051181

污水处理新工艺与设计计算实例

下载此书RAR压缩包在线购买PDF电子书

孙力平等编著2001 年出版232 页ISBN：7030092589

电磁场数值计算与电磁铁设计

下载此书RAR压缩包在线购买PDF电子书

李泉凤编著2002 年出版202 页ISBN：7302055734

暖通空调设计与计算方法

下载此书RAR压缩包在线购买PDF电子书

顾洁主编2007 年出版145 页ISBN：9787122011756

本书主要介绍了暖通空调的设计程序及内容，结合民用建筑、侧重介绍高层民用建筑采暖、通风及空调系统设计方法。

MATLAB程序设计与最优化计算

下载此书RAR压缩包在线购买PDF电子书

臧文科编著2016 年出版238 页ISBN：7302447337

有色冶金炉设计与计算 参考资料 下

下载此书RAR压缩包在线购买PDF电子书

中南矿冶学院2222 年出版285 页ISBN：