德国统一史 第1卷 科尔总理时期的德国政策 执政风格与决策（1982-1989） Band 1 Deutschlandpolitik In Helmut Kohls Kanzlerschaft

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

（德）卡尔-鲁道夫·科尔特（Karl-Rudolf Korte）著2016 年出版767 页ISBN：9787509783719

1982年10月，赫尔穆特·科尔取代施密特，成为联邦德国新任总理。在随后8年时间里，科尔凭借出色的政治手腕和独特的个人魅力，在德国重新统一似乎遥遥无期的情况下，带领联邦德国政府有力巩固和改善了两德关系，成功利...

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

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

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

r.teman2222 年出版0 页ISBN：

СССР И СОЮЗНЫЕ РЕСПУБЛИКИ В 1982 ГОДУ

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

1983 年出版268 页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：