Dictionary of organic compounds volume four F—mer D—0-00001—M-0-00454
J. I. G. Cadogan1996 年出版4166 页ISBN:0412540908
Dictionary of organic compounds volume three Dic—Exo D—0-03195—E-0-01256
J. I. G. Cadogan1996 年出版3135 页ISBN:0412540908
Natural resources and rural development in arid lands: case studies from Sudan
H. R. J. Davies1985 年出版85 页ISBN:9280805045
Dictionary of organic compounds volume two Bromethalin—Dib B—0-03702—D-0-03158
J. I. G. Cadogan1996 年出版2009 页ISBN:0412540908
An Introduction to the Theory of Numbers=哈代数论 英文版·第6版
G. H. Hardy ; E. M. Wright ; D. R. Heath-Brown ; J. H. Silverman2009 年出版622 页ISBN:7115214270
Dictionary of organic compounds volume five mes—phi M—0-00455—p-0-02796
J. I. G. Cadogan1996 年出版5354 页ISBN:0412540908
Dictionary of organic compounds volume six phl—z p—0-02797—Z-0-00015
J. I. G. Cadogan1996 年出版6515 页ISBN:0412540908
Dictionary of organic compounds volume snine chemical abstracts service registry number index
J. I. G. Cadogan1996 年出版826 页ISBN:0412540908
URBANIZATION IN CHINA:TOWN AND COUNTRY IN A DEVELOPING ECONOMY 1949-2000 AD
R. J. R. KIRKBY1985 年出版289 页ISBN:0231061501
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。