THE ENCYCLOPEDIA AMERICANA VOLUME 16

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

2222 年出版785 页ISBN：0717201112

THE FRENCH REVIEW VOLUME 61

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

2222 年出版162 页ISBN：0844215058

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

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

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

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

THE STORY OF THE STONE. VOLUME 5. THE DREAMER WAKES

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

JOHN MINFORD1986 年出版383 页ISBN：

RANDOM VIBRATION OF MECHANICAL SYSTEMS

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

K.PISZCZER J.NIZIOL2222 年出版344 页ISBN：0853123470

LECTURE NOTES IN COMPUTER SCIENCE 157 DIRECT METHODS FOR SPARSE MATRICES

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

OLE QSTERBY1983 年出版127 页ISBN：3540126767

THE VIKINGS AT HELGELAND THE PRETENDERS VOLUME II

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

1919 年出版343 页ISBN：

ROSMERSHOLM THE LADY FROM THE SEA VOLUME IX

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

1919 年出版349 页ISBN：

The Chinese Classics Volume IV The She King

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

1960 年出版969 页ISBN：

THE ANIMAL KINGDOM VOLUME 1

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

FREDERICK DRIMMER1954 年出版680 页ISBN：