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
CHEMISTRY FOR ENGINEERS AND MANUFACTURERS:A PRACTICAL TEXT-BOOK SECOND EDITION VOLUME Ⅱ
CHARLES GRIFFIN & COMPANY1913 年出版513 页ISBN：
Operating systems: concurrent and distributed software design = 操作系统——并发与分布式软件设计 (英文版)
Jean Bacon ; Tim Harris2003 年出版0 页ISBN：
Strength of materials Volume 1 Fundamentals （Ellis Horwood series in civil and mechanical enginee
PROFESSOR JOHN M.ALEXANDER2222 年出版267 页ISBN：
城市综合体规划与设计 上 = 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
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
