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
城市综合体规划与设计 上 = Hopsca planning and design
高迪国际HI-DESIGN PUBLISHING编；卢晓娟等译2015 年出版280 页ISBN：9787543966284
本书收录了国内外顶级商业设计事务所设计的近两年的新案例，通过详实的文字说明和技术图纸，展示了针对不同的城市及其特征，如何把财务与运营、风险相结合，建筑设计、景观设计、交通设计等相结合，为每一个项目制定...
城市综合体规划与设计 下 = Hopsca planning and design
高迪国际HI-DESIGN PUBLISHING编；卢晓娟等译2015 年出版275 页ISBN：9787543966284
本书收录了国内外顶级商业设计事务所设计的近两年的新案例，通过详实的文字说明和技术图纸，展示了针对不同的城市及其特征，如何把财务与运营、风险相结合，建筑设计、景观设计、交通设计等相结合，为每一个项目制定...
硬件设计验证 基于模拟与形式的方法 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
