放线菌系统学 原理、方法及实践 principle， methods and practice

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

徐丽华等主编2007 年出版471 页ISBN：7030177002

放线菌是产生抗生素等药物和其他生物活性物质的重要微生物资源。微生物产生的药物有70左右是用放线菌生产的。放线菌分类学是放线菌资源开发利用，尤其是抗生素等药物开发利用的基础。据国内外许多学者（包括本...

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

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

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

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

modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi

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

bran selic2014 年出版287 页ISBN：0124166199

From Markov chains to non-equilibrium particle systems Second Edition = 从马尔科夫链到非平衡粒子系统 第2版

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

Mu-fa Chen2014 年出版600 页ISBN：7510068232

中国人民共和国国家标准 GB/T17710-1999 idt ISO7064:1983 数据处理 校验码系统=Data processing-Check character systems

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 17300-1998 idt ISO2867:1994 土方机械 通道装置=Earth-moving machinery-Access systems

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 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：

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

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

automation2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 19753-2005 轻型混合动力电动车能量消耗量 试验方法=TEST METHODS FOR ENERY CONSUMPTION OF LIGHT-DUTY

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

2222 年出版0 页ISBN：