【3-6周达】Formal Methods for Analyzing Privacy Policies [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1052

书之源外文图书

Dehghantanha, Ali /2011-12-15 /LAP Lambert Academic Publishing

【3-6周达】Boolean Methods in Operations Research and Related Ar 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Hammer, P. L.; Bellmann, R.; Rudeanu, S. /2014-08-23 /Springer

【预订】Tools and Methods of Program Analysis 9783030714710 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030714710 Format 版本 平装-胶订 Pages Number 页数 209页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 690g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and

¥548.00

中国进口图书旗舰店

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

【3-6周达】New Methods and Problems in Fractional Calculus [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥493.00

书之源外文图书

MILICI Constantin /2015-12-22 /LAP Lambert Academic Publishing

【3-6周达】Barley: Methods and Protocols [ISBN:9781493989423] 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Harwood, Wendy A. /2018-11-20 /Humana

【3-6周达】New Methods of Food Preservation [ISBN:9781441951922] 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Gould, Grahame W. /2010-12-07 /Springer

【预订】Modern Methods in Orchid Conservation 9780521372947 国外库房发货, 通常付款后12-16周到货

¥1454

中国进口图书旗舰店

H. W. Pritchard /2004-11-26 /Cambridge University Press

【预订】Numerical Methods in Finance with C++ 9780521177160 国外库房发货, 通常付款后12-16周到货

¥502.00

中国进口图书旗舰店

Maciej J. Capiński /2012-09-30 /Cambridge University Press

【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！

¥2100

中国进口图书旗舰店

Whittall /2010-02-01 /Wiley

【预订】Numerical Methods in Mechanics of Materials 978036788625 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367886257 Author 作者 Ken Chong Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 In the dynamic digital age, the widespread use of computers has transformed engineering and science. A realistic and successful solution of an engineering problem usually begins with an accurate physical model of the problem and a proper understanding of the assumptions employed. With computers and appropriate software we can model and analyze complex physical systems and problems.However, efficient and accurate use of numerical results obtained from computer programs requires considerable background and advanced working knowledge to avoid blunders and the blind acceptance of computer results. This book provides the background and knowledge necessary to avoid these pitfalls, especi

¥686.00

中国进口图书旗舰店

Ken Chong /2020-03-31 /CRC Press

海外直订PCR Methods in Foods 食品中的PCR方法

¥1325

中华商务进口图书旗舰店

Maurer, John /2010-11-22 /Springer

海外直订New Methods Polymer Synthesis 高分子合成新方法

¥662.00

中华商务进口图书旗舰店

Ebdon, J. R. /2012-03-18 /Springer

【3-6周达】Models, Methods, and Tools for Complex Chip Design: S 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Haase, Jan /2013-10-01 /Springer

【3-6周达】Formal Methods and Software Engineering: 10th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Liu, Shaoying /2008-10-08 /Springer

【3-6周达】Methods of Celestial Mechanics: Volume II: Appl [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Beutler,Gerhard /2014-11-30 /Springer

预订 Computer Methods and Recent Advances in Geomechanics [ISB 【全球购】进口原版图书，一般5-8周左右到国内

¥5446

书之源外文图书

Oka, Fusao /2014-10-01 /CRC Press

3-6周达 Kernel Methods and Machine Learning [ISBN:978110702496 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1016

书之源外文图书

Kung, S Y /2014-06-23 /Cambridge University Press

【预订】Direct Methods in the Theory of Elliptic Equations [ISBN 【全球购】进口原版图书，一般10-12周左右到国内

¥1298

书之源外文图书

Jindrich Necas /2011-10-06 /Springer Berlin Heidelberg

3-6周达 土壤酶学方法Methods Of Soil Enzymology [ISBN:9780891188544] 【全球购】进口原版图书，预计3-6周左右到国内

¥1202

书之源外文图书

Richard Dick /2020-02-21 /Wiley

【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Deuflhard,Peter /2005-01-13 /Springer

【3-6周达】Testing Methods for Fault Detection in Electronic Cir 【全球购】进口原版图书，一般3-6周左右到国内

¥953.00

书之源外文图书

Ahmed Rania F. /2014-08-18 /LAP Lambert Academic Publishing

【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Ralchenko Yuri /2016-03-04 /Springer

预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！

¥1194

上海外文书店旗舰店

Jackson, Sherri (Jacksonville University /2020-09-10 /Cengage Learning, Inc

【预订】Simulation Methods for Polymers 9780367446574 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367446574 Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语

¥773.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

【3-6周达】Xenopus: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Inadomi, John M ; Bhattacharya, Renuka ; /2019-12-10 /Humana

【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）

¥2033

中国进口图书旗舰店

J.L. Meek /2017-08-22 /CRC Press

【3-6周达】Formal Methods for Industrial Critical Systems: 23rd 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

【3-6周达】Formal Methods and Software Engineering: 20th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

【3-6周达】Fusion Methods for Time-Series Classification [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥865.00

书之源外文图书

Buza, Krisztian /2000-01-01 /Peter Lang Gmbh, Internationaler Verlag Der W

预订Diary Methods for Social and Personality Psychology [ISBN: 【全球购】进口原版图书，约10-12周到达国内后发出

¥1131

书之源外文图书

Routledge /2012-07-31 /Sage Publications Ltd

社会网络分析模型与方法 英文原版 Models and Methods in Social Network Analys

¥615.00

瑞雅图书专营店

Peter /2005-04-14 /Cambridge

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2002

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-22 /Engineering Science Reference

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

【3-6周达】Formal Methods - The Next 30 Years: Third World Congr 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Ter Beek, Maurice H., McIver, Annabelle, /2019-09-15 /Springer

【3-6周达】PCR Methods in Foods [ISBN:9781441939333] 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Maurer, John /2010-11-23 /Springer

【3-6周达】Formal Methods and Software Engineering: 22nd Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lin, Shang-Wei ; Hou, Zhe ; Mahony, Bren /2021-01-26 /Springer

海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Progno...

¥2476

中华商务进口图书旗舰店

2010-10-03 /Springer

海外直订Formal Methods for Executable Software Models: 14th Inte

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2014-05-20 /Springer

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031086618 Author 作者 Cottet Georges-Henri Format 版本 平装-胶订 Pages Number 页数 197页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语）

¥1095

中国进口图书旗舰店

Cottet Georges-Henri /Springer

预订 Global Methods for Combinatorial Isoperimetric Problems 组 国外库房发货, 通常付款后12-16周到货

¥634.00

中国进口图书旗舰店

L. H. Harper /2010-12-01 /Cambridge University Press

预订 New Methods in Computational Quantum Mechanic/Advances in 国外库房发货，通常付款后3-5周到货

¥6708

中国进口图书旗舰店

1996-04-11 /Wiley-Interscience

海外直订Research Methods for Engineers 工程师的研究方法

¥607.00

中华商务进口图书旗舰店

Thiel, David V. /2014-11-09 /Cambridge University Press

预订 Field Methods in Archaeology: Seventh Edition [ISBN:97815 【全球购】进口原版图书，一般5-8周左右到国内

¥1120

书之源外文图书

Hester,Thomas R.;Shafer,Harry J.;Feder,K /2008-12-01 /Routledge

按需印刷New Methods in Cognitive Psychology 预订，预计下单后2-3周左右发货！

¥1638

上海外文书店旗舰店

* /2019-11-07 /Taylor & Francis Ltd

海外直订医药图书Methods in Pharmacology: Molecular and Cellular Biol

¥1988

中华商务进口图书旗舰店

Glossmann, H. /1993-09-29 /Springer

【预售 按需印刷】Efficient methods for the CELP speech cod 北京发货，付款后10天内发货

¥905.00

中图图书旗舰店

Al-Azzawi Nemir /2015-07-16 /KS OmniScriptum Publishing

【预订】Linguistic Methods Under Fuzzy Information in System Saf 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030933517 Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2022-03-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.56 Shipping Weight 商品重量 1.06 Language 语种 其它（含多语） Book Contents 内容简介 This book reviews and presents a number of approaches to Fuzzy/based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, which will enable readers to implement them into their own risk analysis process. The book begins by giving a review of using linguistic terms in system safety and reliability analysis methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the 2/tuple fuzzy/based linguistic term set approach, fuzzy bow/tie analysi

¥1533

中国进口图书旗舰店

暂无作者信息 /2022-03-11 /Springer Nature Switzerland AG

【3-6周达】Kernel Methods for Machine Learning with Math and R: 【全球购】进口原版图书，一般3-6周左右到国内

¥535.00

书之源外文图书

Suzuki, Joe /2022-05-04 /Springer

【预售 按需印刷】Kernel Methods and Estimation of Extreme

¥906.95

中图图书旗舰店

Xiaodong Jin /2008-12-21 /KS OmniScriptum Publishing

预售 按需印刷 Methods for Detecting Alpha and Beta Conta 北京发货，付款后10天内发货

¥804.00

中图图书旗舰店

Nwosu Obinna /2015-02-02 /KS OmniScriptum Publishing

预订 Various Methods for the Analysis of PDEs 偏微分方程分析的各种方法 978 国外库房发货，通常付款后3-5周到货

¥2298

中国进口图书旗舰店

2026-01-21 /Springer Berlin Heidelberg

海外直订Formal Methods in Standards: A Report from the BCS Worki

¥662.00

中华商务进口图书旗舰店

Ruggles, Clive L. N. /1990-07-30 /Springer

【预售 按需印刷】Training Methods for Older Adults

¥754.80

中图图书旗舰店

Jennifer Wissman /2009-08-05 /KS OmniScriptum Publishing

按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！

¥593.00

上海外文书店旗舰店

* /2020-01-01 /Taylor & Francis Ltd

海外直订The Methods of the Gernet Classicists Pbdirect: The Stru

¥719.00

中华商务进口图书旗舰店

Champagne, Roland /2015-03-15 /Routledge

【预订】Diagnostic Methods in the Cardiac Catheterization 美国库房发货，通常付款后3-5周到货！

¥2846

中国进口图书旗舰店

Pedro A. Lemos,PaulSchoenhagen,Alexandra /1988-08-08 /Informa Healthcare

【3-6周达】Novel Methods and Technologies for Enterprise Informa 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Piazolo, Felix; Felderer, Michael /2014-07-18 /Springer