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

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

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

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

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：

环境与社会 人文视野中的环境问题 human perspectives on environmental issues

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

肖显静著2006 年出版362 页ISBN：7040184044

本书以国内外环境问题为背景，运用科学哲学、技术哲学、环境科学、环境政治学、可持续发展战略、环境经济学、环境伦理学等的相关知识，从人文社会的角度探讨环境与社会发展、环境与科技、环境与人口、环境与政...

infinite-dimensional dynamical systems in mechanics and physics second edition=力学和物理学中的无限维动力系统 第2版

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

r.teman2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T22032-2008/ISO/IEC15288:2002 系统工程 系统生存周期过程=Systems engineering-System life cycle

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T 17290-1998 idt ISO8222:1987 石油测量系统检定标准量器的温度修正=Petroleum measurement systems-Cali

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

2222 年出版0 页ISBN：