海外直订New Methods of Thought and Procedure: Contributions to t
¥1193
海外直订Robust Methods for Dense Monocular Non-Rigid 3D ... 点云密集
¥897.00
【预订】Modern Methods in Protein- and Nucleic Acid Research 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110122756 Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1990-10-01 Product Dimensions 商品尺寸 24 x 17 Shipping Weight 商品重量 2.04 Language 语种 其它（含多语）
¥3493
【预订】Efficient Methods for Valuing Interest Rate Derivatives 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849968614 Author 作者 Pelsser Format 版本 平装-胶订 Pages Number 页数 172页 Publisher 出版社 Springer London Publication Date 出版日期 2010-10-21 Language 语种 英语 Book Contents 内容简介 Efficient Methods for Valuing Interest Rate Derivatives provides an overview of the models that can be used for valuing and managing interest rate derivatives. Split into two parts, the first discusses and compares the traditional models, such as spot- and forward-rate models, while the second concentrates on the more recently developed Market models. Unlike most of his competitors, the author’s focus is not only on the mathematics: Antoon Pelsser draws on his experience in industry to explore the practical issues, such as the implementation of models, and model selection. Aimed at people with a solid quantitative background, this book will be of particular interest to risk m
¥1424
预订 Modern Methods in Forest Genetics 国外库房发货，通常付款后3-5周到货
¥1643
预订 Direct Methods for Solving Macromolecular Struc [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2105
【3-6周达】Formal Methods: Foundations and Applications: 18th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
【3-6周达】Asthma: Methods and Protocols [ISBN:9781071623664] 【全球购】进口原版图书，一般3-6周左右到国内
¥1298
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑和直
¥2285
海外直订Formal Methods: Foundations and Applications: 25th Brazi
¥615.00
【3-6周达】Formal Methods for Dynamical Systems: 13th Internatio 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
【预订】Computer Methods, Part C 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！
¥2213
【预订】Laboratory Methods in Cell Biology: Biochemistry and Cel 美国库房发货，通常付款后3-5周到货！
¥1822
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Research Methods in Sport Studies and Sport Management: 美国库房发货，通常付款后3-5周到货！
¥848.00
【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！
¥1854
【预订】Interval Methods for Systems of Equations 9780521331968 美国库房发货，通常付款后3-5周到货！
¥1520
【预订】Diagnostic Methods, Chemical, Bacteriological and Micros 美国库房发货，通常付款后3-5周到货！
¥563.00
【预订】Microarray Methods for Drug Discovery 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Energy Applications 9783030621902 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030621902 Format 版本 精装 Pages Number 页数 1082页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-07 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 concepts and related energy systems applications;?systems equations and optimization, partial differential equations, and finite difference method;?methods for solving
¥1643
【预售 按需印刷】Models and methods used in the analysis o 北京发货，付款后10天内发货
¥1239
按需印刷Fuzzy Methods for Customer Relationship Management and M 预订，预计下单后2-3周左右发货！
¥2355
【预订】Laboratory Methods in Cell Biology 9780124072398 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780124072398 Author 作者 Conn Format 版本 精装 Pages Number 页数 464页 Publisher 出版社 Academic Press Publication Date 出版日期 2013-01-01 Shipping Weight 商品重量 920g Language 语种 英语 Book Contents 内容简介 Life Sciences (General); Cellular Biology
¥1822
【3-6周达】Formal Methods: Foundations and Applications [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥6018
【预订】Control Methods for Electrical Machines 9781848210936 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented
¥2315
【预订】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
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1043
【3-6周达】Visual Methods with Children and Young People: Academ 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783642 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Applied Methods of Structural Reliability (Softcover 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Formal Methods for Software Architectures 9783540200833 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540200833 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-12 Language 语种 英语 Book Contents 内容简介 In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro,
¥548.00
【预订】Enhanced Methods in Computer Security, Biometric and Art 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402077760 Author 作者 Pejas Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Springer US Publication Date 出版日期 2004-11-02 Language 语种 英语 Book Contents 内容简介 Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems contains over 30 contributions from leading European researchers showing the present state and future directions of computer science research. ’Methods of Artificial Intelligence and Intelligent Agents’ contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. ’Information Technology Security’ covers three important areas of security engineering in information systems: software secur
¥2190
【预订】Formal Methods and Software Engineering 9783540297970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540297970 Author 作者 Lau Format 版本 平装-胶订 Pages Number 页数 502页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-27 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more.
¥548.00
【预订】Formal Methods and Software Engineering 9783540204619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204619 Author 作者 Dong Format 版本 平装-胶订 Pages Number 页数 682页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-10-27 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540261810 Author 作者 Steffen Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-06-03 Language 语种 英语
¥548.00
【预订】Bayesian Methods in Epidemiology 9780367576349 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367576349 Author 作者 Lyle D. Broemeling Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 860g Language 语种 英语 Book Contents 内容简介 Written by a biostatistics expert with over 20 years of experience in the field, Bayesian Methods in Epidemiology presents statistical methods used in epidemiology from a Bayesian viewpoint. It employs the software package WinBUGS to carry out the analyses and offers the code in the text and for download online.The book examines study designs that investigate the association between exposure to risk factors and the occurrence of disease. It covers introductory adjustment techniques to compare mortality between states and regression methods to study the association between various risk factors and disease, including logisti
¥611.00
【3-6周达】Malaria: Methods and Protocols [ISBN:978162703025 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
海外直订医药图书Methods, Models, and Computation for Medical Informa
¥3146
【预订】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
【预售 按需印刷】Topics and Methods in q-Series
¥1581
【预售 按需印刷】Research Methods for Pedagogy
¥1203.6
【预售 按需印刷】Data-Based Methods for Materials Design a
¥1140.7
海外直订Symmetry Methods for Differential Equations: A Beginner'
¥670.00
【3-6周达】Formal Methods and Software Engineering: 16th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods to Engineer and Seamlessly Reconfigure Ti 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Antibody Methods and Protocols (2012) [ISBN:978161779 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Dynamic Methods for Damage Detection in Structures [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Rapid Methods for Analysis of Biological Materials in 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥577.00
海外直订Krylov Methods for Nonsymmetric Linear Systems: From The
¥1435
【预订】Ore Mining Methods, Comprising De*ions of Methods of Sup 美国库房发货，通常付款后3-5周到货！
¥576.00
预订Research Methods for Social Justice and Equity in Educatio 预订，预计下单后2-3周左右发货！
¥545.00
【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the
¥603.00
【预订】Tensorial Methods and Renormalization in Group Field The 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods of Construction Design: Proceedings of IC 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Modern Methods of Food Analysis 9789401173810 美国库房发货，通常付款后3-5周到货！
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车