the seiberg-witten equations and applications the topology of smooth four-manifolds = 赛伯格-威顿方程及其在光滑四

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

2222 年出版0 页ISBN：

theory on networked control for discrete-time systems date-rate theorem = 离散系统网络化控制理论传输速率定理

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T17907-1999 机械式停车设备 通用安全要求=Mechanical parking systems-General safety requirement

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

2222 年出版0 页ISBN：

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

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

纵向数据分析方法与应用=methods and applications of longitudinal data analyssis

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

刘宪著2015 年出版514 页ISBN：7040436884

本书旨在系统地介绍纵向数据分析的基本概念、理论设定和应用步骤，重点通过SAS计算机程序对实际数据进行分析, 从而深入浅出地描述纵向数据分析的各类模型。书中涉及的统计方法包括各类描述性估算法、线性混...

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

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

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

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