中华人民共和国国家标准 GB/T17907-1999 机械式停车设备 通用安全要求=Mechanical parking systems-General safety requirement

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

2222 年出版0 页ISBN：

THE STATE OF THE WORLD'S LAND AND WATER RESOURCES FOR FOOD AND AGRICULTURE MANAGING SYSTEMS AT RISK

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

2011 年出版285 页ISBN：9251066140

中国工程建设标准化协会标准 cecs 2890 钢管混凝土结构设计与施工规程=specification for design and construction of concrete-fille

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T20430-2006/ISO15664:2001 声学 开放式工厂的噪声控制设计规程=Acoustics-Noise comtrol design procedu

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

2222 年出版0 页ISBN：

面向计算机科学的数理逻辑 系统建模与推理 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

机械系统控制软件 实时系统面向对象设计 Object Oriented Design in a Real-Time World

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

（美） D. M. Auslander，J. R. Ridgely，J. D. Ringgenberg著2004 年出版339 页ISBN：7302082332

机械系统的性能日益成为其控制软件的功能，因此，在系统设计和实现的每一个阶段，都必须考虑控制软件的计算能力及其所受到的限制。本书全面阐述了如何为今天日益复杂的机械设备构建实时控制软件。本书介绍了实时...

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

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

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

武器装备体系能力的组合分析方法与工具=PORTFOLIO-ANALYSIS METHODS AND TOOLS FOR ASSESSING SYSTEM OF ARMAMENT SYSTEMS CAP

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

2012 年出版0 页ISBN：

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

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

2222 年出版0 页ISBN：