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

¥1684

书之源外文图书

Tu, Yu-Kang, Greenwood, Darren C. /2014-04-16 /Springer

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

¥585.00

书之源外文图书

Lau, Kung-Kiu /2005-12-01 /Springer

Analytical methods for food safety by mass spectrometry 庞国芳

¥710.70定价：¥788.00 (9.02折)

辽宁新华书店旗舰店

2019-11-01 /化学工业出版社

【3-6周达】Research Methods for English Studies [ISBN:9780748683 【全球购】进口原版图书，一般3-6周左右到国内

¥564.00

书之源外文图书

Griffin,Gabriele /2013-09-13 /Edinburgh University Press

【3-6周达】Digital Methods and Remote Sensing in Archaeology: Ar 【全球购】进口原版图书，一般3-6周左右到国内

¥1781

书之源外文图书

Forte,Maurizio;Campana,Stefano /2017-02-20 /Springer

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

¥512.00

中国进口图书旗舰店

Kupper /1988-08-08 /Birkhauser

【预订】Biological Methods of Waste Treatment and Management in 美国库房发货，通常付款后3-5周到货！

¥1255

中国进口图书旗舰店

Tharakan, John /1988-08-08 /VDM Verlag

按需印刷DGYT Methods in Empirical Prosody Research 预订，预计下单后3-6周左右发货！

¥1552

上海外文书店旗舰店

Stefan Sudhoff /De Gruyter

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

¥855.00

中图图书旗舰店

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

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

¥2120

中华商务进口图书旗舰店

Ehrhardt, Matthias /2017-10-17 /Springer

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

¥662.00

中华商务进口图书旗舰店

Davies, Jim /2011-03-22 /Springer

【3-6周达】Soft Methods for Handling Variability and Imprecision 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

2008-10-01 /Springer

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

¥1202

书之源外文图书

Jones,Meinir G.; Lympany,Penny /2010-11-09 /Humana

海外直订Formal Methods for Open Object-Based Distributed Systems

¥2651

中华商务进口图书旗舰店

Ciancarini, Paolo /2013-01-16 /Springer

海外直订Mesh Methods for Boundary-Value Problems and Application

¥1672

中华商务进口图书旗舰店

Badriev, Ildar B. /2022-09-14 /Springer

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法

¥2067

中华商务进口图书旗舰店

Curry, Patricia B. /1995-09-29 /Springer

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

¥585.00

书之源外文图书

Aoki, Toshiaki /2012-09-19 /Springer

【3-6周达】Applied Methods of Cost-Benefit Analysis in Health Ca 【全球购】进口原版图书，一般3-6周左右到国内

¥922.00

书之源外文图书

McIntosh,Emma;Clarke,Philip;Frew,Emma;Lo /2010-06-01 /Oxford University Press

【3-6周达】Methods in Cancer Stem Cell Biology [ISBN:97898199133 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

Afify,Said M.;Seno,Masaharu /2024-05-28 /Springer

【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周达】Taguchi Methods for Robust Design [ISBN:9780791801574 【全球购】进口原版图书，一般3-6周左右到国内

¥955.00

书之源外文图书

Wu, Yuin /2000-06-08 /American Society of Mechanical Engineers

海外直订Basic Methods and Protocols on Sourdough Basic Methods a

¥1872

中华商务进口图书旗舰店

Gobbetti, Marco /2024-02-19 /Humana

【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.

¥1967

中国进口图书旗舰店

Santanu Saha Ray and Arun Kumar Gupta /2018-01-24 /暂无出版社信息

【预售 按需印刷】Numerical Methods For Simulation

¥1101.6

中图图书旗舰店

de Saporta /2015-11-27 /John Wiley & Sons

【预订】Formal Methods for Distributed System Development 978079 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780792379683 Author 作者 Bolognesi Format 版本 精装 Pages Number 页数 412页 Publisher 出版社 Springer US Publication Date 出版日期 2000-09-30 Language 语种 英语 Book Contents 内容简介 th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --’Fonna! Methods? Implementation Under Test’ --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM’s), with their conflicts between evangelistic and agnostic attitudes, with their over? optimistic applications t

¥2190

中国进口图书旗舰店

Bolognesi /2000-09-30 /Springer US

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

Product Details 基本信息 ISBN-13 书号 9783540709510 Author 作者 Lubos Brim Format 版本 平装-胶订 Pages Number 页数 366页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-20 Language 语种 英语 Book Contents 内容简介 These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency Theory that was or- nized in Bonn, August 2006. The FMICS workshop continued successfully the aim of the FMICS working group – to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. The emphasis in these workshops is on the exchange of ideas

¥548.00

中国进口图书旗舰店

Lubos Brim /2007-02-20 /Springer Berlin Heidelberg

【预订】Separation Methods In Microanalytical Systems 9780367578 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367578039 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Focusing on what has been one of the driving forces behind the development of lab-on-a-chip devices, Separation Methods in Microanalytical Systems explores the implementation, realization, and operation of separation techniques and related complex workflows on microfabricated devices. The book details the design, manufacture, and integration of diverse components needed to perform an entire analytical procedure on a single miniaturized device. The content applies to a diversity of disciplines including chemical analysis, biomedical diagnostics, environmental monitoring, and drug discovery. Separation Methods in Microanalytical Systems lays its theoretical background in a

¥611.00

中国进口图书旗舰店

暂无作者信息 /2020-06-30 /CRC Press

【预订】Numerical Methods in Electromagnetics 9780444513755 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780444513755 Author 作者 SCHILDERS Format 版本 精装 Pages Number 页数 928页 Publisher 出版社 North-Holland Publishing Co. Publication Date 出版日期 2005-05-01 Shipping Weight 商品重量 1630g Language 语种 英语 Book Contents 内容简介 Electromagnetics, Signal Processing and Communications; Numerical Methods in Engineering

¥4158

中国进口图书旗舰店

SCHILDERS /2005-05-01 /North-Holland Publishing Co.

Numerical Methods for Delay Differential Equations 英文原版 时滞微分

¥675.40

华研外语旗舰店

Alfredo Bellen /2022-06-14 /Oxford

【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内

¥722.00

书之源外文图书

Guo-Qiang Zhang; Rashmie Abeysinghe; Lic /2022-11-09 /Springer International Publishing

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

¥3011

书之源外文图书

Muhamed Suceska /2012-01-01 /Springer New York

【预订】Numerical Methods in Astrophysics: An Introduction (Seri 美国库房发货，通常付款后3-5周到货！

¥1356

中国进口图书旗舰店

Laughlin, G. /2006-12-13 /Taylor & Francis Group

预订 New Methods of Teaching and Learning in Libraries [ISBN:9 【全球购】进口原版图书，约3-6周到达国内后发出

¥1001

书之源外文图书

2016-10-24 /Rowman & Littlefield Publishers

预订 Select Methods in Chemical Analysis: Third Edition: 97833 国外库房发货，通常付款后3-5周到货

¥862.00

中国进口图书旗舰店

2017-05-28 /Hansebooks

【3-6周达】Counting Methods for Nowhere-Zero Flows [ISBN:9783844 【全球购】进口原版图书，一般3-6周左右到国内

¥651.00

书之源外文图书

Kochol, Martin /2011-03-28 /LAP Lambert Academic Publishing

3-6周达 Modern Methods in Scientific Computing and Application 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1213

书之源外文图书

Bourlioux, Anne, Bourlioux, Anne, Gander /2002-09-30 /Kluwer Academic Publishers

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

¥585.00

书之源外文图书

2008-08-01 /Springer

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

¥1105

书之源外文图书

Gossel, Michael /2008-05-09 /Springer

预订 Dynamic Methods and Process Advancements in Mec [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥2381

书之源外文图书

Davim,J. Paulo /2012-05-18 /Engineering Science

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

¥1684

书之源外文图书

Haase, Jan /2013-10-01 /Springer

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

¥1105

书之源外文图书

Maurer, John /2010-11-23 /Springer

预订 Inverse Methods for Atmospheric Sounding: Theory and Prac 【全球购】进口原版图书，一般5-8周左右到国内

¥1019

书之源外文图书

Rodgers,Clive D. /2000-07-17 /World Scientific Publishing Company

【预订】Formal Methods and Software Engineering 9783030024499 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030024499 Author 作者 Sun Format 版本 平装-胶订 Pages Number 页数 474页 Publication Date 出版日期 2018-10-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

¥548.00

中国进口图书旗舰店

Sun /2018-10-11 /暂无出版社信息

海外直订Modern Methods of Construction 现代施工方法

¥829.00

中华商务进口图书旗舰店

Gallagher, Michael /2010-06-10 /VDM Verlag

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

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2007-11-06 /Springer

【3-6周达】Research Methods in the Social Sciences [ISBN:9781429 【全球购】进口原版图书，一般3-6周左右到国内

¥4758

书之源外文图书

Frankfort-Nachmias,Chava;Nachmias,David; /2014-10-17 /Worth Publishers

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

¥2924

书之源外文图书

Liesche, Johannes /2019-06-14 /Humana

【3-6周达】Modern Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Fonseca, Irene; Leoni, Giovann /2010-11-29 /Springer New York

3-6周达 Formal Methods: Industrial Use from Model to the Code 【全球购】进口原版图书，预计3-6周左右到国内

¥1708

书之源外文图书

Boulanger, Jean-Louis /2012-06-18 /Wiley-Iste

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

Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented

¥2315

中国进口图书旗舰店

Rene Husson /2009-05-11 /Wiley-ISTE

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

¥1325

中华商务进口图书旗舰店

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

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

¥784.00

中华商务进口图书旗舰店

Roggenbach, Markus /2022-06-17 /Springer

【预订】Practical Methods in Molecular Biology 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Schleif, Robert F.(作者) /2011-10-09 /Springer

【预订】A Study of Methods for the Determination of Potassium in 美国库房发货，通常付款后3-5周到货！

¥739.00

中国进口图书旗舰店

Hackman, R. G. /2012-08-01 /Biblioscholar

【3-6周达】Payment Methods and Finance for International Trade ( 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Kim, Sang Man /2020-10-01 /Springer

预订 Digital Methods: A Short Introduction 数字方法：简明导论（精装）: 9781 国外库房发货，通常付款后3-5周到货

¥737.00

中国进口图书旗舰店

Tommaso Venturini /2025-06-11 /Polity

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

¥731.00

中国进口图书旗舰店

Fishman, George S. /Harvard University Press

【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

De Boer, Frank S. /2006-09-01 /Springer

预订 Legal Methods 法律方法: 9781509938018 国外库房发货，通常付款后3-5周到货

¥2066

中国进口图书旗舰店

2020-01-09 /Hart Publishing

【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