【预订】Research Methods in Health Communication 9780415531 美国库房发货，通常付款后3-5周到货！
¥859.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】In Vitro Methods in Pharmaceutical Research 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Essential Methods for Planning Practitioners 97833196804 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319680408 Author 作者 Ramasubramanian Format 版本 精装 Pages Number 页数 157页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-11-28 Shipping Weight 商品重量 432g Language 语种 英语 Book Contents 内容简介 This book assembles and organizes a selected range of methods and techniques that every planning practitioner should know to be successful in the contemporary global urban landscape. The book is unique because it links different aspects of the planning/policy-making enterprise with the appropriate methods and approaches, thus contextualizing the use of specific methods and techniques within a sociopolitical and ethical framework. This volume familiarizes readers with the diverse range of methods, techniques, and skills that must be applied at different scales in dynamic workplace environments where planning policies and
¥1314
【预订】Numerical Methods with Worked Examples: MATLAB Edition 9 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Stochastic Methods in the Dynamics of Satellites: Course 美国库房发货，通常付款后3-5周到货！
¥758.00
【预订】Geometric Methods in System Theory: Proceedings of the N 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Formal Methods in Standards: A Report from the BCS Worki 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订NMR Methods for Characterization of Synthetic an... 合成聚合
¥2186
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥2497
海外直订医药图书Methods of Partial Deafness Treatment 部分耳聋的治疗方法
¥1225
预订 Smart Methods for Environmental Externalities: Urban Plan 国外库房发货，通常付款后3-5周到货
¥482.00
【预订】Numerical Methods in Approximation Theory, Vol. 9 美国库房发货，通常付款后3-5周到货！
¥548.00
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】Bilevel Methods for Image Reconstruction 9781638280026 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781638280026 Author 作者 Caroline Crockett Format 版本 平装-胶订 Pages Number 页数 184页 Publisher 出版社 Now Publishers Publication Date 出版日期 2022-05-30 Product Dimensions 商品尺寸 15.6x1.02x23.39cm Shipping Weight 商品重量 268 g Language 语种 其它（含多语） Book Contents 内容简介 Methods for image recovery and reconstruction aim to estimate a good-quality image from noisy, incomplete, or indirect measurements. Such methods are also known as computational imaging. New methods for image reconstruction attempt to lower complexity, decrease data requirements, or improve image quality for a given input data quality.?Image reconstruction typically involves optimizing a cost function to recover a vector of unknown variables that agrees with collected measurements and prior assumptions. State-of-the-art image reconstruction methods learn thes
¥1101
【预订】Numerical Methods in Engineering 9781009211802 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009211802 Author 作者 Amiya K. Jana Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-08-01 Product Dimensions 商品尺寸 242 x 155 mm Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chapter starts with the formulation and graphical representation of the numerical method. This is followed by the algorithms required to create computer assisted solutions and simulations, which are then applied on real-world examples and case studies to show how exactly they are used. Finally, the strengths and weaknesses of the numerical method under discussion is explained, thus helping the reader
¥991.00
【预订】Formal Methods and Software Engineering 9783642412011 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1325
【3-6周达】Formal Methods and Software Engineering [ISBN:9783642 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
海外直订Design Methods and Practices for Research of Pro... 项目管理
¥482.00
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥548.00
【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1751
Research Methods for Construction 5th ed. 现货图书
Product Details 基本信息 ISBN-13 书号 9781119814733 Author 作者 Richard Fellows Pages Number 页数 384页 Publisher 出版社 Publication Date 出版日期 20211108 Product Dimensions 商品尺寸
¥512.00
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥553.00
【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
按需印刷New Methods for Process Integration 预订，预计下单后2-3周左右发货！
¥767.00
【预订】Formal Methods and Object Technology 9783540199779 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540199779 Author 作者 Goldsack Format 版本 平装-胶订 Pages Number 页数 368页 Publication Date 出版日期 1996-04-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Language 语种 英语 Book Contents 内容简介 Rationale Software engineering aims to develop software by using approaches which en? able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program? ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular c
¥1095
【预订】Tasks and Methods in Applied Artificial Intelligence 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540645740 Author 作者 Pobil Format 版本 平装-胶订 Pages Number 页数 950页 Publication Date 出版日期 1998-05-20 Language 语种 英语 Book Contents 内容简介 This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.The two volumes present a total of 187 revised full papers selected from 291 submissions. In accordance with the conference, the books are devoted to new methodologies, knowledge modeling and hybrid techniques. The papers explore applications from virtually all subareas of AI including knowledge-based systems, fuzzyness and uncertainty, formal reasoning, neural information processing, multiagent systems, perception, robotics, natural language processing, machine learning, superv
¥1095
【预订】Biomarker Methods in Drug Discovery and Development 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617379253 Author 作者 Wang Format 版本 平装-胶订 Pages Number 页数 396页 Publication Date 出版日期 2010-11-09 Shipping Weight 商品重量 646g Language 语种 英语 Book Contents 内容简介 The pharmaceutical industry has faced many significant challenges since the early 1990s. The fundamental issue that needs to be addressed is how to improve the efficiency of drug discovery and development. The current research and development (R&D) cost for developing a new therapeutic drug is greater than $800 million. Additionally, it takes an average of 12 years to get a new drug to market with an attrition rate greater than 90%. Reviewing the overall pharmaceutical R&D process, it has become clear that many of the drug failures are due to our lack of knowledge in population diversity, which is responsible for differences in drug efficacy and toxicity. In fact, not a single appro
¥1643
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
¥616.00
【预订】Lie Methods in Deformation Theory 9789811911842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811911842 Author 作者 Marco Manetti Format 版本 精装 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-12 Language 语种 其它（含多语） Book Contents 内容简介 This book furnishes a comprehensive treatment of differential graded Lie algebras, L-infinity algebras, and their use in deformation theory. We believe it is the first textbook devoted to this subject, although the first chapters are also covered in other sources with a different perspective.Deformation theory is an important subject in algebra and algebraic geometry, with an origin that dates back to Kodaira, Spencer, Kuranishi, Gerstenhaber, and Grothendieck. In the last 30 years, a new approach, based on ideas from rational homotopy theory, has made it possible not only to solve long-standing open problems, but also to clarify the general theory and
¥1643
【预订】Research Methods in Practice: Strategies for De*ion and 美国库房发货，通常付款后3-5周到货！
¥763.00
按需印刷New Methods and Paradigms for Modeling Dynamic Processes 预订，预计下单后2-3周左右发货！
¥2693
¥1567.4
【预订】Numerical Methods and Modelling for Engineering 97833197 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319793313 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-06 Language 语种 英语
¥624.00
【预订】Research Methods 9780081022207 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780081022207 Author 作者 Williamson, Kirsty Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2017-11-27 Language 语种 英语 Book Contents 内容简介 Social and Behavioral Sciences
¥1428
【预订】The Mixed Methods Reader 9781412951456 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781412951456 Author 作者 Vicki L Plano Clark and John W Creswell Format 版本 平装-胶订 Pages Number 页数 640页 Publication Date 出版日期 2008-02-12 Shipping Weight 商品重量 737g Language 语种 英语 Book Contents 内容简介 "It premieres the most adept researchers in the field who have bravely and soundly followed mixed methodology approaches."-NACADA (National ACademic ADvising Association)In recent years, researchers have begun to combine quantitative and qualitative approaches within single study research designs. As such, the literature on mixed methods research has grown at a rapid pace. While more methodological books addressing mixed methods are becoming available, the foundational writings of this field are still scattered across diverse d
¥1791
【预订】Models and Methods for Interval-Valued Cooperative Games 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319289960 Author 作者 Li Format 版本 精装 Pages Number 页数 137页 Publication Date 出版日期 2016-02-10 Shipping Weight 商品重量 403g Language 语种 英语 Book Contents 内容简介 This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. ?Finally, the book explores several simplification methods of interval-valued solutions: ?the interval-valued equal division and equal surplus division values; t
¥985.00
【预订】Numerical Methods in Biomedical Engineering 美国库房发货，通常付款后3-5周到货！
¥1323
海外直订Direct Methods for Solving the Boltzmann Equation and St
¥1458
【预订】Physical Methods for Microorganisms Detection 9781315896 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315896496 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1288
预订 Resrch Methods: Procss& SPSS Win 11.0 CD Pk [ISBN:9780205 【全球购】进口原版图书，约3-6周到达国内后发出
¥1417
海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体
¥2439
海外直订Formal Methods: 24th International Symposium, FM 2021, V
¥1097
海外直订Formal Methods. FM 2019 International Workshops: Porto,
¥662.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1988
海外直订Formal Methods and Software Engineering: 21st Internatio
¥534.00
【预订】Asymptotic Methods for the Fokker-Planck Equation and th 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540644354 Author 作者 Grasman Format 版本 精装 Pages Number 页数 220页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-03-08 Language 语种 英语 Book Contents 内容简介 Asymptotic methods are of great importance for practical applications, especially in dealing with boundary value problems for small stochastic perturbations. This book deals with nonlinear dynamical systems perturbed by noise. It addresses problems in which noise leads to qualitative changes, escape from the attraction domain, or extinction in population dynamics. The most likely exit point and expected escape time are determined with singular perturbation methods for the corresponding Fokker-Planck equation. The authors indicate how their techniques relate to the It? calculus applied to the Langevin equation. The book will be useful to researchers and graduate students.
¥548.00
【预订】Multigrid Methods 9780367449711 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367449711 Author 作者 Bramble Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语
¥773.00
预售 按需印刷 Methods and Algorithms for Molecular Docki分子对接的药物设计和 北京发货，付款后10天内发货
¥1802.25
【预订】Computer Methods in Power Systems: Analysis with MATLAB 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789390211494 Author 作者 P Chandra Sekhar Format 版本 精装 Pages Number 页数 420页 Publisher 出版社 BS Publications Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.94 Shipping Weight 商品重量 2.05磅 Language 语种 其它（含多语）
¥1022
【预订】Advanced Methods and Technologies in Metallurgy in Russi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319663531 Author 作者 Syngellakis Format 版本 精装 Pages Number 页数 214页 Publisher 出版社 Springer Publication Date 出版日期 2018-01-04 Product Dimensions 商品尺寸 9.6 x 6.4 x 0.6 cm Shipping Weight 商品重量 509g Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these ach
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811092947 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-03 Language 语种 英语
¥1643
海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:
¥3976
预订 Isotope Methods for Dating Old Groundwater: 9789201372109 国外库房发货，通常付款后3-5周到货
¥788.00
预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书，一般5-8周左右到国内
¥820.00
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
【预订】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
预售 英文预定 Methods of Meta-Analysis Correcting Error and Bias i 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥1185.15
【预订】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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车