【预订】Formal Methods in Architecture 9783030575113 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030575113 Author 作者 Sara Eloy Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-05 Product Dimensions 商品尺寸 11.00 x 8.25 x 0.72 Shipping Weight 商品重量 1.73 Language 语种 其它（含多语） Book Contents 内容简介 This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in
¥1698
【预订】Regression Methods in Biostatistics 9781461413523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461413523 Author 作者 Vittinghoff Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-09-01 Product Dimensions 商品尺寸 23.9 x 16.3 x 3.8 cm Shipping Weight 商品重量 0.9 kg Language 语种 其它（含多语） Book Contents 内容简介 This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes. Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimati
¥1205
【预订】Numerical Methods for Time-Resolved Quantum Nanoelectron 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319636900 Author 作者 Weston, Joseph Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-09-22 Language 语种 英语
¥1095
【预订】Ensemble Methods 9781439830031 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781439830031 Author 作者 Zhi-Hua Zhou Format 版本 精装 Pages Number 页数 236页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2012-06-06 Shipping Weight 商品重量 476g Language 语种 英语 Book Contents 内容简介 This self-contained introduction shows how ensemble methods are used in real-world tasks. It first presents background and terminology for readers unfamiliar with machine learning and pattern recognition. The book then covers the main algorithms and theories, including Boosting, Bagging, Random Forest, averaging and voting schemes, and diversity measures. Moving on to more advanced topics, the author explains details behind ensemble pruning and clustering ensembles. He also describes developments in semi-supervised learning, active learning, cost-sensitive learning, class-imbalance learning, and comprehensibility enhancement.
¥1153
【预订】Formal Methods and Software Engineering: 19th Internatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319686899 Author 作者 Ong, Luke Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-10-14 Language 语种 英语
¥548.00
【预订】Analytical Methods in Fuzzy Modeling and Control 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540899266 Author 作者 Jacek Kluska Format 版本 精装 Pages Number 页数 251页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-03-10 Shipping Weight 商品重量 584g Language 语种 英语 Book Contents 内容简介 This book is focused on mathematical analysis and rigorous design methods for fuzzy control systems based on Takagi-Sugeno fuzzy models, sometimes called Takagi-Sugeno-Kang models.
¥1643
预订Research Methods in Information 预订，预计下单后2-3周左右发货！
¥991.00
海外直订Formal Methods for Multicore Programming: 15th Internati
¥556.00
海外直订Modern Methods of Optimization: Proceedings of the Summe
¥662.00
【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货
¥882.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
海外直订Modern Methods in Collisional-Radiative Modeling of Plas
¥1197
【预订】Relational Methods in Computer Science 9783540003151 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540003151 Author 作者 de Swart Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-12-11 Language 语种 英语
¥548.00
【预订】Homotopy Methods in Topological Fixed and Periodic Point 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048169986 Author 作者 Jezierski Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 The notion of a xed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of ?xed point theory have been an increasing focus of interest over the last century. These topological methods of ?xed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the ?xed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems
¥1095
【预订】Numerical Methods in Physics with Python 9781108738934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108738934 Author 作者 Alex Gezerlis Format 版本 平装-胶订 Pages Number 页数 606页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2020-08-31 Language 语种 英语 Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. Accompanying the mathematical derivations are full implementations of dozens of numerical methods in Python, as well as more than 250 end-of-chapter problems. Numerical methods and physics examples are clearly separated, allowing this introductory book to be later u
¥502.00
海外直订Robust Methods for Data Reduction 数据约简的鲁棒方法
¥1605
【预订】Numerical Methods for Nonlinear Estimating 美国库房发货，通常付款后3-5周到货！
¥2729
【预订】Modeling Methods for Marine Science 美国库房发货，通常付款后3-5周到货！
¥1018
【预订】Research Methods for Human-Computer Interaction 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Analytic Methods for Diophantine Equations and 美国库房发货，通常付款后3-5周到货！
¥661.00
按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订，预计下单后2-3周左右发货！
¥1449
【预订】Assessment Methods in Statistical Education: An Internat 美国库房发货，通常付款后3-5周到货！
¥1050
【预订】Research Methods in Physical Education and Youth Sport 9 美国库房发货，通常付款后3-5周到货！
¥738.00
【预订】Physical Methods of Chemistry Second Edition 美国库房发货，通常付款后3-5周到货！
¥9378
【预订】Computer Methods, Part B 美国库房发货，通常付款后3-5周到货！
¥2239
预订Research Methods for Counseling: An Introduction [ISBN:978 【全球购】进口原版图书，约3-6周到达国内后发出
¥918.00
【3-6周达】Emerging Methods in Family Research [ISBN:97833193769 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
海外直订Formal Methods for Hardware Verification: 6th Internatio
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1726
【预订】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
【预订】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
【预订】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
【预订】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
海外直订医药图书Methods in Cell Biology: Volume 158 细胞生物学方法:第158卷
¥2847
海外直订医药图书Methods in Methane Metabolism, Part a: Methanogenesi
¥3416
【3-6周达】Dengue: Methods and Protocols [ISBN:9781493943715] 【全球购】进口原版图书，一般3-6周左右到国内
¥1385
预订 Current Methods in Forensic Gunshot Residue Analysis [ISB 【全球购】进口原版图书，一般5-8周左右到国内
¥2181
【3-6周达】Crispr: Methods and Protocols [ISBN:9781493926862] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Methods for Social Analysis in Developing Countries [ 【全球购】进口原版图书，预计3-6周左右到国内
¥578.00
【预订】Numerical Methods in Geotechnical Engineering 9789054105 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054105107 Format 版本 精装 Pages Number 页数 444页 Publisher 出版社 CRC Press Publication Date 出版日期 1994-01-01 Shipping Weight 商品重量 929g Language 语种 其它（含多语） Book Contents 内容简介 This volume is based on a conference on numerical methods in geotechnical engineering held in Manchester in 1994. It examines topics involved in the application of numerical techniques, including: thermomechanical problems; foundations; reinforced...
¥3316
海外直订医药图书Methods, Models, and Computation for Medical Informa
¥3787
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥731.00
海外直订The Methods of Ethics 伦理学的方法
¥1219
【预订】Computer Methods for Circuit Analysis and Design Y978044 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Laboratory Methods in Food Microbiology 美国库房发货，通常付款后3-5周到货！
¥1301
【预订】Numerical Methods for Experimental Mechanics 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Advanced Methods for Modeling Markets 9783319534671 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319534671 Author 作者 Leeflang Format 版本 精装 Pages Number 页数 733页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-09-06 Shipping Weight 商品重量 1274g Language 语种 英语 Book Contents 内容简介 This volume presents advanced techniques to modeling markets, with a wide spectrum of topics, including advanced individual demand models, time series analysis, state space models, spatial models, structural models, mediation, models that specify competition and diffusion models. It is intended as a follow-on and companion to Modeling Markets (2015), in which the authors presented the basics of modeling markets along the classical steps of the model building process: specification, data collection, estimation, validation and implementation. This volume builds on the concepts presented in Modeling Markets with an emphasis on a
¥3833
【预订】A Guide to Methods in the Biomedical Sciences Y978038722 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods in Finance Y9780521061698 美国库房发货，通常付款后3-5周到货！
¥687.00
【预订】Level Set Methods and Fast Marching Methods: 美国库房发货，通常付款后3-5周到货！
¥753.00
【预订】Wavelet Methods for Pointwise Regularity and Local Oscil 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821804759 Author 作者 Stéphane Jaffard Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1996-10-29 Language 语种 英语 Book Contents 内容简介 Currently, new trends in mathematics are emerging from the fruitful interaction between signal processing, image processing, and classical analysis. One example is given by "wavelets", which incorporate both the know-how of the Calderon-Zygmund school and the efficiency of some fast algorithms developed in signal processing (quadrature mirror filters and pyramidal algorithms.) A second example is "multi-fractal analysis". The initial motivation was the study of fully developed turbulence and the introduction by Frisch and Parisi of the multi-fractal spectrum. Multi-fractal analysis provides a deeper insight into many classical functions in
¥535.00
【预订】Genetic Methods and Tools for Managing Crop Pests 978981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811902666 Author 作者 A. K. Chakravarthy Format 版本 平装-胶订 Pages Number 页数 669页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2023-08-22 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.39 Shipping Weight 商品重量 2.10磅 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 again
¥1643
预订 Direct Methods for Limit State of Materials and Structure 国外库房发货，通常付款后3-5周到货
¥1753
【预订】Evaluation Methods in Biomedical and Health Informatics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030864521 Author 作者 Charles P. Friedman Format 版本 精装 Pages Number 页数 383页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-02-11 Language 语种 其它（含多语） Book Contents 内容简介 This 3rd edition of Evaluation Methods inBiomedical and Health Informatics has been extensively revised and expanded. It builds on a solid foundation of evaluation theory to explain methods and techniques within health informatics, using many examples, real-world case studies and numerous self-tests with answers. Expanded to 20 rather than 12 chapters, new chapters have been added on qualitative methods, ethics, mixed methods, evidence-based informatics and how to conduct evaluation studies using routine, real-world data. Designed as a practical guide for masters and PhD students, informatics researchers and seasoned professionals seeking a compre
¥876.00
预订 Modern Methods in Forest Genetics 国外库房发货，通常付款后3-5周到货
¥1643
预订 Smart Methods for Environmental Externalities: Urban Plan 国外库房发货，通常付款后3-5周到货
¥1355
海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1337
【预订】Iterative Methods and Preconditioning for Large and Spar 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498764162 Author 作者 Daniele Bertaccini and Fabio Durastante Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-02-13 Language 语种 英语 Book Contents 内容简介 This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear systems.The solution of large and sparse linear systems is the most time-consuming part for most of the scientific computing simulations. Indeed, mathematical models become more and more accurate by including a greater volume of data, but this requires the solution of larger and harder algebraic systems. In recent years, research has focused on the efficient solution of large sparse and/or structured systems generated by the discretization of numerical models by using iterative solvers.
¥2035
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车