中华人民共和国国家标准 GB/T 19630.4-2005 有机产品 第4部分:管理体系=ORGANIC PRODUCTS-PART 4:MANAGEMENT SYSTEM

下载此书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

产业技术路线图 广东科技管理创新实践 the innovative practice of science and technology management in Guangdong

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

李兴华主编2008 年出版214 页ISBN：9787535948090

本书介绍了产业技术路线图制作的原理、原则基本结构及方法，同时还列举了广东省无铅、建陶、铝、工业产品环境适应性、国家重点实验室等实例。...

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

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

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

the frontiers in economic and management research volume I december 2012

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

editor-in-chief jinquan liu2013 年出版180 页ISBN：703039030X

jinquan liu所著的《the frontiers in economic and management research(volume1-december2012)》收录包括：具有前瞻性的经济学、管理学的理论和方法的研究成果。应用数量经济学方法进行宏观经济形势...

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