按需印刷Merged Methods 预订，预计下单后2-3周左右发货！
¥496.00
海外直订Formal Methods for Industrial Critical Systems: 24th Int
¥662.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Formal Methods for Hardware Verification: 6th Internatio
¥662.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253
按需印刷TF Methods in Human Animal Studies 预订，预计下单后4-6周左右发货
¥2142
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1726
海外直订Modern Methods of Construction and Innovative Materials
¥2572
海外直订Design Methods of Safety-Critical Electronic Automotive
¥829.00
【预订】Numerical Methods for Metamaterial Design 9789400799226 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789400799226 Author 作者 Kenneth Diest Format 版本 平装-胶订 Pages Number 页数 213页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2015-08-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 361g Language 语种 英语 Book Contents 内容简介 This book describes a relatively new approach for the design of electromagnetic metamaterials.? Numerical optimization routines are combined with electromagnetic simulations to tailor the broadband optical properties of a metamaterial to have predetermined responses at predetermined wavelengths.After a review of both the major efforts within the field of metamaterials and the field of mathematical optimization, chapters covering both gradient-based and derivative-free design methods are considered.? Selected topics including surrogate-base optimization, adaptive mesh sear
¥1643
【预订】Current Methods in Muscle Physiology 9780198523970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198523970 Author 作者 Sugi Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1998-01-22 Shipping Weight 商品重量 787g Language 语种 英语 Book Contents 内容简介 Despite extensive physiological, biochemical, and structural studies, the mechanisms of muscle contraction operating in living muscle fibres are still not well understood. This book aims to describe critically various experimental methods currently used in the field of muscle research. For each method discussed, there is a comprehensive de*ion of its advantages, problems, and limitations. Each chapter also contains a summary of the central results to have been obtained using each method. Comprehensively written by experts in their respective fields, this book will be of interest to all investigators with an interest in muscle physiology.
¥2380
海外直订Moment Methods in Antennas and Scattering 天线和散射中的矩量法
¥2256.66
海外直订医药图书Methods In Field Epidemiology 现场流行病学方法
¥2504
海外直订New Methods of Polymer Synthesis 高分子合成的新方法
¥662.00
海外直订Formal Methods for Multicore Programming: 15th Internati
¥559.00
海外直订Modern Methods of Optimization: Proceedings of the Summe
¥662.00
【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货
¥882.00
海外直订Modern Methods in Collisional-Radiative Modeling of Plas
¥1203
【预订】Automatic Methods for the Refinement of System Models 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319414799 Author 作者 Julia Seiter Verden Germany Format 版本 平装-胶订 Pages Number 页数 94页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-07-11 Shipping Weight 商品重量 174g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single de*ion for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated de*ions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement
¥548.00
【预售 按需印刷】Digital Methods in Developing Textile Pro
¥744.60
【预售按需印刷】Effective Methods of Teaching Volume of 3-
¥528.70
【3-6周达】Prions: Methods and Protocols [ISBN:9781493984282] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements
¥1430
【预订】Modeling Methods for Medical Systems Biology: Regulatory 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030077488 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1095
【预售 按需印刷】H Methods for Control and State Estimation of Nonli
¥820.25
【预订】Concepts, Methods and Applications of Quantum Systems in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319745817 Author 作者 Wang Format 版本 精装 Pages Number 页数 446页 Publication Date 出版日期 2018-05-05 Language 语种 英语 Book Contents 内容简介 This edited, multi-author volume contains selected, peerreviewed contributions based on the presentations given at the 21th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP-XXI), held in?Vancouver, Canada, in July 2016.?This book is primarily aimed at scholars, researchers and graduate students working at universities and scientific laboratories and interested in the structure, properties, dynamics and spectroscopy of atoms, molecules, biological systems and condensed matter.
¥1643
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥1108
海外直订Modern Methods of Development 现代发展方法
¥750.23
【预订】Modern Methods in Collisional-Radiative Modeling of Plas 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319801582 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-18 Language 语种 英语
¥1095
海外直订The Methods of Distances in the Theory of Probability an
¥2253
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651
预订 Modern Methods in Solid-State NMR: A Practitioner's Guide 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2090
【3-6周达】Novel Methods for Near Lossless Compression for Medic 【全球购】进口原版图书，一般3-6周左右到国内
¥810.00
【预订】Clustering Methods for Big Data Analytics 9783319978635 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319978635 Author 作者 Nasraoui Format 版本 精装 Publication Date 出版日期 2018-11-22 Language 语种 英语 Book Contents 内容简介 This book highlights the state of the art and recent advances in Big Data clustering methods and their innovative applications in contemporary AI-driven systems. The book chapters discuss Deep Learning for Clustering, Blockchain data clustering, Cybersecurity applications such as insider threat detection, scalable distributed clustering methods for massive volumes of data; clustering Big Data Streams such as streams generated by the confluence of Internet of Things, digital and mobile health, human-robot interaction, and social networks; Spark-based Big Data clustering using Particle Swarm Optimization; and Tensor-based clustering for Web graphs, sensor streams, and social networks. The chapters in the book include a balanced coverage of big data clustering
¥1643
海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene
¥576.00
【预订】Kernel Methods for Machine Learning with Math and Python 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811904004 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 208页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book.The mathematical premises of kernels are proven
¥492.00
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086588 Author 作者 Georges-Henri Cottet Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-21 Language 语种 其它（含多语） Book Contents 内容简介 This monograph is devoted to the study of Eulerian models for fluid-structure interaction from the original point of view of level set methods.In the last 15 years, Eulerian models have become popular tools for studying fluid-structure interaction problems. One major advantage compared to more conventional methods such as ALE methods is that they allow the use of a single grid and a single discretization method for the different media. Level set methods in addition provide a general framework to follow the fluid-solid interfaces, to represent the elastic stresses of solids, and to model the contact forces between solids.This book offers a combina
¥1095
【预订】Research Methods in Building Science and Technology 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030736941 Author 作者 Rahman Azari Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book covers the range of methodological approaches, methods and tools currently used in various areas of building science and technology research and addresses the current lack of research-method literature in this field. The book covers the use of measurement-based methods in which data is collected by measuring the properties and their variations in ‘actual’ physical systems, simulation-based methods which work with ‘models’ of systems or processes to describe, examine and analyze their behaviors, performances and operations, and data-driven methodologies in which data is collected via measurement or simulation to identify and exami
¥2409
【预订】Formal Methods for Software Engineering: Languages, Meth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030388027 Author 作者 Roggenbach Markus Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-07 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.70 Language 语种 其它（含多语）
¥603.00
【预订】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
【3-6周达】Lattice Methods for Multiple Integration [ISBN:978019 【全球购】进口原版图书，一般3-6周左右到国内
¥1414
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【3-6周达】Fusion Methods for Time-Series Classification [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
【3-6周达】Xenopus: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【预订】Modern Methods in Orchid Conservation 9780521372947 国外库房发货, 通常付款后12-16周到货
¥1454
【预订】Numerical Methods in Finance with C++ 9780521177160 国外库房发货, 通常付款后12-16周到货
¥502.00
【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！
¥2100
【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货
¥758.44
【预订】Zebrafish: Methods and Protocols 9781071634004 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071634004 Format 版本 精装 Pages Number 页数 198页 Publisher 出版社 Humana Publication Date 出版日期 2023-09-04 Language 语种 其它（含多语）
¥2409
Research Methods in Second Language Acquisition - a Practic.
Product Details 基本信息 ISBN-13 书号 9781444334272 Author 作者 Alison Mackey Format 版本 平装-胶订 Pages Number 页数 334页 Publication Date 出版日期 2011-12-02 Language 语种 英语 Book Contents 内容简介 "Research Methods in Second Language Acquisition: A Practical Guide"is an informative guide to research design and methodology for graduate students and scholars. Each chapter of this volume offers background, step-by-step guidance, and relevant studies t
¥576.00
【预订】Automated Methods in Cryptographic Fault Analysis 978303 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030113322 Author 作者 Breier Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2019-04-14 Language 语种 英语 Book Contents 内容简介 This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
¥1095
【预订】Clustering Methods for Big Data Analytics: Techniques, T 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030074197 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1643
海外直订Formal Methods and Software Engineering: 6th Internation
¥1325
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥740.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1605
【预订】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.
¥2590
【预订】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
【预订】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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车