【预订】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
【预订】Many-Body Methods for Atoms and Molecules 9781482211900 美国库房发货，通常付款后3-5周到货！
¥2613
Analytical Methods in Economics 经济学分析方法: 9780472081356
¥613.00
【预售 按需印刷】Asymptotic Methods for Integrals
¥1680.45
【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内
¥689.00
【3-6周达】高被引PCR: Methods and Protocols [ISBN:9781493970 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预订】Analytical Methods for Polymer Characterization 97803675 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367572358 Author 作者 Rui Yang Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 590g Language 语种 英语 Book Contents 内容简介 Analytical Methods for Polymer Characterization presents a collection of methods for polymer analysis. Topics include chromatographic methods (gas chromatography, inverse gas chromatography, and pyrolysis gas chromatography), mass spectrometry, spectroscopic methods (ultraviolet-visible spectroscopy, infrared spectroscopy, Raman spectroscopy, and nuclear magnetic resonance), thermal analysis (differential scanning calorimetry and thermogravimetry), microscopy methods (scanning electron microscopy, transmission electron microscopy, and atomic force microscopy), and x-ray diffraction. The author also discusses mechanical and dynamic mechanical p
¥692.00
【3-6周达】RNA: Methods and Protocols [ISBN:9781493956432 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Seismic Methods and Applications: A Guide for the Det 【全球购】进口原版图书，一般3-6周左右到国内
¥721.00
【预售 按需印刷】Research Methods in Accounting
¥627.30
海外直订Simple Methods to Study Pedology and Edaphology of India
¥1233
海外直订HPLC Methods for Clinical Pharmaceutical Analysis - A Us
¥793.00
预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内
¥2249
海外直订医药图书Methods for Meta-Analysis in Medical Research 医学研究中的
¥1547
【3-6周达】Mixed Methods and Cross Disciplinary Research [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】New Methods of Source Reconstruction for Magnetoencep 【全球购】进口原版图书，一般3-6周左右到国内
¥1048
【3-6周达】Formal Methods for Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Methods for recognizing multispectral images based on 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1346
【预订】Ideas and Methods in Quantum and Statistical Physics 978 美国库房发货，通常付款后3-5周到货！
¥2128
【预订】Tools and Methods of Program Analysis 9783031504228 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031504228 Author 作者 Rostislav Yavorskiy Format 版本 平装-胶订 Pages Number 页数 189页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
¥711.00
【预订】Functional Methods in Quantum Field Theory and Statistic 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367579265 Author 作者 A.N. Vasiliev Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.6 Language 语种 其它（含多语） Book Contents 内容简介 Providing a systematic introduction to the techniques which are fundamental to quantum field theory, this book pays special attention to the use of these techniques in a wide variety of areas, including ordinary quantum mechanics, quantum mechanics in the second-quantized formulation, relativistic quantum field theory, Euclidean field theory, quantum statistics at finite temperature, and the classical statistics of nonideal gas and spin systems. The extended chapter on variational methods and functional Legendre transformations contains completely original mater
¥753.00
预订Mixed Methods Research Design for the Built Environment[97 预订，预计下单后4-6周左右发货
¥911.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
海外直订Java Methods for Financial Engineering: Applications in
¥986.00
海外直订Formal Methods for Distributed System Development: Forte
¥2651
【3-6周达】Models, Methods and Decision Support for Management: 【全球购】进口原版图书，预计3-6周左右到国内
¥1273
【预订】Research Methods: A Framework for Evidence-Based Clinica 美国库房发货，通常付款后3-5周到货！
¥1289
海外直订Matrix Methods of Structural Analysis 结构分析矩阵法
¥713.00
海外直订Cd95: Methods and Protocols Cd95:方法和方案
¥1233
Numerical Methods and Optimization An Introduction 数值方法与优化：简
¥768.00
【3-6周达】DNA Methods in Clinical Microbiology [ISBN:9789048154 【全球购】进口原版图书，一般3-6周左右到国内
¥2333
【3-6周达】Sol-Gel Methods for Materials Processing: Focus [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥2339
【3-6周达】Direct Methods for Limit and Shakedown Analysis of St 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 【】cryoEM: Methods and Protocols 9781071609682 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781071609682 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语）
¥1150
预订 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.
¥1553
预订 Hplc Methods for Recently Approved Pharmaceuticals *批准*的高 国外库房发货，通常付款后3-5周到货
¥3407
【3-6周达】Formal Methods: Foundations and Applications: 16th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
预订 Diverse Methods in Customer Relationship Marketing and Ma 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1756
预订 Novel Methods for Solving Linear and Nonlinear Integral E 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
【3-6周达】Formal Methods and Testing: An Outcome of the Fortest 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内
¥2609
【3-6周达】Methods for laparoscopic instrument tracking and moti 【全球购】进口原版图书，一般3-6周左右到国内
¥1261
【3-6周达】Research Methods in Neurochemistry: Volume 2 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering: 15th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.
¥692.00
预订 Mixed-Methods Research in Wellbeing and Health [ISBN:9780 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥2122
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618780 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-02 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 its physiological functions. In taking part in enzymatic reactions and protecting the cell against free radicals, selenium shows immunomodulative, antiphlogistic, an
¥2190
预订 按需印刷 Methods in Medical Informatics
¥686.80
预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货
¥769.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1325
海外直订Formal Methods Teaching: Third International Workshop an
¥662.00
【预订】Numerical Methods for Finance 9780367388591 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367388591 Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.10 x 6.10 x 0.90 Shipping Weight 商品重量 1.30 Language 语种 其它（含多语）
¥922.00
【预订】Iterative Methods without Inversion 9781498758925 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498758925 Author 作者 Anatoly Galperin Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2016-10-26 Language 语种 英语 Book Contents 内容简介 This book is about iterative methods for solving operator equations f(x) = 0 in Banach and/or Hilbert spaces. Its subject are methods that do not require inversions of f (or solving linearized subproblems). The typical representatives of the class of methods discussed are Ulm’s and Broyden’s methods. Convergence analyses of the methods considered are based on Kantorovich’s majorization principle which allows to avoid unnecessary simplifying assumptions like differentiability of the operator or solvability of the equation. These analyses are carried out under a more general assumption about degree of continuity of the operator than traditional Lipschitz continuity: regular continuity.
¥2306
海外直订Formal Methods - The Next 30 Years: Third World Congress
¥662.00
【预订】Physical Methods for Materials Characterisation, Third E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781482245233 Author 作者 Peter E. J. Flewitt and Robert K. Wild Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-02-01 Language 语种 英语 Book Contents 内容简介 This completely revised and expanded new edition covers the full range of techniques now available for the investigation of materials structure and accurate quantitative determination of microstructural features within materials. It continues to provide the best introductory resource for understanding the interrelationship between microstructure and physical, mechanical, and chemical properties, as well as selection and application of techniques for both basic and applied studies. In particular, changes have been made to reflect developments in analysis of nanoscale and biological materials.
¥1614
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车