3-6周达 Novel Methods of Diagnostics of Thyroid and Parathyroi 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥555.00

书之源外文图书

Ruchala, Marek, Szczepanek-Parulska, Ewe /2022-08-17 /Mdpi AG

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

¥1052

书之源外文图书

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

【预订】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

【预售 按需印刷】Lattice Methods for Quantum Chromodynamics 北京发货，付款后10天内发货

¥1182.89

中图图书旗舰店

Thomas Degrand /1970-08-21 /World Scientific Publishing Co Pte Ltd

海外直订Formal Methods and Software Engineering: 9th Internation

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2007-11-06 /Springer

3-6周达 Sieve Methods, Exponential Sums, and Their Application 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥722.00

书之源外文图书

Greaves, G R H ; Harman, G ; H /1997-02-13 /Cambridge University Press

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

¥2100

中国进口图书旗舰店

Whittall /2010-02-01 /Wiley

海外直订医药图书Methods in Pain Research 疼痛研究方法

¥2648

中华商务进口图书旗舰店

No /2001-06-21 /Taylor & Francis Inc

【3-6周达】Formal Methods and Hybrid Real-Time Systems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2007-09-06 /Springer Berlin Heidelberg

海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法

¥1325

中华商务进口图书旗舰店

Gurpide, E. /2012-06-11 /Springer

海外直订Formal Methods for Software Engineering: Languages, Meth

¥936.00

中华商务进口图书旗舰店

Roggenbach, Markus /2022-06-17 /Springer

