海外直订Modern Methods of Water Purification 水净化的现代方法
¥530.00
海外直订On Methods of Music Theory and (Ethno-) Musicology: From
¥1300
【预订】Asymptotic Methods for Elastic Structures 美国库房发货，通常付款后3-5周到货！
¥1337
【预订】Diagnostic Methods of Anca 美国库房发货，通常付款后3-5周到货！
¥790.00
【预订】Spectral Methods for Non-Standard Eigenvalue Problems: F 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Multigrid Methods IV: Proceedings of the Fourth European 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Modelling Methods For Energy In Buildings 美国库房发货，通常付款后3-5周到货！
¥2043
【预订】Analytical Methods for Studying the Stability of 美国库房发货，通常付款后3-5周到货！
¥956.00
【预订】Research Methods for Organizational Studies 美国库房发货，通常付款后3-5周到货！
¥1282
Polynomial Methods in Combinatorics 组合学的多项式方法（丛书） 9781470428
¥732.00
【预订】Neurons: Methods and Applications for the Cell Biologist 美国库房发货，通常付款后3-5周到货！
¥2026
【预订】Neutron Methods for Archaeology and Cultural Heritage 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319331614 Author 作者 Nikolay Kardjilov Helmholtz Zentrum Berlin Berlin Germany Format 版本 精装 Pages Number 页数 349页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-12-28 Shipping Weight 商品重量 740g Language 语种 英语 Book Contents 内容简介 This book provides an extensive overview of the application of neutron characterization techniques in cultural heritage to a broad audience and will be of interest to both scientists and non-scientists in the field. Archaeologists, paleontologists, restaurateurs and conservators, historians and collectors will be fascinated by the wealth of information that can be obtained using neutron techniques, while material scientists and engineers will find details of the experimental techniques and materials properties that can be determined. Neutrons, due to their weak interactions with mat
¥2409
海外直订Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin
¥662.00
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651
海外直订Formal Methods and Models for System Design: A System Le
¥2120
【预订】Modern Methods in Phytomedicine 美国库房发货，通常付款后3-5周到货！
¥1594
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥693.00
预订 按需印刷 Methods in Chemosensory Research
Written by world experts in the field of neuronal chemoreception, Methods in Chemosensory Research describes new molecular, electrophysiological, genetic, behavioral, psychophysical, and imaging techniques that have recently been adapted to investigate the basic neuronal mechanisms underlying chemoreception: taste, olfaction and chemical-induced irritation. This unique book includes a wide variety of new and innovative imaging methods, electrophysiological methods, methods to investigate development, and various aspects of behavioral testing. Covering the entire spectrum of chemoreception, each section not only describes what information can be obtained by using each method, but also shows how to apply each method to obtain reliable results. The book presents a comprehensive view of how the brain uses information about chemical stimuli that interact with receptors in the nose and tongue. Methods in Chemosensory Research gives you the new tools to learn how chemicals affect activity from the genetic to
¥2047.65
预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi
¥553.35
【预售 按需印刷】Numerical Methods for Ordinary
¥2146.25
【预订】Simulation Methods for Reliability and Availability of C 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848822122 Author 作者 Faulin Format 版本 精装 Pages Number 页数 316页 Publisher 出版社 Springer London Publication Date 出版日期 2010-04-19 Shipping Weight 商品重量 1430g Language 语种 英语 Book Contents 内容简介 Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) levels in complex systems. The book: shares theoretical or applied models and decision support systems that make use of simulation to estimate and to improve system R and A levels, forecasts emerging technologies and trends in the use of computer simulation for R and A and proposes hybrid approaches to the development of efficient methodologies designed to solve R and A-related problems in real-life systems.Dealing with practical issues, Simulation Meth
¥1643
【预订】Formal Methods and Software Engineering 9783540881933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540881933 Author 作者 Shaoying Liu Hosei University Dept. Computer Science Kogan Format 版本 平装-胶订 Pages Number 页数 397页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are intended to oer e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must
¥548.00
【预订】Research Methods in International Business 9783030221157 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030221157 Format 版本 平装-胶订 Pages Number 页数 511页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2020-12-08 Product Dimensions 商品尺寸 8.2 x 5.8 x 1 cm Shipping Weight 商品重量 1370g Language 语种 其它（含多语） Book Contents 内容简介 Showcasing methodological rigour and state-of-the-art methods as hallmarks of modern international business (IB) research, this book offers a collection of the most relevant and highly cited research methods articles from the Journal of International Business Studies (JIBS). Each piece is accompanied by a new Commentary written by experts in the field; some also include Further Reflections by the original authors. Encompassing both qualitative and quantitative approaches, this comprehensive volume explores research design, testing and reporting, as well as specific methodological issues such a
¥2359
【预订】\(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
【预订】Laboratory Methods for the Detection of Mutations and Po 美国库房发货，通常付款后3-5周到货！
¥2605
【预订】TOPICS AND METHODS IN Q-SERIES 9789813224179 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813224179 Author 作者 MC LAUGHLIN JAMES Format 版本 精装 Pages Number 页数 400页 Publication Date 出版日期 2017-09-22 Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive introduction to the many aspects of the subject of basic hypergeometric series. The book essentially assumes no prior knowledge but eventually provides a comprehensive introduction to many important topics. After developing a treatment of historically important topics such as the q-binomial theorem, Heine’s transformation, the Jacobi triple product identity, Ramanujan’s 1-psi-1 summation formula, Bailey’s 6-psi-6 summation formula and the Rogers-Fine identity, the book goes on to delve more deeply into important topics such as Bailey- and WP-Bailey pairs and chains, q-continued fractions, and mock theta functions. There are also chapters on other topics such as Lambert series
¥1660
【预订】Theories, Methods, and Applications in Ergonomics and Pr 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522552345 Author 作者 Juan Luis Hernández Arellano^^Aide Aracely Maldonado Macias^ Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-04-30 Language 语种 英语 Book Contents 内容简介 Product design is an important field where ergonomics and human factors should be applied. To achieve this goal, effective strategies for process improvement must be researched and implemented.Theories, Methods, and Applications in Ergonomics and Product Design is a critical scholarly resource that provides new theories, methodologies, and applications of ergonomics and product design and redesign. Featuring a broad range of topics such as additive manufacturing, product analysis, and sustainable packing development, this book is geared towards academicians, practitioners, and researchers seeking current research on new theories, methods, and applications related to ergono
¥2011
【预订】Formal Methods for Industrial Critical Systems: 23rd Int 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030002435 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-08-30 Language 语种 英语
¥548.00
【预订】Innovative Methods for Rare Disease Drug Development 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367502904 Author 作者 Shein-Chung Chow Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-11-11 Product Dimensions 商品尺寸 234x220 mm Language 语种 其它（含多语） Book Contents 内容简介 In the United States, a rare disease is defined by the Orphan Drug Act as a disorder or condition that affects fewer than 200,000 persons. For the approval of "orphan" drug products for rare diseases, the traditional approach of power analysis for sample size calculation is not feasible because there are only limited number of subjects available for clinical trials. In this case, innovative approaches are needed for providing substantial evidence meeting the same standards for statistical assurance as drugs used to treat common conditions. Innovative Methods for Rare Disease Drug Development focuses o
¥611.00
【预订】Detection Methods in Precision Medicine 9781788017619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781788017619 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Royal Society of Chemistry (RSC) Publication Date 出版日期 2020-12-18 Product Dimensions 商品尺寸 9.30 x 6.20 x 1.10 Shipping Weight 商品重量 1.60 Language 语种 其它（含多语） Book Contents 内容简介 Precision medicine is a topical subject that attracts tremendous attention from scientific and medical communities, being set to transform health care in the future. This book will be among the first to cover the detection methods for precision medicine. The first section provides an overview of the biomarkers used for precision medicine, such as proteins, nucleic acids, and metabolites. The coverage then turns to sequencing techniques and their applications, and other bioanalytical techniques, including mass spectrometry for proteome and phosphoproteome analysis, immunological methods
¥2253
【预订】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
【3-6周达】Formal Methods for Mobile Computing: 5th Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: An Introduction to Symbolic Logic and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.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
【预订】Numerical Methods and Advanced Simulation in Biomechanic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128117187 Author 作者 Cerrolaza, Miguel Format 版本 平装-胶订 Pages Number 页数 454页 Publication Date 出版日期 2017-10-05 Language 语种 英语 Book Contents 内容简介 Biomedical Engineering
¥2132
【预售 按需印刷】H Methods for Control and State Estimation of Nonli
¥820.25
海外直订医药图书Methods in Biological Oxidative Stress 生物氧化应激的研究方法
¥1325
海外直订Formal Methods for Dynamical Systems: 13th International
¥491.00
【预订】Direct Methods 9783030488369 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030488369 Author 作者 Aurora Angela Pisano Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-17 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.81 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics
¥1643
【预订】Algebraic Methods in Functional Analysis: The Victor Shu 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥607.00
【3-6周达】Research Methods for Social Work: A Problem-Based App 【全球购】进口原版图书，一般3-6周左右到国内
¥2201
【3-6周达】TALENs: Methods and Protocols [ISBN:9781493929313 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods for Executable Software Models: 14th I 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems: From 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods for Components and Objects [ISBN:97835 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Copula Methods in Finance [ISBN:9780470863442] 【全球购】进口原版图书，预计3-6周左右到国内
¥1615
【预订】Employment Methods (1920) 9781164206392 美国库房发货，通常付款后3-5周到货！
¥633.00
海外直订Silac: Methods and Protocols Silac:方法和协议
¥1670
【预订】Graphic Methods for Presenting Facts 9781163291948 美国库房发货，通常付款后3-5周到货！
¥497.00
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥761.00
环境追踪分析方法 Methods for Environmental Trace Analysis 英文原版 John 环境科学JohnR.Dean
¥778.00
海外直订Arts Methods for the Self-Representation of Undergraduat
¥1479
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车