PSYCHOLOGY APPLIED TO MODERN LIFE:ADJUSTMENT AT THE TURN OF THE CENTURY SIXTH EDITION
WAYNE WEITEN MARGARET A.LLOYD2000 年出版583 页ISBN：0534355536
2010 THE STATE OF FOOD INSECURITY IN THE WORLD ADDRESSING FOOD INSECURITY IN PROTRACTED CRISES
2010 年出版58 页ISBN：9789251066102
WORLD ECONOMIC OUTLOOK:A SURVEY BY THE STAFF OF THE INTERNATIONAL MINETARY FUND:OCTOBER 1989
1989 年出版151 页ISBN：1557751315
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY NUMBER 430 STABILITY IN MODULES FOR CLASSICAL LIE ALGEB
1990 年出版165 页ISBN：0821824929
THE EUROPA BIOGRAPHICAL DICTIONARY OF BRITISH WOMEN OVER 1000 NOTABLE WOMEN FROM BRITAIN'S PAST
1983 年出版436 页ISBN：0905118774
FAO LEGISLATIVE STUDY 105:STATUTORY RECOGNITION OF CUSTOMARY LAND RIGHTS IN AFRICA-AN INVESTIGATION
2010 年出版306 页ISBN：9789251067284
城市综合体规划与设计 上 = 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
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