【3-6周达】Methods of Environmental Data Analysis [ISBN:97894010 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2013-01-03 /Springer

预订 按需印刷 Methods in Medical Informatics

¥686.80

中图图书旗舰店

2018-10-02 /taylor

海外直订Formal Methods for Components and Objects: 10th Internat

¥662.00

中华商务进口图书旗舰店

Beckert, Bernhard /2013-01-02 /Springer

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

¥585.00

书之源外文图书

2015-05-27 /Springer

【3-6周达】Direct Methods in the Theory of Elliptic Equations [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1298

书之源外文图书

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

【预订】Advanced Methods of Structural Analysis 9783030443931 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030443931 Author 作者 Karnovsky Igor A. Format 版本 精装 Pages Number 页数 1336页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-04-01 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into account the advantages and disadvantages of each method and sphere of their effective application. The

¥3042

中国进口图书旗舰店

Karnovsky Igor A. /2021-04-01 /Springer Berlin Heidelberg

3-6周达 Energy Methods and Finite Element Techniques: Stress a 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2420

书之源外文图书

Jweeg,Muhsin ;Al-Waily,Muhannad ;Resan,K /2021-09-28 /Elsevier

3-6周达 AI Methods for Environmental Protection and Resource C 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1876

书之源外文图书

Ben Ltaifa, Monia; Derbali, Abdelkader M /2025-05-08 /IGI Global

【3-6周达】Field Methods for Petroleum Geologists: A Guide to Co 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Assaad,Fakhry A. /2008-10-23 /Springer

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

¥1202

书之源外文图书

Deuflhard, Peter /2010-12-01 /Springer

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥6018

书之源外文图书

Irma /2015-02-18 /Information Science Reference

预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书，一般5-8周左右到国内

¥1052

书之源外文图书

Wang, Jiacun /2019-07-05 /CRC Press

【3-6周达】Formal Methods Teaching: 4th International Workshop a 【全球购】进口原版图书，一般3-6周左右到国内

¥626.00

书之源外文图书

Ferreira, Jo?o F ; Mendes, Alexandra ; M /2021-11-21 /Springer

【3-6周达】Formal Methods for Mining Structured Objects (2013) [ 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Garriga, Gemma C /2013-03-21 /Springer

预订 Modern Methods of Valuation [ISBN:9781138503502] 【全球购】进口原版图书，一般5-8周左右到国内

¥1773

书之源外文图书

Shapiro, Eric; Mackmin, David; Sams, Gar /2019-01-28 /Estates Gazette

【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Baranzini, Andrea; Ramirez, José; Schaer /2008-07-01 /Springer

【3-6周达】General Methods in Biomarker Research and Their Appli 【全球购】进口原版图书，一般3-6周左右到国内

¥5325

书之源外文图书

Preedy, Victor R. /2015-07-13 /Springer

3-6周达 Unique Methods for Analyzing Failures and Catastrophic 【全球购】进口原版图书，预计3-6周左右到国内

¥1209

书之源外文图书

Sofronas, Anthony /2022-06-08 /Wiley

【预订】Fourier Methods In Imaging 美国库房发货，通常付款后3-5周到货！

¥2315

中国进口图书旗舰店

Roger L. Easton Jr. /1988-08-08 /Wiley; 2

预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内

¥2259

书之源外文图书

Meier, Andreas; Donze, Laurent /2011-12-09 /Business Science Reference

按需印刷Energy Methods in Stress Analysis 预订，预计下单后2-3周左右发货！

¥615.00

上海外文书店旗舰店

Kenneth Molton /Momentum Press, LLC

按需印刷New Methods of Computing Radial Distribution Functions o 预订，预计下单后2-3周左右发货！

¥1163

上海外文书店旗舰店

Fred Lado /Dissertation Discovery Company, LLC

海外直订Modern Methods for Affordable Clinical Gait Analysis: Th

¥1626

中华商务进口图书旗舰店

Nandy, Anup /2021-07-29 /Academic Press

【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo

¥1073.55

中图图书旗舰店

Saud Mohammed Al-Fattah (Al-Khaldi) /2011-03-08 /KS OmniScriptum Publishing

【预售 按需印刷】Numerical Methods for Fractal Fractional Differenti 北京直发，付款后10日内发货

Simulations and Modeling

¥1606.5

中图图书旗舰店

Khan, Muhammad Altaf , Atangana, Abdon /2023-05-16 /taylor

【3-6周达】Rapid Methods in Clinical Microbiology: Present Statu 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Kleger, Bruce ,Jungkind, Donald /2011-09-30 /Springer

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

¥1096

书之源外文图书

Marshall Nissim /2010-12-01 /Springer

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

¥1105

书之源外文图书

Klump, G. M. /2012-11-26 /Birkhauser

【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911873 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Manetti,Marco; /2023-08-03 /Springer

预订 Meshfree Methods: Moving Beyond the Finite Element Method 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Liu, G. R. /2009-10-01 /CRC Press

海外直订Toyota Methods and Operating Models: Achieve Business Su

¥719.00

中华商务进口图书旗舰店

Cortiglioni, Stefano /2020-04-27 /Kogan Page

【3-6周达】Mixed Methods Research Pgswrm P [ISBN:9780199747450] 【全球购】进口原版图书，一般3-6周左右到国内

¥644.00

书之源外文图书

Watkins /2016-01-27 /OUP Us

【3-6周达】Formal Methods: Foundations and Applications: 23rd Br 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Carvalho, Gustavo ; Stolz, Volker /2021-01-23 /Springer

预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内

¥950.00

书之源外文图书

Khemani,Deepak /2024-12-19 /Cambridge University Press

按需印刷医药图书Methods in Neuronal Modeling, Second Edition: From I

¥583.00

中华商务进口图书旗舰店

Koch, Christof /2002-12-31 /Bradford Book

【预售 按需印刷】Detection Methods of Organic Acids in Ste

¥911.20

中图图书旗舰店

Arthi Ramrung /2011-04-05 /KS OmniScriptum Publishing

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.

¥2306

中国进口图书旗舰店

Jacek Banasiak /2019-09-02 /Chapman and Hall/CRC

预订 Walking Methods: Research on the Move [ISBN:9781138182486 【全球购】进口原版图书，一般5-8周左右到国内

¥568.00

书之源外文图书

O'Neill,Maggie;Roberts,Brian /2019-07-25 /Routledge

【预订】Formal Methods Teaching 9783030915490 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030915490 Author 作者 Jo?o F. Ferreira Format 版本 平装-胶订 Pages Number 页数 147页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-19 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

¥603.00

中国进口图书旗舰店

Jo?o F. Ferreira /2021-12-19 /Springer Berlin Heidelberg

【预订】Numerical Methods for Engineers 9781584884019 美国库房发货，通常付款后3-5周到货！

¥2305

中国进口图书旗舰店

1条评论

Griffiths, D. V. /1988-08-08 /Chapman & Hall/CRC

【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货，通常付款后3-5周到货！

¥2566

中国进口图书旗舰店

Boulanger, Jean-Louis /1988-08-08 /Wiley-Iste

【预售 按需印刷】Fourier Methods in Imaging

¥1935.45

中图图书旗舰店

Easton /2010-06-16 /John Wiley & Sons

【3-6周达】Some Methods For Estimation Of Small Area Statistics 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Sharma,Manoj Kumar;Sisodia,B. V. S. /2013-10-11 /LAP Lambert Academic Publishing

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

¥2156

书之源外文图书

Agusti,Javier /2023-10-29 /Humana

【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周达】The Methods of Radius-Estimating Techniques for Horiz 【全球购】进口原版图书，一般3-6周左右到国内

¥782.00

书之源外文图书

Ibraheem,Asma Thamir;Yousif,Fatin /2012-06-28 /LAP Lambert Academic Publishing