Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
CONTENDING THEORIES OF INTERNATIONAL RELATIONS:A COMPREHENSIVE 5TH EDITION
詹姆斯·多尔蒂，小罗伯特·普法尔茨拉夫2004 年出版706 页ISBN：7301078013
本书是美国大学里颇为流行的国际关系学教科书，全面而系统地阐述了国际关系理论的诸种流派、范式、方法及其相互关系，为西方国际关系理论的集大成之作，目前已有两个中文译本，在中国国际关系学界和大学生中产生了...
飞舞的灵感 当代美国诗歌精选 a selection of contemporary American poetry
谢艳明著译2008 年出版210 页ISBN：7810917676
本书精选了21位美国当代诗人的诗作100首。对每位诗人的生平、成长轨迹、主要作品及风格、在美国诗坛的地位等方面作了简要介绍。所选的100首诗作，最早的创作于上世纪50年代，最晚的在2007年7月才公开发表。这...
1991 ANNUAL BOOK OF ASTM STANDARDS SECTION 2 NONFERROUS METAL PRODUCTS VOLUME 02.04 NONFERROUS METAL
1991 年出版848 页ISBN：0803115954
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
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
中国樟属植物资源及其芳香成分 Cinnamomum Plant Resources and Their Aromatic Constituents in China
程必强，喻学俭，丁靖垲等著1997 年出版129 页ISBN：7541609668
