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

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

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

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

aspen模拟软件在精馏设计和控制中的应用 原著第2版=distillation design and control using aspentm simulation（second edtion）

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

2222 年出版0 页ISBN：

消费主导：中国转型大战略=Consumption-LED Growth Strategy For China's Transformation Of Development Models

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

Chief Editor Chi Fulin;Tranlator Ego2012 年出版348 页ISBN：9787508524023

本书由中改院迟福林院长主编，是该院2012年中国改革研究年度报告。本书指出，未来5～10年，中国将走向扩大内需、拉动消费，走向消费主导的经济转型，需要推进以消费为主导、以公平与可持续为目标的二次转型与改革。...

中国经济增长报告2015 新常态下的宏观调控与结构升级=CHINA ECONOMIC GROWTH REPORT 2015 MACRO CONTROL AND ECONOMIC STRUCTURE

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

赵可金著2015 年出版0 页ISBN：

中国自然垄断产业组织模式演进问题研究：以天然气产业为例＝RESEARCH ON PROBLEM OF NATURAL NONOPOLY INDUSTRY ORGANIZATION MODEL IN C

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

武盈盈著2014 年出版0 页ISBN：

中华人民共和国国家标准 GB/T22112-2008 工业自动化仪表接线端子的排列和标志= Industrial process measurement and control instrumen

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

2222 年出版0 页ISBN：

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

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 27404-2008 实验室质量控制规范 食品理化检测=Criterion on quality control of laboratories-chemica

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

2222 年出版0 页ISBN：

篇章回指的优选解析:基于语篇结构分析的理论探索＝An optimizing model of anaphora processing : a theoretical approach in the l

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

王大方著2013 年出版203 页ISBN：

中华人民共和国国家标准 GB/T 19538-2004 危害分析与关键控制点（HACCP）体系及其应用指南=Hazard analysis and critical control point(H

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

2222 年出版0 页ISBN：