【3-6周达】Novel Methods for Near Lossless Compression for Medic 【全球购】进口原版图书，一般3-6周左右到国内

¥810.00

书之源外文图书

Chitra, P.; Mary Shanthi Rani, M. /2023-03-07 /LAP Lambert Academic Publishing

【预售 按需印刷】Ultrasonic Methods for Measurement of Sma

¥928.20

中图图书旗舰店

无 /2014-04-15 /Momentum Press, LLC

预订 按需印刷 Methods and Tactics in Cognitive Science

¥1494.3

中图图书旗舰店

W. Kintsch; J. R. Miller; P. G. Polson /2014-01-30 /taylor

预订 按需印刷 Methods in Practical Laboratory Bacteriology

¥2380

中图图书旗舰店

2018-06-30 /taylor

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

¥719.00

中华商务进口图书旗舰店

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

【预售 按需印刷】Research Methods in Communication

¥829.60

中图图书旗舰店

Pring /2004-09-15 /John Wiley & Sons

【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La

¥548.00

中国进口图书旗舰店

Maurice H. ter Beek /2019-09-15 /Springer Berlin Heidelberg

【3-6周达】Organic Methods of Pest Management for Coffee [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥476.00

书之源外文图书

Chhetri Mahesh /2013-03-27 /LAP Lambert Academic Publishing

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

¥535.00

书之源外文图书

Stoelinga Mari?lle /2012-07-17 /Springer

预订 Merged Methods: A Rationale for Full Integration [ISBN:97 【全球购】进口原版图书，约10-12周到达国内后发出

¥2170

书之源外文图书

Giampietro Gobo,Nigel G. Fielding,Gevisa /2021-10-01 /SAGE Publications Ltd

【预订】Formal Methods: Foundations and Applications 97830300304 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030030438 Author 作者 Massoni Format 版本 平装-胶订 Pages Number 页数 271页 Publication Date 出版日期 2018-10-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st BrazilianSymposium on Formal Methods, SBMF 2018, which took place in Salvador,Brazil, in November 2018.The 16 regular papers presented in this book were carefullyreviewed and selected from 30 submissions. The papers are organized in topical sections such as:techniques and methodologies; specification and modeling languages; theoretical foundations;verification and validation; experience reports regarding teaching formal methods; and applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

¥635.00

中国进口图书旗舰店

Massoni /2018-10-24 /暂无出版社信息

【预订】Wavelet Methods for Dynamical Problems 9781439804612 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781439804612 Author 作者 S. Gopalakrishnan and Mira Mitra Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2010-03-17 Shipping Weight 商品重量 566g Language 语种 英语 Book Contents 内容简介 Explaining wavelet transform from a mechanical engineering perspective, this book discusses the numerical solution of structural dynamics and wave propagation problems using wavelet transform methods. After an introduction to signal processing aspects, the text examines the implementation of wavelet transform for simulating the response of a dynamical system and then discusses the development of a wavelet-based simulation scheme for wave propagation analysis. The chapters also address wave propagation analysis of carbon nanotubes and the application of wave propagation studies for structural health monitoring, force identifica

¥960.00

中国进口图书旗舰店

S. Gopalakrishnan and Mira Mitra /2010-03-17 /CRC Press

Kernel Methods and Machine Learning 核方法与机器学习 S. Y. Kung 精装

¥1213

瑞雅图书专营店

2014-04-17 /Cambridge

预订 Models, Methods and Applications of Econometrics 97815578 国外库房发货，通常付款后3-5周到货

¥1010

中国进口图书旗舰店

1993-03-04 /Wiley-Blackwell

【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo,Marco; Cortellessa,Vittorio; Pi /2012-06-14 /Springer

【3-6周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Badriev,Ildar B.;Banderov,Victor;Lapin,S /2023-09-29 /Springer

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

¥585.00

书之源外文图书

Williams,D. C. /2012-11-13 /Springer

3-6周达 Thermal Methods [ISBN:9780128219331] 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Hemmati-Sarapardeh, Abdolhossein /2023-04-28 /Gulf Professional Publishing

3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内

¥2097

书之源外文图书

2014-10-06 /Wiley-Iste

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

¥1988

中华商务进口图书旗舰店

Mijs, W. J. /1992-02-29 /Springer

海外直订Simple Methods to Study Pedology and Edaphology of India

¥986.00

中华商务进口图书旗舰店

Pal, D. K. /2019-01-08 /Springer

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

¥2156

书之源外文图书

Jin, Helena, Sciammarella, Cesar, Furlon /2012-09-23 /Springer

【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi

¥548.00

中国进口图书旗舰店

Antonio Cerone /2023-11-20 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783319793313 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-06 Language 语种 英语

¥624.00

中国进口图书旗舰店

暂无作者信息 /2018-06-06 /Springer

海外直订New Methods of Thought and Procedure: Contributions to t

¥1325

中华商务进口图书旗舰店

Zwicky, F. /2012-03-25 /Springer

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

¥971.00

中华商务进口图书旗舰店

Kruger, Lawrence /2020-04-08 /CRC Press

海外直订Mixed Methods Research Design for the Built Envi... 建筑环境

¥738.00

中华商务进口图书旗舰店

No /2023-11-13 /Taylor & Francis Ltd

海外直订Robust Methods for Dense Monocular Non-Rigid 3D ... 点云密集

¥1070

中华商务进口图书旗舰店

Golyanik, Vladislav /2020-06-04 /Springer Fachmedien Wiesbaden

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

¥585.00

书之源外文图书

Merz, Stephan /2014-09-23 /Springer

【3-6周达】New Methods to Engineer and Seamlessly Reconfigure Ti 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Wisniewski,Lukasz /2017-03-27 /Springer Vieweg

【3-6周达】Antibody Methods and Protocols (2012) [ISBN:978161779 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Proetzel, Gabriele ; Ebersbach, Hilmar /2012-06-23 /Humana

海外直订Data, Methods and Theory in the Organizational Sciences:

¥738.00

中华商务进口图书旗舰店

Murphy, Kevin R. /2022-03-14 /Routledge

海外直订Mixed Methods Research and Culture-Specific Intervention

¥1024

中华商务进口图书旗舰店

Nastasi, Bonnie /2015-07-07 /Sage Publications, Inc

海外直订Kernel Methods for Machine Learning with Math and Python

¥616.00

中华商务进口图书旗舰店

Suzuki, Joe /2022-05-14 /Springer

【预售 按需印刷】BIOLOGICAL METHODS OF WASTE TREATMENT AND 北京发货，付款后10天内发货

¥1123

中图图书旗舰店

John Tharakan /2011-05-01 /KS OmniScriptum Publishing

海外直订Formal Methods for Trustworthy Computer Systems (Fm89):

¥662.00

中华商务进口图书旗舰店

Craigen, Dan /1990-11-18 /Springer

【预售 按需印刷】Taguchi Methods for Robust Design 北京发货，付款后10天内发货

¥655.94

中图图书旗舰店

null /1970-08-20 /ASME Press

【预售 按需印刷】Numerical Methods for Solving Two-Point Boundary Va 北京发货，付款后10天内发货

¥1070.76

中图图书旗舰店

Novriana Sumarti /1970-08-21 /KS OmniScriptum Publishing

预订 Formal Methods, Informally How to Write Programs That Wor 国外库房发货，通常付款后3-5周到货

¥1190

中国进口图书旗舰店

Carroll Morgan /2026-01-01 /Cambridge University Press

【预订】Kras: Methods and Protocols [ISBN:9781071638248] 【全球购】进口原版图书，一般10-12周左右到国内

¥1781

书之源外文图书

Stephen, Andrew G.; Esposito, Dominic /2025-04-04 /Humana

海外直订Novel Methods in Soft Matter Simulations 软物质模拟的新方法

¥662.00

中华商务进口图书旗舰店

Karttunen, Mikko /2004-03-15 /Springer

预订 Formal Methods for Industrial Critical Systems 30th Inter 国外库房发货，通常付款后3-5周到货

¥666.00

中国进口图书旗舰店

2025-08-28 /Springer Berlin Heidelberg

海外直订Mixed Methods Research Design for the Built Envi... 建筑环境

¥2353

中华商务进口图书旗舰店

No /2023-12-07 /Taylor & Francis Ltd

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

¥1120

书之源外文图书

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

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

¥585.00

书之源外文图书

Qin Shengchao /2011-10-12 /Springer

【中商原版】Asymptotic Methods In The Theory Of Plates With Mixed IgorAndrianov

¥1673

中华商务进口图书旗舰店

Igor Andrianov /2014-04-06 /Wiley

【3-6周达】Entropy Methods for Diffusive Partial Differential Eq 【全球购】进口原版图书，一般3-6周左右到国内

¥868.00

书之源外文图书

Jüngel,Ansgar /2016-06-27 /Springer

海外直订Formal Methods: Foundations and Applications: 13th Brazi

¥662.00

中华商务进口图书旗舰店

Davies, Jim /2011-03-22 /Springer

海外直订Novel Methods in Computational Finance 计算金融中的新方法

¥2120

中华商务进口图书旗舰店

Ehrhardt, Matthias /2017-10-17 /Springer

【预售 按需印刷】Analytical methods for studying the stabi 北京发货，付款后10天内发货

¥855.00

中图图书旗舰店

Jasmina Tonic - Ribarska /2011-02-01 /KS OmniScriptum Publishing

【3-6周达】Beyond Methods: Macrostrategies for Language Teaching 【全球购】进口原版图书，一般3-6周左右到国内

¥1004

书之源外文图书

Kumaravadivelu,B. /2002-12-18 /Yale University Press

【3-6周达】New Methods of Computing Radial Distribution Function 【全球购】进口原版图书，一般3-6周左右到国内

¥814.00

书之源外文图书

Lado,Fred /2019-12-08 /Dissertation Discovery Company, LLC

【3-6周达】Research Methods in Neurochemistry: Volume 6 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Marks, Neville /2012-12-12 /Springer

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

¥3842

中国进口图书旗舰店

KotelyanskiiKotelyanskii,Michael J. Kote /1988-08-08 /CRC Press

【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！

¥1623

中国进口图书旗舰店

Patron Editore,SergioCerutti,Carlo March /1988-08-08 /Wiley-Blackwell

【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内

¥727.00

书之源外文图书

Indjin,Dragan /2019-01-23 /Mdpi AG

预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥858.00

书之源外文图书

Stegmaier,Johannes /2020-10-09 /Saint Philip Street Press

【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2008-08-01 /Springer

【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Pal, D K /2019-01-08 /Springer

【3-6周达】Formal Methods in Outer Space: Essays Dedicated to Kl 【全球购】进口原版图书，一般3-6周左右到国内

¥626.00

书之源外文图书

Bartocci, Ezio ; Falcone, Yliès ; Leucke /2021-09-28 /Springer