THE LAST BEST HOPE OF EARTH:ABRAHAM LINCOLN AND THE PROMISE OF AMERICA
JOHN H.RHODEHAMEL THOMAS F.SCHWARTZ JAMES M.MCPHERSON1993 年出版79 页ISBN：
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
CRIME AND THE LAW THE SOCIAL HISTORY OF CRIME IN WESTERN EUROPE SINCE 1500
V.A.C.GATRELL1980 年出版381 页ISBN：
The proceedings of the International Computer Congress 2004 on Wavelet Analysis and its Applications
and Active Media Technology2004 年出版1092 页ISBN：
THE POLITICS OF ECONOMIC DECILINE ECONOMIC MANAGEMENT AND POLITICAL BEHAVIOUR IN BRITAIN SINCE 1964
JAMES E.ALT1978 年出版296 页ISBN：052122327X
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
中国樟属植物资源及其芳香成分 Cinnamomum Plant Resources and Their Aromatic Constituents in China
程必强，喻学俭，丁靖垲等著1997 年出版129 页ISBN：7541609668
Lecture Notes in Computer Science 3522 Pattern Recognition and Image Analysis Second Iberian Confere
IbPRIA 2005 EstorilJune 年出版2005 页ISBN：Part I
Lecture Notes in Computer Science 3686 Pattern Recognition and Data Mining Third International Confe
ICAPR 2005 BathAugu 年出版2005 页ISBN：Part I
