【预订】Physical Methods of Chemistry, Investigations of Surface 美国库房发货，通常付款后3-5周到货！
¥6438
【预订】Stochastic Methods in Neuroscience 美国库房发货，通常付款后3-5周到货！
¥1505
海外直订Phasor Methods of AC Circuit Analysis: - Designed Using
¥476.00
【预售 按需印刷】Iterative Methods for Nonlinear ILL-posed 北京发货，付款后10天内发货
¥830.00
【预售 按需印刷】Analytical Methods for the Estimation of 北京发货，付款后10天内发货
¥619.00
【3-6周达】New Methods for Polymer Synthesis, 化学 [ISBN:978148992 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订Formal Methods for Mobile Computing: 5th International S
¥662.00
预订 医学信息学方法Methods in Medical Informatics [ISBN:9781138374416 【全球购】进口原版图书，一般5-8周左右到国内
¥875.00
【3-6周达】高被引The Methods of Bioethics: An Essay in Meta-Bioethi 【全球购】进口原版图书，一般3-6周左右到国内
¥961.00
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥866.00
预订 Matrix Methods of Structural Analysis [ISBN:9780367571269 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【3-6周达】Novel Methods & Applications of Tropane Alkaloids and 【全球购】进口原版图书，一般3-6周左右到国内
¥1192
3-6周达 Global Methods for Combinatorial Isoperimetric Problem 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥514.00
【预售 按需印刷】Modern Methods of Teaching
¥981.75
预订 Mucins: Methods and Protocols 粘蛋白：方法与协议: 9781071636725 国外库房发货，通常付款后3-5周到货
¥1533
【预订】Formal Methods in Computer Science 9780367225704 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
¥2573
海外直订On Methods of Music Theory and (Ethno-) Musicology: From
¥1300
预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货
¥1861
按需印刷New Methods for Mining Sequential and Time Series Data 预订，预计下单后2-3周左右发货！
¥1297
【预订】Epistasis: Methods and Protocols 9781493942756 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Cilia: Methods and Protocols 9781493937875 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Nonlinear Partial Differential Equ 美国库房发货，通常付款后3-5周到货！
¥1533
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651
3-6周达 高被引DNA Methods in Food Safety: Molecular Typing of Foo 【全球购】进口原版图书，预计3-6周左右到国内
¥1833
【3-6周达】Sumo: Methods and Protocols [ISBN:9781493963560 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订Modern Methods of Water Purification 水净化的现代方法
¥530.00
海外直订PCR Methods in Foods 食品中的PCR方法
¥1325
海外直订New Methods Polymer Synthesis 高分子合成新方法
¥662.00
预订 按需印刷 Methods in Drug Abuse Research
The field of drug addiction and substance abuse, which was initially confined to behavioral studies, has broadened dramatically. It now includes a vast array of cellular and molecular approaches as well as sophisticated electrophysiological and neurochemical methodologies that bridge the gap between cellular/molecular events and behavior. In many cases, these techniques are used to clarify and characterize specific dimensions of the addictive process or actions of potential abuse. Methods of Drug Abuse Research: Cellular and Circuit Level Analyses assembles this information in one volume. It bridges the gap between cellular and molecular studies of drug actions and behavioral approaches to questions in drug abuse research. The book presents state-of-the-art technical information and critical reviews of the experimental strategies used to dissect the problem of compulsive drug use and addiction at the systems or whole brain level. Chapters provide examples of the use of neurochemical and delectrophysio
¥2047.65
【预订】Necrosis: Methods and Protocols 9781493960101 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】Numerical Methods for the Life Scientist: Binding and En 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Research Methods for Engineers 9781107034884 国外库房发货, 通常付款后12-16周到货
¥1625
【预订】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
【预订】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
【预订】Meshfree Methods for Partial Differential Equations VIII 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319847870 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-18 Language 语种 英语
¥1095
预订 Mixed Methods Research for Nursing and the Health Science 国外库房发货，通常付款后3-5周到货
¥1012
预订 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
按需印刷Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！
¥1764
按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！
¥862.00
【预订】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
【预订】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
预订 【】Spectral Methods 9783642270970 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9783642270970 Author 作者 Shen Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 741g Language 语种 英语 Book Contents 内容简介 Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of? basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The bo
¥1495
【预订】Matrix Methods of Structural Analysis 9780367571269 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367571269 Author 作者 Praveen Nagarajan Format 版本 平装-胶订 Pages Number 页数 368页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 680g Language 语种 英语 Book Contents 内容简介 This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-displacement relation for a given structure using flexibility and stiffness coefficients. The remaining text deals with the analysis of framed structures using flexibility, stiffness and direct stiffness methods. Simple programs using MATLAB for the analysis of structures are included in the appendix.Key FeaturesExplores matrix methods of structural analysis for linearly elastic framed structures Introduces key concepts in the development of
¥782.00
【预订】Physical Methods for Microorganisms Detection 9781315896 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315896496 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1709
【预订】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
【预订】Formal Methods for Industrial Critical Systems 978303085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030852474 Author 作者 Alberto Lluch Lafuente Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.82 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Va
¥548.00
海外直订Silac: Methods and Protocols Silac:方法和协议
¥2220
海外直订Arts Methods for the Self-Representation of Undergraduat
¥2353
【预订】Bayesian Methods for Interaction and Design 978110883499 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9781108834995 Author 作者 John H. Williamson Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2022-08-01 Product Dimensions 商品尺寸 229 x 152 mm Language 语种 其它（含多语） Book Contents 内容简介 Intended for researchers and practitioners in interaction design, this book shows how Bayesian models can be brought to bear on problems of interface design and user modelling. It introduces and motivates Bayesian modelling and illustrates how powerful these ideas can be in thinking about human-computer interaction, especially in representing and manipulating uncertainty. Bayesian methods are increasingly practical as computational tools to implement them become more widely available, and offer a principled foundation to reason about interaction design. The book opens with a self-contained tutorial
¥1243
【预售按需印刷】Iterative Methods for Approximating Eigenv
¥650.25
【预售 按需印刷】Research Methods for Public Health
¥504.05
【预订】Numerical Methods and Analysis of Multiscale Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319508641 Author 作者 Madureira Format 版本 平装-胶订 Pages Number 页数 123页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-23 Shipping Weight 商品重量 263g Language 语种 英语 Book Contents 内容简介 This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depend on different physical scales. ?Aimed at advanced undergraduate and graduate students in mathematics, engineering and physics – or researchers seeking a no-nonsense approach –, it discusses ?examples in their simplest possible settings, removing mathematical hurdles that might hinder a clear understanding of the methods.The problems considered are given by singular perturbed reaction advection diffusion equations in o
¥548.00
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
【预售 按需印刷】Bayesian Methods 北京发货，付款后10天内发货
¥661.72
【预售 按需印刷】Research Methods and Statistics in Psychology
¥549.95
海外直订Matrix Methods: Theory, Algorithms And Applications - De
¥2494
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车