【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
海外直订Matrix Methods and Fractional Calculus 矩阵方法与分数阶微积分
¥1290
预售 按需印刷Methods and Studies for Preservation of the
¥516.00
海外直订Delphi Methods in the Social and Health Sciences: Concep
¥1197
海外直订Krylov Methods for Nonsymmetric Linear Systems: From The
¥1317
【预订】\(p\)-Adic Methods in Number Theory and Algebraic Geomet 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821851456 Author 作者 Alan Adolphson Format 版本 平装-胶订 Pages Number 页数 241页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1992-09-01 Language 语种 英语 Book Contents 内容简介 Two meetings of the AMS in the fall of 1989--one at the Stevens Institute of Technology and the other at Ball State University--included Special Sessions on the role of \(p\)-adic methods in number theory and algebraic geometry. This volume grew out of these Special Sessions. Drawn from a wide area of mathematics, the articles presented here provide an excellent sampling of the broad range of trends and applications in \(p\)-adic methods.
¥1467
海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988
【预订】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.
¥1488
【预订】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
【预订】Advanced methods for fault diagnosis and fault-tolerant 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662620038 Author 作者 Ding Format 版本 平装-胶订 Pages Number 页数 623页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-16 Language 语种 英语 Book Contents 内容简介 The major objective of this book is to introduce advanced design and (online) optimization methods for fault diagnosis and fault-tolerant control from different aspects. Under the aspect of system types, fault diagnosis and fault-tolerant issues are dealt with for linear time-invariant and time-varying systems as well as for nonlinear and distributed (including networked) systems. From the methodological point of view, both model-based and data-driven schemes are investigated.To allow for a self-contained study and enable an easy implementation in real applications, the necessary knowledge as well as tools in mathematics and control theory are included in this book. The
¥1533
【预订】Formal Methods in Artificial Intelligence 美国库房发货，通常付款后3-5周到货！
¥542.00
【预订】Multiscale Methods in Computational Mechanics 9789048198 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048198085 Author 作者 de Borst Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-25 Shipping Weight 商品重量 1820g Language 语种 英语 Book Contents 内容简介 This work gives a modern, up-to-date account of recent developments in computational multiscale mechanics. Both upscaling and concurrent computing methodologies will be addressed for a range of application areas in computational solid and fluid mechanics: Scale transitions in materials, turbulence in fluid-structure interaction problems, multiscale/multilevel optimization, multiscale poromechanics.A Dutch-German research group that consists of qualified and well-known researchers in the field has worked for six years on the topic of computational multiscale mechanics. This text provides a unique opportunity to consolidate and disseminate
¥1095
【预订】Formal Methods: Foundations and Applications 97836421045 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642104510 Author 作者 Marcel Vinícius Medeiros Oliveira Lagoa Nova Natal Brazil Format 版本 平装-胶订 Pages Number 页数 351页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-09 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational sys
¥548.00
【预订】Formal Methods: Foundations and Applications 97836422503 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642250316 Author 作者 Simao Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥548.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥548.00
【预订】Relational Methods in Computer Science 9783211829714 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211829714 Author 作者 Brink Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Wien Publication Date 出版日期 1997-04-23 Language 语种 英语 Book Contents 内容简介 The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathe
¥548.00
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561
预订 New Methods of Literacy Research [ISBN:9780415624428] 【全球购】进口原版图书，一般5-8周左右到国内
¥2045
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Embedded Distributed Systems: How 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Data, Methods and Theory in the Organizational Sciences: 【全球购】进口原版图书，一般5-8周左右到国内
¥675.00
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden D 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Proof Methods for Modal and Intuitionistic Logics: 978904 国外库房发货，通常付款后3-5周到货
¥2190
【3-6周达】Elisa: Methods and Protocols [ISBN:9781071629055] 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.
¥1126
【预订】Research Methods and Applications in Chemical and Biolog 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781771887687 Format 版本 精装 Pages Number 页数 334页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2019-07-25 Language 语种 英语 Book Contents 内容简介 This research-oriented book consolidates and provides up-to-date experimental methods currently used in research for many branches of chemical and biological engineering. The book surveys essential ideas and research methodologies, concentrating on experiments as used in applications rather than on fine points of rigorous mathematics.
¥1868
【预订】Microarray Methods and Protocols 9781420046656 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.
¥2035
【预订】Research Methods for Public Administrators 9780367334369 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367334369 Author 作者 Gary Rassel Format 版本 平装-胶订 Pages Number 页数 616页 Publisher 出版社 Routledge Publication Date 出版日期 2020-12-30 Language 语种 英语 Book Contents 内容简介 Research Methods for Public Administrators contains a thorough overview of research methods and statistical applications for advanced undergraduate and graduate students and practitioners. The material is based on established social science methods. Concepts and applications are discussed and illustrated with examples from actual research.The book covers research design, methods of data collection, instructions on formulating research plans, measurement, sampling procedures and statistical applications from basic statistics to more advance techniques. The basics of conducting experiments, survey research, case studies and focus groups are discussed. Data organization, management
¥1582
预订 Formal Methods for Safe Autonomy: Data-Driven Verificatio 国外库房发货，通常付款后3-5周到货
¥815.00
【预售 按需印刷】Research Methods in Human Resource Management
¥2006
预订 Seismic Methods and Applications: A Guide for the Detecti 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1017
【3-6周达】Energy Methods in Continuum Mechanics: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods at the Crossroads. From Panacea to Fou 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering: 9th Internat 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods in Fixed Income Modeling: Fixed Income Mo 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【3-6周达】Inverse Methods in Electromagnetic Imaging (Softcover 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods of Speech Processing [ISBN:97814613596 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预售 按需印刷】Analytical methods for studying the stabi 北京发货，付款后10天内发货
¥855.00
海外直订Formal Methods: Foundations and Applications: 13th Brazi
¥662.00
海外直订医药图书Methods and Results of Liver Biopsy 肝活检方法及结果
¥1412
Kernel Methods and Machine Learning 核方法与机器学习 S. Y. Kung 精装
¥1233
预售 按需印刷 Methods and Innovations for Multimedia Dat多媒体数据库的内容管 北京发货，付款后10天内发货
¥1457.25
海外直订Novel Methods in Computational Finance 计算金融中的新方法
¥2120
【3-6周达】Inverse Methods in Electromagnetic Imaging: Par [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Aging: Methods and Protocols (2020) [ISBN:97810716059 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预售 按需印刷 Methods and Applications of Geospatial Tec
¥1687
【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi
¥548.00
预订 【】Numerical Methods in Economics 9780262547741 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780262547741 Author 作者 Kenneth L. Judd Format 版本 平装-胶订 Pages Number 页数 656页 Publisher 出版社 The MIT Press Publication Date 出版日期 2023-04-04 Product Dimensions 商品尺寸 9.00 x 7.00 x 1.32 Shipping Weight 商品重量 2.22 Language 语种 其它（含多语） Book Contents 内容简介 To harness the full power of computer technology, economists need to use a broad range of mathematical techniques. In this book, Kenneth Judd presents techniques from the numerical analysis and applied mathematics literatures and shows how to use them in economic analyses. The book is divided into five parts. Part I provides a general introduction. Part II presents basics from numerical analysis on R^n, including linear equations, iterative methods, optimization, nonlinear equations, approximation methods, numerical integration and differentiation, and Monte Car
¥1588
【预订】Models and Methods for Management Science 9789811916168 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811916168 Author 作者 Hao Zhang Format 版本 平装-胶订 Pages Number 页数 419页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2023-08-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.89 Shipping Weight 商品重量 1.34磅 Language 语种 其它（含多语） Book Contents 内容简介 This textbook introduces systems science as an entry point to present a basic introduction to research models and methods in management science (operation research). This textbook selects the classic quantitative models and methods as well as rich cases and detailed examples, which are suitable for students with a certain management and economics knowledge for further study, and helps to develop the abilities of using the basic models in real life.
¥1314
【预订】Physical Methods in Chemistry and Nano Science. Volume 5 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781838008581 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 154页 Publisher 出版社 Midas Green Innovation, Ltd. Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.40 Shipping Weight 商品重量 0.65磅 Language 语种 其它（含多语）
¥895.00
【预订】Standard Methods of Chemical Analysis: A Manual of Analy 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781015582446 Author 作者 Scott Format 版本 精装 Pages Number 页数 780页 Publisher 出版社 Legare Street Press Publication Date 出版日期 2022-10-26 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.63 Shipping Weight 商品重量 2.77磅 Language 语种 其它（含多语）
¥649.00
海外直订The Methods and Uses of Anthropological Demography (Isd)
¥3709
海外直订Direct Methods for Limit State of Materials and Structur
¥1863
海外直订Lie Methods in Optics II: Proceedings of the Second Work
¥662.00
Research Methods in Psychology 5e ISE pa 心理学研究方法 5e ISE pa:
¥651.00
【3-6周达】Formal Methods and Software Engineering: 5th Internat 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Direct Methods in the Calculus of Variat [ISBN:9789812380 【全球购】进口原版图书，一般5-8周左右到国内
¥1184
【3-6周达】Field Methods for Geologists and Hydrogeologists [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车