【预售 按需印刷】Empirical Methods in Climate Modeling
¥898.45
【预售 按需印刷】BAYESIAN METHODS FOR STRUCTURA
¥1672.8
【预售 按需印刷】Research Methods in Social Relations
¥1615.85
【预售 按需印刷】Web Mining Methods for the Detection of A
¥673.20
【预售 按需印刷】Processing methods for mandarin (Citrus r
¥1125.4
【预售 按需印刷】Methods Biochem Analysis V35
¥5239
【预售 按需印刷】Research Methods in Sign Langu
¥1065.05
【预售 按需印刷】Advanced Methods in Distance Education
¥606.05
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086618 Author 作者 Cottet Georges-Henri Format 版本 平装-胶订 Pages Number 页数 197页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语）
¥1095
【预订】Formal Methods for Control of Nonlinear Systems 97803672 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367219994 Author 作者 Yinan Li and Jun Liu Format 版本 精装 Pages Number 页数 272页 Publisher 出版社 CRC Press Publication Date 出版日期 2022-12-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal
¥1465
预售 按需印刷 Methods to improve the freezability of the 北京发货，付款后10天内发货
¥1475
【预订】Formal Methods for Industrial Critical Systems: 28th Int 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031436802 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.57 Shipping Weight 商品重量 0.85磅 Language 语种 其它（含多语）
¥711.00
【预订】Bayesian Methods in Cosmology 国外库房发货, 通常付款后12-16周到货
¥581.00
【预售 按需印刷】Research Methods in the Health Sciences 北京发货，付款后10天内发货
¥1084
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
【预订】Optical Methods for Managing the Diabetic Foot 978103246 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032463513 Author 作者 Saiko Format 版本 精装 Pages Number 页数 206页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-12-11 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses optical technologies for Diabetic Foot management. It combines the current medical literature review with an overview of the technology and physics behind it. Thus, it is a single-source introduction to the topic. It can also be used as a reference source and practical guide for the use of technology. The particular focus is on low-cost technologies, including hyperspectral imaging, thermography, and endogenous bacterial fluorescence. Moving diagnostic modalities closer to the patient (e.g., primary care) allows the disease to be detected at an earlier stage, thus improving outcomes. However, wh
¥1708
【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货，通常付款后3-5周到货！
¥2566
预售 按需印刷 Methods of Denture Plaque Removal in Compl 北京发货，付款后10天内发货
¥817.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
【预订】Linguistic Methods Under Fuzzy Information in System Saf 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030933517 Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2022-03-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.56 Shipping Weight 商品重量 1.06 Language 语种 其它（含多语） Book Contents 内容简介 This book reviews and presents a number of approaches to Fuzzy/based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, which will enable readers to implement them into their own risk analysis process. The book begins by giving a review of using linguistic terms in system safety and reliability analysis methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the 2/tuple fuzzy/based linguistic term set approach, fuzzy bow/tie analysi
¥1533
【预售 按需印刷】Concepts Methods Infectious Disease 北京直发，付款后10日内发货
¥899.00
【预售 按需印刷】Iterative Methods and Preconditioning for Large 北京直发，付款后10天内发货
¥1752
【预售 按需印刷】Research Methods Community Medicine 6e 北京直发，付款后10日内发货
¥1029
【预订】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
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618810 Author 作者 Magdalena Jeszka-Skowron Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.80 Shipping Weight 商品重量 1.20 Language 语种 其它（含多语） Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls
¥2190
预售 按需印刷 Methods, Models, and Computation for Medic对于医学信息的方法、 北京发货，付款后10天内发货
¥1878.75
【预订】Formal Methods 9783319955810 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319955810 Author 作者 Havelund Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
¥985.00
【预订】Cilia: Methods and Protocols (Softcover Reprint of the O 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493981397 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-09 Language 语种 英语
¥548.00
【预订】Modern Methods in Mathematical Physics 9789811949142 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811949142 Author 作者 Vladimir Ryzhov Format 版本 平装-胶订 Pages Number 页数 148页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This book provides ideas for implementing Wolfram Mathematica to solve linear integral equations. The book introduces necessary theoretical information about exact and numerical methods of solving integral equations. Every method is supplied with a large number of detailed solutions in Wolfram Mathematica. In addition, the book includes tasks for individual study.This book is a supplement for students studying “Integral Equations”. In addition, the structure of the book with individual assignments allows to use it as a base for various courses.
¥547.00
【预订】Survey Methods for Medical and Health Professions Educat 国外库房发货, 通常付款后12-16周到货
Product Details 基本信息 ISBN-13 书号 9780323695916 Author 作者 Phillips Andrew W. Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Publication Date 出版日期 2021-06-30 Product Dimensions 商品尺寸 9.00 x 5.90 x 0.30 Shipping Weight 商品重量 0.52 Language 语种 其它（含多语）
¥532.00
预售 按需印刷Methods and Studies for Preservation of the
¥516.00
【预订】Numerical Methods for Energy Applications 9783030621933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030621933 Author 作者 Naser Mahdavi Tabatabaei Format 版本 平装-胶订 Pages Number 页数 1028页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-23 Product Dimensions 商品尺寸 9.21 x 6.14 x 2.08 Shipping Weight 商品重量 3.20 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough guide to the use of numerical methods in energy systems and applications. It presents methods for analysing engineering applications for energy systems, discussing finite difference, finite element, and other advanced numerical methods. Solutions to technical problems relating the application of these methods to energy systems are also thoroughly explored. Readers will discover diverse perspectives of the contributing authors and extensive discussions of issues including:? a wide variety of numerical methods c
¥1643
【预售 按需印刷】 Bispectral Methods of Signal Processing 北京直发，付款后10日内发货
¥2004
预售 按需印刷 Methods and Applications for Advancing Dis推进远程教育技术的方 北京发货，付款后10天内发货
¥1495.5
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预售 按需印刷】 Modern Methods in Protein and Nucleic Aci 北京直发，付款后10日内发货
¥2278
【预订】Polyhedral Methods in Geosciences 9783030693657 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030693657 Author 作者 Di Pietro Format 版本 平装-胶订 Pages Number 页数 332页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.72 Shipping Weight 商品重量 1.07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2 and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes a
¥1643
【预售 按需印刷】Design Methods 2e 北京发货，付款后10天内发货
¥1233.48
【预订】Formal Methods Teaching 9783030915490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030915490 Author 作者 Jo?o F. Ferreira Format 版本 平装-胶订 Pages Number 页数 147页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-19 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
¥603.00
【预售 按需印刷】Research Methods in Applied Linguistics
¥1907.4
预订 【】Formal Methods for Discrete-Time Dynamical Systems (Sof 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9783319844855 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-21 Language 语种 英语
¥1954
【预订】Geometric Methods in Physics XXXV 9783319635934 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319635934 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2018-02-11 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book features a selection of articles based on the XXXV Biaowie?a Workshop on Geometric Methods in Physics, 2016. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, and with applications to classical and quantum physics. In 2016 the special session? ’Integrability and Geometry’ in particular attracted pioneers and leading specialists in the field. Traditionally, the Bia?owie?a Workshop is fo
¥1095
【预订】Unique Methods For Analyzing Failures And Catastrophic E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119748250 Author 作者 Anthony Sofronas Format 版本 精装 Pages Number 页数 336页 Publisher 出版社 Wiley Publication Date 出版日期 2022-05-16 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 Design and fabrication problems are ever present in both new and existing manufacturing unit equipment. Sometimes the potential problems that could arise are caused by field changes to the physical design and/or operation of equipment. This book is vital to the practicing engineer who must work under the pressures of safe process operation. Unique Methods for Analyzing Failures and Catastrophic Events: An Illustrated Guide for Engineers will be useful to anyone seeking practical insight and relevant case studies to solve an existing problem or to understand how complex engineering problems are solved.? Using techni
¥1419
现货 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
饮食字传:烹制篇:Cooking methods 张一清 9787551618076 山东友谊出版社 正版全新书籍 多仓发货 正规发票
¥12.40定价：¥42.00 (2.96折)
技术经济学:理论与方法:theory and methods 王宏伟，蔡跃洲，郑世林编著 9787509689448 经 正版全新书籍 多仓发货 正规发票
¥30.10定价：¥49.90 (6.04折)
办公室工作:案例、方法与技巧:cases, methods and techniques 李正春，吴雨平编著 97875 正版全新书籍 多仓发货 正规发票
¥37.40定价：¥49.80 (7.52折)
饮食字传:烹制篇:Cooking methods 山东友谊出版社 全新正版 团购优惠 正规发票
¥9.20定价：¥42.00 (2.2折)
饮食字传:烹制篇:Co methods 张一清 山东友谊出版社 9787551618076 人天书店
¥9.30定价：¥42.00 (2.22折)
饮食字传:烹制篇:Cooking methods张一清著山东友谊出版社9787551618076
饮食字传:烹制篇:Cooking methods张一清著山东友谊出版社9787551618076
¥11.66定价：¥42.00 (2.78折)
Python渗透测试编程技术:方法与实践:methods & practices 【正版图书，满额减，电子发票】
¥6.71定价：¥93.42 (0.72折)
Python渗透测试编程技术:方法与实践:methods & practices 李华峰 清华大学出版社 9787302
¥6.71定价：¥93.42 (0.72折)
多区域人口迁移流动模型:方法、原理及应用:methods,principlesanppictons 庄亚儿等 中国人口出
¥12.00定价：¥40.00 (3折)
Principles and Methods of Landscape Planning with Plants（英文版 新华书店正版书籍 正规发票
¥60.20定价：¥88.00 (6.85折)
正版 深度学习:方法及应用:methods ad applicatios机械工业出版社9787111529064(美)邓 正版图书，下单速发，可开发票，售后无忧！
¥16.64定价：¥39.80 (4.19折)
正版 深度学习:方法及应用:methods ad applicatios机械工业出版社9787111529064(美)邓 正版图书，下单速发，可开发票，售后无忧！
¥16.64定价：¥39.80 (4.19折)
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车