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

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

2011 年出版285 页ISBN：9251066140

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

应用型本科信息大类专业“十三五”规划教材 电子线路CAD实用教程 第3版

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

邓奕著2018 年出版251 页ISBN：9787568030021

本书从初学者的角度出发，以全新的视角、合理的布局，系统地介绍了Protel 99 SE软件的各项功能和提高作图效率的使用技巧，并以具体的实例详细介绍了电路板设计及制作的流程。本书共分十四章，循序渐进地介绍了Prot...

武器装备体系能力的组合分析方法与工具=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：

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