预订 Building America's Hangar: The Design and Construction of 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥441.00

书之源外文图书

Ezell,Lin /2004-11-30 /Giles

中国建设年鉴2023Yearbook of China Construction 中国建筑工业出版社 《中国建设年鉴》编

¥449.25定价：¥449.25

梦梦图书专营店

《中国建设年鉴》编委会 编 /2025-02-01 /中国建筑工业出版社

海外直订A Souvenir of the Conant Memorial Church, its Inception,

¥434.00

中华商务进口图书旗舰店

Conant, Hezekiah /2023-07-17 /Legare Street Press

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Bernd Finkbeiner; Laura Kovács /2024-04-22 /Springer Berlin Heidelberg

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

2025-05-01 /Springer

海外直订A Guide to Model Engines - A Collection of Vintage Artic

¥435.00

中华商务进口图书旗舰店

Various /2011-08-16 /Hoar Press

海外直订Shakespeare-lexicon: A Complete Dictionary of all the En

¥434.00

中华商务进口图书旗舰店

Schmidt, Alexander 1816-1887 [From /2022-10-26 /Legare Street Press

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031308192 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 Springer Publication Date 出版日期 2023-04-20 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.27 Shipping Weight 商品重量 1.92 Language 语种 其它（含多语）

¥437.00

中国进口图书旗舰店

暂无作者信息 /2023-04-20 /Springer

预订 A Treatise On Architecture And Building Construction, Pre 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥436.00

书之源外文图书

Schools,International Correspondence /2018-10-15 /Franklin Classics

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

2025-05-01 /Springer

预订 The 8th International Conference on Advances in Construct 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Saman K. Halgamuge; Hao Zhang; Dingxuan /2024-05-31 /Springer Berlin Heidelberg

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

2025-05-01 /Springer

海外直订An Introduction to Sustainable Building Design and Const

¥436.36

中华商务进口图书旗舰店

Guyer, J. Paul /2017-02-14 /Createspace Independent Publishing Platform

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Bernd Finkbeiner; Laura Kovács /2024-04-22 /Springer Berlin Heidelberg

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030995232 Author 作者 Dana Fisman Format 版本 平装-胶订 Pages Number 页数 583页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-16 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.23 Shipping Weight 商品重量 1.85 Language 语种 其它（含多语） Book Contents 内容简介 This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competi

¥437.00

中国进口图书旗舰店

Dana Fisman /2022-04-16 /Springer Berlin Heidelberg

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031308222 Format 版本 平装-胶订 Pages Number 页数 708页 Publisher 出版社 Springer Publication Date 出版日期 2023-04-22 Language 语种 其它（含多语）

¥437.00

中国进口图书旗舰店

暂无作者信息 /2023-04-22 /Springer

预订 Great Exhibits!: An Exhibit Planning and Construction Han 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥442.00

书之源外文图书

Hansen, Beth /2017-05-01 /Rowman & Littlefield Publishers

【3-6周达】Translation Planes: Foundations and Construction Prin 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

Knarr, Norbert /1995-09-18 /Springer

海外直订医药图书Essays and Observations on the Construction and Grad

¥434.00

中华商务进口图书旗舰店

Martine, George /2018-04-21 /Gale Ecco, Print Editions

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030995263 Author 作者 Dana Fisman Format 版本 平装-胶订 Pages Number 页数 493页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-16 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.04 Shipping Weight 商品重量 1.58 Language 语种 其它（含多语） Book Contents 内容简介 This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competi

¥437.00

中国进口图书旗舰店

Dana Fisman /2022-04-16 /Springer Berlin Heidelberg

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030720155 Format 版本 平装-胶订 Pages Number 页数 471页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1520g Language 语种 英语 Book Contents 内容简介 This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo paper

¥437.00

中国进口图书旗舰店

暂无作者信息 /2021-03-20 /Springer Berlin Heidelberg

【预订】Tools and Algorithms for the Construction and Analysis o 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030452360 Format 版本 平装-胶订 Pages Number 页数 425页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1380g Language 语种 英语 Book Contents 内容简介 This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems

¥437.00

中国进口图书旗舰店

暂无作者信息 /2020-04-18 /Springer Berlin Heidelberg

【3-6周达】Retaining Walls - Their Design and Construction [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥437.00

书之源外文图书

Paaswell,George /2007-09-20 /Earle Press

海外直订Teacher's Manual for Building Construction and Design 建筑

¥437.00

中华商务进口图书旗舰店

Ambrose, James E. /2012-10-22 /Springer

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥437.00

中国进口图书旗舰店

Bernd Finkbeiner; Laura Kovács /2024-04-21 /Springer Berlin Heidelberg

【预订】Tools and Algorithms for the Construction and Analysis o 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030720124 Format 版本 平装-胶订 Pages Number 页数 465页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1490g Language 语种 英语 Book Contents 内容简介 This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo pa

¥437.00

中国进口图书旗舰店

暂无作者信息 /2021-03-23 /Springer Berlin Heidelberg

【预售 按需印刷】Earned Value Management in Construction P

¥444.55

中图图书旗舰店

Alzwainy Faiq M. Sarhan /2015-07-23 /KS OmniScriptum Publishing

海外直订My Road To Success Is Under Construction: Song Book 《我的成

¥437.00

中华商务进口图书旗舰店

Blake, Robert W. /2014-07-11 /Createspace Independent Publishing Platform

海外直订Patternmaking - A Treatise on the Construction and Appli

¥435.00

中华商务进口图书旗舰店

Shelly, Joseph Atkinson /2008-10-06 /Thomas Press

中国建设年鉴2023Yearbook of China Construction 中国建筑工业出版社 《中国建设年鉴》编

¥448.90定价：¥448.90

映玥星图书专营店

《中国建设年鉴》编委会 编 /2025-02-01 /中国建筑工业出版社

英文原版 时装剪裁：女式夹克的制作指南 Couture Tailoring: A Construction Guide

¥445.00

中图深圳进口图书音像旗舰店

Claire Shaeffer /2021-01-07 /Laurence King

预订Legitimate Targets?: Social Construction,International Law 【全球购】进口原版图书，约3-6周到达国内后发出

¥438.00

书之源外文图书

Dill,Janina /2014-11-24 /Cambridge University Press

预订 STEP-BY-STEP RESUMES For all Construction Trades Position 【全球购】进口原版图书，约3-6周到达国内后发出

¥441.00

书之源外文图书

Salvador,Evelyn U. /2019-09-12 /Westwood Books Publishing

【预订】Tools and Algorithms for the Construction and Analysis o 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030451899 Format 版本 平装-胶订 Pages Number 页数 501页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1610g Language 语种 英语 Book Contents 内容简介 This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems;

¥437.00

中国进口图书旗舰店

暂无作者信息 /2020-04-18 /Springer Berlin Heidelberg

海外直订Tests of the Roebling System of Fire-Proof Construction:

¥434.00

中华商务进口图书旗舰店

Roebling Construction Company /2022-10-26 /Legare Street Press

【3-6周达】Kiddie Lit: The Cultural Construction of Children's L 【全球购】进口原版图书，一般3-6周左右到国内

¥452.00

书之源外文图书

Clark,Beverly Lyon /2005-01-02 /Johns Hopkins University Press

海外直订医药图书A new Treatise of the Construction and use of the Se

¥448.00

中华商务进口图书旗舰店

Cunn /2018-04-23 /Gale Ecco, Print Editions

Hygrothermics Fundamentals of Climate Adaptive Bamboo Constr 可开发票 联系在线客服索取

¥460.58定价：¥460.58

四季昌盛图书专营店

黄祖坚 /2022-03-01 /科学出版社

Hygrothermics Fundamentals of Climate Adaptive Bamboo Constr 正版可开发票 请联系在线当当客服

¥453.46定价：¥453.46

馨悦图书专营店

黄祖坚 /2022-03-01 /科学出版社

海外直订Wooden Box and Crate Construction 木箱和板条箱构造

¥448.00

中华商务进口图书旗舰店

Laboratory, Forest Products /2022-10-26 /Legare Street Press

海外直订Automobile Engineering - A Home-Study Course and General

¥448.00

中华商务进口图书旗舰店

Kuns, Ray F. /2012-04-05 /Ferrero Press

按需印刷Design and Heritage:The Construction of Identity and Bel 预订，预计下单后3-4周左右发货！

¥454.00

上海外文书店旗舰店

* /2021-12-30 /Taylor & Francis Ltd

预订 Sierra Challenge: The Construction of the Chihuahua Al Pa 【全球购】进口原版图书，约3-6周到达国内后发出

¥450.00

书之源外文图书

Burgess,Glenn；Burgess,Don /2013-06-01 /Barranca Press

预订 British Locomotives: Their History, Construction, and Mod 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥453.00

书之源外文图书

Cooke,Charles John Bowen /2018-10-10 /Franklin Classics

【3-6周达】Apparel: Design, Textiles & Construction [ISBN:978163 【全球购】进口原版图书，一般3-6周左右到国内

¥447.00

书之源外文图书

Henke-Konopasek,Nancy /2016-09-28 /Goodheart-Wilcox Publisher

海外直订The Half Timber House Its Origin Desigh Modern Plan And

¥448.00

中华商务进口图书旗舰店

Jackson, Allen W. /2022-10-26 /Legare Street Press

海外直订Special (bLACK_bOX) Theory of re-CONSTRUCTION: "("aYe!")

¥449.74

中华商务进口图书旗舰店

Martin, Stanley /2008-01-11 /Lulu Press

海外直订Automobile Engineering - A Home-Study Course and General

¥448.00

中华商务进口图书旗舰店

Kuns, Ray F. /2012-04-05 /Fisher Press

【3-6周达】Disabled Upon Arrival: Eugenics, Immigration, and the 【全球购】进口原版图书，一般3-6周左右到国内

¥450.00

书之源外文图书

Dolmage,Jay Timothy /2018-03-01 /Ohio State University Press

【正版现货】中国建设年鉴 2021 Yearbook of China Construction978711227122 【本店支持开发票 如需帮助请联系客服】

¥461.00定价：¥461.00

善水图书专营店

不详 /不详

海外直订Electric Railway Motors: Their Construction, Operation a

¥448.00

中华商务进口图书旗舰店

Perry, Nelson Williiam /2022-10-26 /Legare Street Press

预订 Franco Stella: The Berlin Castle - Humboldt Forum: Constr 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥449.00

书之源外文图书

Stella,Franco /2023-04-25 /Wasmuth

海外直订Practical Instructions Relating to the Construction and

¥445.76

中华商务进口图书旗舰店

Crosby Steam Gage and Valve Company /2023-07-17 /Legare Street Press

预订 Modern Machine Shop Tools, Their Construction, Operation 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥462.00

书之源外文图书

Van Dervoort, William H. /2008-11-04 /Woods Press

海外直订Wood-Framed Shear Wall Construction--an Illustrated Guid

¥458.00

中华商务进口图书旗舰店

Matteson, Thor /2011-09-29 /Thor Matteson

海外直订QblocksPro iDetails: Graphic Reference Interior Construc

¥452.12

中华商务进口图书旗舰店

Popkin, E. /2010-01-09 /Createspace Independent Publishing Platform

预订 Modern American Locomotive Engines Their Design, Construc 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥462.00

书之源外文图书

Edwards, Emory /2013-10-04 /Book on Demand Ltd.

预订 Drawing for Landscape Architects 2: Construction and Desi 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥459.00

书之源外文图书

Wilk,Sabrina /2020-09-01 /Dom Publishers

Chair Anatomy: Design and Construction/椅子解剖：设计和建造 正版图书，实体店销售，可出清单，可开发票

¥458.00定价：¥458.00

华清智鉴图书专营店

James Orrom /2020-07-30 /Thames & Hudson

预订 Tools and Algorithms for the Construction and Analysis of 国外库房发货，通常付款后3-5周到货

¥459.00

中国进口图书旗舰店

2026-06-17 /Springer Berlin Heidelberg