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

¥1325

中华商务进口图书旗舰店

Dong, Jin Song /2003-10-26 /Springer

【预订】Bootstrap Methods: With Applications in R 9783030734824 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030734824 Author 作者 Dikta Gerhard Format 版本 平装-胶订 Pages Number 页数 256页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.58 Shipping Weight 商品重量 0.85 Language 语种 其它（含多语）

¥851.00

中国进口图书旗舰店

Dikta Gerhard /Springer

【3-6周达】Novel Methods for Pyrrole Synthesis [ISBN:97838433636 【全球购】进口原版图书，一般3-6周左右到国内

¥903.00

书之源外文图书

Mathew, Paulson /2010-10-27 /LAP Lambert Academic Publishing

【预售 按需印刷】Models and methods used in the analysis o 北京发货，付款后10天内发货

¥1239

中图图书旗舰店

Dominik Lutter /2010-06-26 /KS OmniScriptum Publishing

预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内

¥663.00

书之源外文图书

Pelto,Pertti J. /2017-03-05 /Routledge

海外直订Formal Methods and Stochastic Models for Performance Eva

¥662.00

中华商务进口图书旗舰店

Wolter, Katinka /2007-09-30 /Springer

【3-6周达】Methods in Pharmacology: Volume 4a Renal Pharmacology 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2012-02-05 /Springer

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

¥1362

书之源外文图书

Simpson,Arnold /2013-12-31 /Palgrave

【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program

¥985.00

中国进口图书旗舰店

Peter Knabner /2021-09-24 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

¥1094

中国进口图书旗舰店

暂无作者信息 /2023-03-20 /Springer Berlin Heidelberg

预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它（含多语） Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa

¥1537

中国进口图书旗舰店

Alfredo Vaccaro /2023-07-06 /Wiley-IEEE Press

预订 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周达】Payment Methods and Finance for International Trade ( 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

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

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol

¥1233

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-11 /Springer

海外直订Formal Methods: Applications and Technology: 11th Intern

¥662.00

中华商务进口图书旗舰店

Brim, Lubos /2007-02-28 /Springer

海外直订Formal Methods and Object Technology 形式化方法与对象技术

¥1325

中华商务进口图书旗舰店

Goldsack, Stephen J. /1996-04-25 /Springer

海外直订医药图书Methods and Results of Liver Biopsy 肝活检方法及结果

¥1412

中华商务进口图书旗舰店

Foster, Amelia /2015-03-26 /Foster Academics

海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C

¥1742

中华商务进口图书旗舰店

Schrauf, Robert W. /2016-12-07 /Cambridge University Press

英文原版 Sieve Methods Exponential Sums and their Applications i

¥939.00

华研外语旗舰店

G. R. H. Greaves /1997-01-30 /Cambridge

【3-6周达】Test Methods for the Quality Assurance During the Pro 【全球购】进口原版图书，一般3-6周左右到国内

¥872.00

书之源外文图书

Laabidi,Selmen /2015-07-10 /Grin Verlag

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

¥1170

中国进口图书旗舰店

Joseph Abramson,Z. H.Abramson /1988-08-08 /Wiley; 6

【预订】Stochastic Methods For Pension Funds 美国库房发货，通常付款后3-5周到货！

¥2453

中国进口图书旗舰店

Pierre De Volder,JacquesJanssen,Raimondo /1988-08-08 /Wiley-ISTE; 1

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

¥1974

书之源外文图书

Woodhoo, Ashwin /2018-06-16 /Humana

【3-6周达】P-Adic Methods and Their Applications [ISBN:978019853 【全球购】进口原版图书，一般3-6周左右到国内

¥1000

书之源外文图书

Baker,Andrew J;Plymen,Roger J /1992-03-19 /Clarendon Press

【3-6周达】Research Methods in Social Studies Education: Contemp 【全球购】进口原版图书，一般3-6周左右到国内

¥816.00

书之源外文图书

Barton,Keith Keith /2006-01-01 /Information Age Publishing

【预订】Advanced Methods for Human Biometrics 9783030819811 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030819811 Author 作者 Nabil Derbel Format 版本 精装 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-29 Language 语种 其它（含多语） Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry methods for students, engineers, designers, and technicians.

¥1314

中国进口图书旗舰店

Nabil Derbel /2021-09-29 /Springer Berlin Heidelberg

【预订】Research Methods for Student Radiographers 9780367558710 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367558710 Author 作者 Hayre Christopher M. Format 版本 精装 Pages Number 页数 190页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an holistic picture of the application of research in radiography and focuses on multivariant methodological approaches and practices. It will provide readers insight into both contemporary and innovative methods within radiography research, backed up with evidence-based literature. This book may also be translated into other health disciplines as it introduces research to the reader by detailing terms that can often be confusing for students. These remain central in understanding the importance of research in radiography and how the generation of new knowledge is obtained. This will be supported with subsequent chapters concerning the literat

¥2613

中国进口图书旗舰店

Hayre Christopher M. /2021-09-28 /CRC Press

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

Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.

¥1276

中国进口图书旗舰店

Victor J. Law /2013-03-05 /CRC Press

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

Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.

¥2306

中国进口图书旗舰店

Robert S. Matson /2009-01-20 /CRC Press

海外直订Tensor Methods in Statistics: Monographs on Statistics a

¥840.00

中华商务进口图书旗舰店

McCullagh, P. /2017-11-28 /CRC Press

【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

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

Product Details 基本信息 ISBN-13 书号 9783319946757 Author 作者 Di Pietro Format 版本 精装 Pages Number 页数 230页 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This volume gathers contributions from participants of the Introductory School and the IHP thematic quarter on Numerical Methods for PDE, held in 2016 in Cargese (Corsica) and Paris, providing an opportunity to disseminate the latest results and envisage fresh challenges in traditional and new application fields. Numerical analysis applied to the approximate solution of PDEs is a key discipline in applied mathematics, and over the last few years, several new paradigms have appeared, leading to entire new families of discretization methods and solution algorithms. This book is intended for researchers in the field.

¥1095

中国进口图书旗舰店

Di Pietro /2018-08-22 /暂无出版社信息

海外直订Formal Methods for Software Architectures: Third Interna

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2003-09-11 /Springer

海外直订Direct Methods for Limit States in Structures and Materi

¥1203

中华商务进口图书旗舰店

Spiliopoulos, Konstantinos /2015-08-24 /Springer

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

¥1105

书之源外文图书

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

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

¥585.00

书之源外文图书

Beckert Bernhard /2013-01-03 /Springer

海外直订Formal Methods in Computer-Aided Design: First Internati

¥662.00

中华商务进口图书旗舰店

Srivas, Mandayam /1996-10-22 /Springer

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

Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g 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 s

¥1753

中国进口图书旗舰店

暂无作者信息 /2021-10-22 /Springer Berlin Heidelberg

预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi

¥553.35

中图图书旗舰店

2021-02-25 /taylor

【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内

¥703.00

书之源外文图书

Hall,Ralph P. /2020-04-02 /Sage Publications Ltd

预售 按需印刷 Methods for Analyzing and Leveraging Onlin分析和利用在线学习数 北京发货，付款后10天内发货

¥1074

中图图书旗舰店

Hai-Jew, Shalin /2018-10-05 /IGI出版社

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

¥486.00

书之源外文图书

2016-02-03 /Springer

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

¥1298

书之源外文图书

Gorska,Magdalena M.; /2023-07-02 /Humana

预订 Direct Methods for Solving Macromolecular Struc [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2105

书之源外文图书

Fortier,S. /2010-12-15 /Springer

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

【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

海外直订Ford Methods and the Ford Shops 福特方法和福特商店

¥584.00

中华商务进口图书旗舰店

Arnold, Horace Lucien /2014-08-06 /Literary Licensing, LLC

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

¥2651

中华商务进口图书旗舰店

Bowman, Howard /1997-06-29 /Springer

海外直订Agile Methods: 11th Brazilian Workshop, Wbma 2021, Virtu

¥861.00

中华商务进口图书旗舰店

Rocha, Carla /2023-01-31 /Springer

预订 按需印刷 Methods in Chemosensory Research

Written by world experts in the field of neuronal chemoreception, Methods in Chemosensory Research describes new molecular, electrophysiological, genetic, behavioral, psychophysical, and imaging techniques that have recently been adapted to investigate the basic neuronal mechanisms underlying chemoreception: taste, olfaction and chemical-induced irritation. This unique book includes a wide variety of new and innovative imaging methods, electrophysiological methods, methods to investigate development, and various aspects of behavioral testing. Covering the entire spectrum of chemoreception, each section not only describes what information can be obtained by using each method, but also shows how to apply each method to obtain reliable results. The book presents a comprehensive view of how the brain uses information about chemical stimuli that interact with receptors in the nose and tongue. Methods in Chemosensory Research gives you the new tools to learn how chemicals affect activity from the genetic to

¥2047.65

中图图书旗舰店

2001-09-26 /taylor

预订 New Methods for Evaluating One-Loop Corrections of Multi- 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥626.00

书之源外文图书

Biedermann, Benedikt /2013-01-24 /Logos Verlag Berlin

预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1816

书之源外文图书

Smith, Scott F. /2012-08-01 /Springer

3-6周达 Rapid Methods for Analysis of Biological Materials in 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥577.00

书之源外文图书

Peter J. Stopa; Michael A. Bartoszcze /2011-09-22 /Springer Netherlands