【预订】Interferon Methods and Protocols Y9781617375545 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Daniel J. J. Carr /1988-08-08 /Humana Press Inc.; 1st ed.Softcover of orig. ed. 2

【3-6周达】New Methods of Polymer Synthesis: Volume 2 [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Sànchez,NormaG.;Eastmond,G.C. /2012-10-21 /Springer

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

¥1684

书之源外文图书

Doolan, Denise L. /2002-06-28 /Humana

预订 Novel Methods and Applications for Mineral Exploration, V 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥823.00

书之源外文图书

Alexandre,Paul /2024-03-25 /Mdpi AG

【3-6周达】Modern Methods of Statistical Analysis of Medical Dat 【全球购】进口原版图书，一般3-6周左右到国内

¥1006

书之源外文图书

Trukhacheva,Nina /2014-11-14 /Logos Verlag Berlin

【预售 按需印刷】Inventory Methods in LCA

¥775.20

中图图书旗舰店

Andreas Ciroth /2008-05-08 /KS OmniScriptum Publishing

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

¥704.00

书之源外文图书

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

预订 神经遗传学方法Methods in Genomic Neuroscience [ISBN:978084932397 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Chin,Hemin R.;Moldin,Steven O. /2001-09-26 /CRC Press

【预订】Advanced Methods for Processing and Visualizing the Rene 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811586057 Format 版本 精装 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-27 Language 语种 英语 Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a single axis and a fixed axis solar tracker, seismic inversion enhanced oil recovery, viability of a PV system and constr

¥1753

中国进口图书旗舰店

暂无作者信息 /2020-12-27 /Springer Berlin Heidelberg

【预订】Research Methods for Applied Language Studies: An Advanc 美国库房发货，通常付款后3-5周到货！

¥603.00

中国进口图书旗舰店

Ross, Steven John /1988-08-08 /Routledge

【预订】Research Methods in Sociolinguistics: A Practical Guide& 美国库房发货，通常付款后3-5周到货！

¥658.00

中国进口图书旗舰店

Holmes, Janet /1988-08-08 /Wiley-Blackwell

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

【预订】Standard Methods Of Chemical Analysis; Volume 2 97810187 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781018785196 Author 作者 Anonymous(作者) Format 版本 精装 Pages Number 页数 642页 Publisher 出版社 Legare Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.38 Shipping Weight 商品重量 2.35磅 Language 语种 其它（含多语）

¥600.00

中国进口图书旗舰店

Anonymous(作者) /Legare Street Press

【预订】Research Methods in Sociolinguistics: A Practical Guide 美国库房发货，通常付款后3-5周到货！

¥1523

中国进口图书旗舰店

Holmes, Janet /1988-08-08 /Wiley-Blackwell

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

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

¥2588

中国进口图书旗舰店

Bailey, Jon S. /1988-08-08 /Sage Publications (CA)

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

¥1684

书之源外文图书

Nielsen Henrik /2017-04-30 /Humana

预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1095

书之源外文图书

Begehr, Heinrich /2011-12-08 /Springer

【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内

¥689.00

书之源外文图书

Nicholls,James /2018-05-07 /de Gruyter

预订Research Methods: A Tool for Life [ISBN:9781108470841] 【全球购】进口原版图书，约3-6周到达国内后发出

¥1184

书之源外文图书

2018-11-22 /Cambridge University Press

【3-6周达】New Methods, Mechanisms and Models of Vapor Depositio 【全球购】进口原版图书，一般3-6周左右到国内

¥547.00

书之源外文图书

Wadley, Haydn N. G. /2000-09-25 /Cambridge University Press

【3-6周达】高被引Java Methods for Financial Engineering: Applicatio 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Barker Philip /2010-10-13 /Springer

预订 蓝藻研究方法 Methods in Cyanobacterial Research [ISBN:978103249 【全球购】进口原版图书，一般5-8周左右到国内

¥1569

书之源外文图书

Singh,Shailendra Pratap,Sinha,Rajeshwar /2024-06-14 /CRC Press

预订 Linear Methods: A General Education Course [ISBN:97811380 【全球购】进口原版图书，一般5-8周左右到国内

¥1256

书之源外文图书

Hecker,David /2018-08-11 /CRC Press

预订 Design Methods and Practices for Research of Project Mana 国外库房发货，通常付款后3-5周到货

¥542.00

中国进口图书旗舰店

2024-05-23 /Routledge

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

¥635.00

中国进口图书旗舰店

Anne E. Haxthausen; Wendelin Serwe /2024-09-09 /Springer Berlin Heidelberg

预订 Key Methods in Geography 地理学的关键方法: 9781529772098 国外库房发货，通常付款后3-5周到货

¥1154

中国进口图书旗舰店

2023-04-12 /Sage

预订 Entropy Methods for Diffusive Partial Differential Equati 国外库房发货，通常付款后3-5周到货

¥821.00

中国进口图书旗舰店

Jüngel /2016-06-27 /Springer Internation

海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式

¥490.00

中华商务进口图书旗舰店

No /2015-05-26 /Springer International Publishing AG

【3-6周达】Design Methods and Applications for Distributed Embed 【全球购】进口原版图书，一般3-6周左右到国内

¥1254

书之源外文图书

Kleinjohann, Bernd, Gao, Guang R., Kopet /2004-07-01 /Springer

3-6周达 Formal Methods for Protocol Engineering and Distribute 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥2767

书之源外文图书

Jianping Wu; Samuel T. Chanson; Quiang G /2013-04-18 /Springer US

【3-6周达】Modern Methods of Construction Design: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内

¥3212

书之源外文图书

Sevĉik, Ladislav ; Lepsík, Petr ; P /2014-04-16 /Springer

预订 Design Methods and Practices for Research of Project Mana 【全球购】进口原版图书，一般5-8周左右到国内

¥2589

书之源外文图书

Pasian, Beverly; Turner, Rodney /2017-06-28 /Routledge

【预售 按需印刷】Functional Methods for the Solution of One-Dimensio

¥1161.95

中图图书旗舰店

Tobias Wirth /2011-02-13 /KS OmniScriptum Publishing

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

Product Details 基本信息 ISBN-13 书号 9783540474609 Author 作者 Liu Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-24 Language 语种 英语

¥1095

中国进口图书旗舰店

Liu /2006-10-24 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783642245589 Author 作者 Qin Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

¥548.00

中国进口图书旗舰店

Qin /2011-10-15 /Springer Berlin Heidelberg

【预订】Formal Methods for Components and Objects 9783540291312 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540291312 Author 作者 de Boer Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a co

¥548.00

中国进口图书旗舰店

de Boer /2005-09-19 /Springer Berlin Heidelberg

预订Bayesian Methods in Statistics:From Concepts to Practice 预订，预计下单后3-6周左右发货！

¥614.00

上海外文书店旗舰店

Slater, Mel /2021-12-02 /SAGE Publications Ltd

海外直订Formal Methods in Databases and Software Engineering: Pr

¥553.00

中华商务进口图书旗舰店

1993-02-23 /Springer

海外直订Formal Methods in Manufacturing Systems: Recent Advances

¥2504

中华商务进口图书旗舰店

Li, Zhiwu /2013-05-30 /Engineering Science Reference

预订 Energy Methods for Free Boundary Problems: Applications t 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1363

书之源外文图书

Antontsev, S. N. /2012-10-23 /Birkhauser

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

¥1151

书之源外文图书

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

【预订】Asymptotic Methods in Quantum Mechanics 9783540672401 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540672401 Author 作者 Patil Format 版本 精装 Pages Number 页数 174页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-04-26 Language 语种 英语 Book Contents 内容简介 Quantum mechanics and the Schrodinger equation are the basis for the de? ion of the properties of atoms, molecules, and nuclei. The development of reliable, meaningful solutions for the energy eigenfunctions of these many? is a formidable problem. The usual approach for obtaining particle systems the eigenfunctions is based on their variational extremum property of the expectation values of the energy. However the complexity of these variational solutions does not allow a transparent, compact deion of the physical structure. There are some properties of the wave functions in some specific, spatial domains, which depend on the general structure of the Schrodinger equation and

¥1095

中国进口图书旗舰店

Patil /2000-04-26 /Springer Berlin Heidelberg

【预订】Unified Methods for Censored Longitudinal Data and Causa 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781441930552 Author 作者 Laan Format 版本 平装-胶订 Pages Number 页数 399页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-05-26 Language 语种 英语 Book Contents 内容简介 During the last decades, there has been an explosion in computation and information technology. This development comes with an expansion of complex observational studies and clinical trials in a variety of fields such as medicine, biology, epidemiology, sociology, and economics among many others, which involve collection of large amounts of data on subjects or organisms over time. The goal of such studies can be formulated as estimation of a finite dimensional parameter of the population distribution corresponding to the observed time- dependent process. Such estimation problems arise in survival analysis, causal inference and regression analysis. This book provides a fundamenta

¥1643

中国进口图书旗舰店

Laan /2011-05-26 /Springer New York

【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540348931 Author 作者 Gorrieri Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.

¥548.00

中国进口图书旗舰店

Gorrieri /2006-06-09 /Springer Berlin Heidelberg

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

¥2156

书之源外文图书

Kim,Kyeong Kyu;Subramani,Vinod Kumar /2023-04-11 /Humana

预订 Taguchi Methods: Benefits, Impacts, Mathematics, Statisti 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1754

书之源外文图书

Mori, Teruo; Tsai, Shih-Chung /2011-12-01 /American Society of Mechanical Engineers

【3-6周达】Modern Methods of Plant Analysis/Moderne Methoden der 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

K. Paech; M. V. Tracey /2011-12-08 /Springer Berlin Heidelberg

预订Research Methods: Designing and Conducting Research with a 【全球购】进口原版图书，约3-6周到达国内后发出

¥544.00

书之源外文图书

2013-10-09 /Sage Publications, Inc

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

¥1719

中国进口图书旗舰店

Andrew F. Bennett /2003-04-14 /Cambridge University Press

【预订】Spectral Methods in Quantum Field Theory 9783642101168 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783642101168 Author 作者 Noah Graham Middlebury College Dept. Physics Middlebury V Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-22 Shipping Weight 商品重量 308g Language 语种 英语 Book Contents 内容简介 In this monograph we apply scattering theory methods to calculations in quantum eld theory, with a particular focus on properties of the quantum vacuum. These methods will provide e?cient and reliable solutions to a - riety of problems in quantum ?eld theory. Our approach will also elucidate in a concrete context many of the subtleties of quantum ?eld theory, such as divergences, regularization, and renormalization, by connecting them to more familiar results in quantum mechanics. We will use tools of scattering theory to characterize the spectrum of energyeigenstatesinapoten

¥548.00

中国进口图书旗舰店

Noah Graham Middlebury College Dept.... /2010-10-22 /Springer Berlin Heidelberg

【3-6周达】Formal Methods in Architecture: Proceedings of the 5t 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Eloy, Sara ; Leite Viana, David ; Morais /2022-01-19 /Springer

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

¥585.00

书之源外文图书

Aldini, Alessandro /2010-06-11 /Springer

按需印刷New Methods and Paradigms for Modeling Dynamic Processes 预订，预计下单后2-3周左右发货！

¥2693

上海外文书店旗舰店

Stepan Mykolayovych Bilan /IGI Global

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

¥1588

书之源外文图书

Kim,Kyeong Kyu;Subramani,Vinod Kumar /2024-03-24 /Humana

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

¥3343

中国进口图书旗舰店

Sue Roya /1995-10-13 /CRC Press

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

¥2561

中国进口图书旗舰店

Leonard, Dr Bobby /2000-05-26 /CRC Press

【预订】Numerical Methods of Curve Fitting. P.G. Guest 978110764 美国库房发货，通常付款后3-5周到货！

¥661.00

中国进口图书旗舰店

Alrodhan Mohsen /2012-12-17 /Cambridge University Press

【预订】In Vitro Methods in Developmental Toxicology: Use in Def 美国库房发货，通常付款后3-5周到货！

¥2413

中国进口图书旗舰店

Kimmel, Gary L. /1989-11-30 /CRC Press

【3-6周达】Methods for studying nonlinear boundary value problem 【全球购】进口原版图书，一般3-6周左右到国内

¥676.00

书之源外文图书

Igbolov,Saidmuhammad Ibragimovich /2023-11-29 /Our Knowledge Publishing