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

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

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

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

遵义统计年鉴 2015 ZUNYI STATISTICAL YEARBOOK

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

遵义市统计局，国家统计局遵义调查队编纂；宋锡林，刘武勤主编；夏继光，文正华，姚艳斌等副主编2015 年出版426 页ISBN：

STATISTICAL ANALYSIS FOR DECISION MAKING SIXTH EDITION

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

2222 年出版0 页ISBN：

STATISTICAL PROCEDURES FOR ENGINEERING，MANAGEMENT，AND SCIENCE

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

2222 年出版0 页ISBN：

statistical reinforcement learning modern machine learning approaches

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

2222 年出版0 页ISBN：

BOUNDARY ELEMENTS AND OTHER MESH REDUCTION METHODS XXXIV

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

C.A.BREBBIA AND D.POLJAK2012 年出版346 页ISBN：1845646226

THE VIOLENCE AGAINST WOMEN ACT ELEMENTS AND CONSIDERATIONS

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

JOSHUA ABRAHAMSON AND ROGER T.CANTRELL2013 年出版159 页ISBN：1622575873

STATISTICAL METHODS FOR DIGITAL COMPUTERS Volume III

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

1977 年出版454 页ISBN：0471706905

PROJECTION OPERATOR TECHNIQUES IN NONEQUILIBRIUM STATISTICAL MECHANICS

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

1982 年出版164 页ISBN：3540116354

STATISTICAL TECHNIQUES IN BUSINESS & ECONOMICS TWELFTH EDITION

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

2005 年出版800 页ISBN：0072868244