预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥2122
【3-6周达】Formal Methods and Testing: An Outcome of the Fortest 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Methods for laparoscopic instrument tracking and moti 【全球购】进口原版图书，一般3-6周左右到国内
¥1261
【3-6周达】Research Methods in Neurochemistry: Volume 2 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering: 15th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内
¥2609
【预订】Analytic Methods In Systems And Software Testing 9781119 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119271505 Author 作者 Ron Kenett Format 版本 精装 Pages Number 页数 568页 Publication Date 出版日期 2018-07-11 Language 语种 英语
¥1147
【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书，预计3-6周左右到国内
¥1271
3-6周达 Operator Methods for Boundary Value Problems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥624.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Formal Methods in Architecture and Urbanism, Volume 2 [IS 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥932.00
【3-6周达】Kernel Methods and Hybrid Evolutionary Algorithms in 【全球购】进口原版图书，一般3-6周左右到国内
¥554.00
海外直订Modern Methods of Construction and Innovative Materials
¥752.00
【预订】Research Methods In Psycholinguistics And The Neurobiolo 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119109853 Author 作者 Annette de Groot Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语
¥671.00
【预订】New Methods of Polymer Synthesis: Volume 2 [ISBN:9789401 【全球购】进口原版图书，一般10-12周左右到国内
¥2156
【3-6周达】Formal Methods: Foundations and Applications: 24th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
【预订】Ecological Methods, 4E 9781118895283 美国库房发货，通常付款后3-5周到货！
¥1000
现货 Practical Methods for Analysis and Design of HV Installat
Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d
¥1760
【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be
¥548.00
【预订】Formal Methods 9783030908690 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited
¥1205
海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法
¥2020
【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内
¥674.00
【3-6周达】New Methods in Fixed Income Modeling: Fixed Income Mo 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
【预订】Diagnostic Methods in the Cardiac Catheterization 美国库房发货，通常付款后3-5周到货！
¥2846
预订 神经遗传学方法Methods in Genomic Neuroscience [ISBN:978084932397 【全球购】进口原版图书，一般5-8周左右到国内
¥2589
【预订】Analytical Methods in Nonlinear Oscillations: Approaches 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789402416527 Author 作者 Esmailzadeh Ebrahim Format 版本 平装-胶订 Pages Number 页数 286页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1643
【预订】Models, Methods, and Tools for Complex Chip Design 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319348230 Author 作者 Jan Haase Format 版本 平装-胶订 Pages Number 页数 221页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 440g Language 语种 英语 Book Contents 内容简介 This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
¥1643
预订 Direct Methods for Sparse Matrices 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780198508380 Author 作者 DuffI.S. Pages Number 页数 464页 Publisher 出版社 Oxford University Press Publication Date 出版日期 20170126 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems.
¥1553
【预订】Prediction Methods for Blood Glucose Concentration 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319259116 Author 作者 Kirchsteiger Format 版本 精装 Pages Number 页数 265页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-11-25 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 This book tackles the problem of overshoot and undershoot in blood glucose levels caused by delay in the effects of carbohydrate consumption and insulin administration. The ideas presented here will be very important in maintaining the welfare of insulin-dependent diabetics and avoiding the damaging effects of unpredicted swings in blood glucose – accurate prediction enables the implementation of counter-measures. The glucose prediction algorithms described are also a key and critical ingredient of automated insulin delivery systems, the so-called “artificial pancreas”.The authors address the topic of blood-glucose p
¥1095
预订 Wavelet Methods for Solving Partial Differential Equation 【全球购】进口原版图书，一般5-8周左右到国内
¥2181
【3-6周达】Myelin: Methods and Protocols [ISBN:9781493978618] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Novel Methods for Pyrrole Synthesis [ISBN:97838433636 【全球购】进口原版图书，一般3-6周左右到国内
¥903.00
【预订】Computer Methods in Chemical Engineering 9780367765248 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367765248 Author 作者 Ghasem Format 版本 平装-胶订 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect
¥1024
预订 【】Numerical Methods in Turbulence Simulation 978032391144 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9780323911443 Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Academic Press Publication Date 出版日期 2022-12-01 Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Turbulence Simulation provides detailed specifications of the numerical methods needed to solve important problems in turbulence simulation. Numerical simulation of turbulent fluid flows is challenging because of the range of space and time scales that must be represented. This book provides explanations of the numerical error and stability characteristics of numerical techniques, along with treatments of the additional numerical challenges that arise in large eddy simulations. Chapters are written as tutorials by experts in the field, covering specific both contexts and applications. Three classes of turbulent flow are addressed, including incompressible, compressible a
¥2452
预订 Novel Methods and Applications for Mineral Exploration, V 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥823.00
预售 按需印刷Methods for Assessing Brand Value. A Compar 北京发货，付款后10天内发货
¥777.00
【3-6周达】Malaria Methods and Protocols [ISBN:9780896038233] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥704.00
【预订】Numerical Methods for Diffusion Phenomena in Building Ph 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030315733 Author 作者 Mendes Format 版本 精装 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-01-24 Language 语种 英语 Book Contents 内容简介 This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introductionoriginally published by PUCPRESS (2016). Itintends to stimulate research in simulation of diffusion problems in building physics, by providing an overview of mathematical models and numerical techniques such as the finite difference and finite-element methods traditionally used in building simulation tools.Nonconventional methods such as reduced order models, boundary integral approaches and spectral methods are presented, which might be considered in the next generation of building-energy-simulation tools.In this reviewed edition, an innovative way to si
¥548.00
【预订】Symmetry Methods for Differential Equations: A Beginner' 国外库房发货, 通常付款后12-16周到货
¥1520
【预订】Applied Methods of Cost-Effectiveness Analysis in Health 美国库房发货，通常付款后3-5周到货！
¥994.00
【预订】Numerical Methods for Nonlinear Elliptic Differential Eq 美国库房发货，通常付款后3-5周到货！
¥1505
按需印刷Sieve Methods, Exponential Sums, and their Applications 预订，预计下单后3-4周左右发货！
¥672.00
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
海外直订医药图书Methods and Results of Liver Biopsy 肝活检方法及结果
¥1412
【预订】Tools and Methods of Program Analysis: 4th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319717333 Author 作者 Zakharov, Victor Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-14 Language 语种 英语
¥548.00
预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货
¥868.00
【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货
¥952.00
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥1003
【预订】In Silico Methods for Predicting Drug Toxicity 978149398 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493980932 Format 版本 平装-胶订 Pages Number 页数 548页 Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10 x 7 x 1.1 cm Shipping Weight 商品重量 2070g Language 语种 英语
¥1205
【预订】Xylem: Methods and Protocols (Softcover Reprint of the O 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493982820 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-08 Language 语种 英语
¥1259
【预订】Meshfree Methods for Partial Differential Equations VIII 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319847870 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-18 Language 语种 英语
¥1095
【预订】Genetic Methods and Tools for Managing Crop Pests 978981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811902635 Author 作者 A. K. Chakravarthy Format 版本 精装 Pages Number 页数 598页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-26 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume aims at bringing together all the genetic engineering tools for managing various types of crop pests. The main focus of this book is to explore the application of these tools in pest management. Major pest groups covered in this book are insects, mites and nematodes.The first section covers all major genetic tools and molecular approaches. The second section deals with genetic tools for of beneficial containing three chapters involving honey bees, silkworms and natural enemies. Next section deals with genetic interactions against pests in diverse geographical regions with special focus on Africa, Vietnam and Sri Lanka. Secti
¥1643
【预订】Molecular Methods for Evolutionary Genetics 978149395861 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493958610 Author 作者 Virginie Orgogozo Université Paris VII CNRS UMR7592 Paris Format 版本 平装-胶订 Pages Number 页数 503页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 979g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art
¥1205
【预订】Design Methods and Applications for Distributed Embedded 【全球购】进口原版图书，一般10-12周左右到国内
¥585.00
【预售 按需印刷】Advanced Methods for Complex Network Analysis 北京发货，付款后10天内发货
¥2193.42
海外直订Modern Methods of Reflector Antenna Analysis and Design
¥1622.85
【预订】Numerical Methods for Initial Value Problems in Physics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031335556 Author 作者 Francisco S. Guzmán Format 版本 精装 Pages Number 页数 392页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-07-29 Language 语种 其它（含多语） Book Contents 内容简介 This textbook is a comprehensive overview of the construction, implementation, and application of important numerical methods for the solution of Initial Value Problems (IVPs). Beginning with IVPs involving Ordinary Differential Equations (ODEs) and progressing to problems with Partial Differential Equations (PDEs) in 1+1 and 3+1 dimensions, it provides readers with a clear and systematic progression from simple to complex concepts.The numerical methods selected in this textbook can solve a considerable variety of problems and the applications presented cover a wide range of topics, including population dynamics, chaos, celestial mechanics, geoph
¥906.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车