面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

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

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

机器人系统实施 制造业中的机器人、自动化和系统集成＝implementation of robot systems an introduction to robotics

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

automation2222 年出版0 页ISBN：

释放多核潜能 英特尔Parallel Studio并行开发指南

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

英特尔亚太研发有限公司，北京并行科技公司编著2010 年出版287 页ISBN：9787302235033

本书介绍了英特尔Parallel Studio工具集的使用方法和技巧。

International Conference on Parallel Processing : 3-7 September 2001 : Valencia

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

spain2001 年出版591 页ISBN：0769512577

中华人民共和国国家标准 GB/T 16435.1-1996 IEC 870-3:1989 远动设备及系统接口（电气特性）=TELECONTROL EQUIPMENT AND SYSTEMS INT

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

2222 年出版0 页ISBN：

robust control for strict-feedback form nonlinear systems and its application = 严格反馈型非线性系统鲁棒控制及应用

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

2222 年出版0 页ISBN：

Fiber Optic Measurement Techniques

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

RONGQING HUI2009 年出版652 页ISBN：

MEASUREMENT IN FLUID MECHANICS

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

STAVROS TAVOULARIS2005 年出版354 页ISBN：

MEASUREMENT IN HIGHER EDUCATION

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

BEN D.WOOD1923 年出版337 页ISBN：

MEASUREMENT IN SECONDARY EDUCATION

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

PERCIVAL M.SYMONDS1927 年出版588 页ISBN：