【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1816
海外直订医药图书Methods in Pain Research 疼痛研究方法
¥2648
海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R
¥2651
【预订】Allostery: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034896320 Author 作者 Jas Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-24 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 800g Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
【预订】Spectral Methods in Quantum Field Theory 9783642001383 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642001383 Author 作者 Noah Graham Middlebury College Dept. Physics Middlebury V Format 版本 精装 Pages Number 页数 182页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-08 Shipping Weight 商品重量 461g Language 语种 英语 Book Contents 内容简介 In this monograph we apply scattering theory methods to calculations in quantum eld theory, with a particular focus on properties of the quantum vacuum. These methods will provide e?cient and reliable solutions to a - riety of problems in quantum ?eld theory. Our approach will also elucidate in a concrete context many of the subtleties of quantum ?eld theory, such as divergences, regularization, and renormalization, by connecting them to more familiar results in quantum mechanics. We will use tools of scattering theory to characterize the spectrum of energyeigenstatesinapotentialbac
¥548.00
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥2369
海外直订EEG Methods for the Psychological Sciences 心理科学的脑电图方法
¥1072
海外直订Formal Methods for Real-Time and Probabilistic Systems:
¥553.00
海外直订Formal Methods and Software Engineering: 4th Internation
¥1325
海外直订Modern Methods of Construction and Innovative Materials
¥713.00
海外直订Formal Methods for Components and Objects: 10th Internat
¥662.00
【预订】Revival: Methods of Detection and Identification of Bact 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138560857 Author 作者 Mitruka, B. M.(作者) Format 版本 平装-胶订 Pages Number 页数 270页 Publication Date 出版日期 1800-01-01 Language 语种 英语
¥664.00
【预订】Research Methods in Public Administration and Nonprofit 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138743793 Author 作者 David E. McNabb Format 版本 精装 Pages Number 页数 578页 Publication Date 出版日期 2017-09-07 Language 语种 英语 Book Contents 内容简介 Now in a thoroughly revised and refreshed fourth edition, Research Methods in Public Administration and Nonprofit Management is beloved by student and professors alike for its exceptional clarity, accessibility, and plentiful illustrations. This new edition integrates quantitative, qualitative, and mixed methods approaches, as well as specific up-to-date instruction in the use of statistical software programs such as Excel and SPSS. Changes to this edition include: A new section, featuring two new chapters, to explore mixed methods approaches to research, including fundamentals, research design, data collection, and analyzing and interpreting findings A new, dedicated chapter on Big Data research Upda
¥3616
预订 Tableau Methods for Propositional Logic and Term Logic (P 【全球购】进口原版图书，约3-6周到达国内后发出
¥957.00
【预订】Formal Methods for Computational Systems Biology 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688921 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-20 Shipping Weight 商品重量 819g Language 语种 英语
¥548.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥548.00
【预订】Formal Methods for Industrial Critical Systems 978354079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540797067 Author 作者 Stefan Leue Universit?t Konstanz FB Informatik und Konstan Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-19 Shipping Weight 商品重量 412g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods an
¥548.00
海外直订医药图书Methods in Vitamin B-6 Nutrition: Analysis and Statu
¥662.00
海外直订Formal Methods: Foundations and Applications: 17th Brazi
¥530.00
【预订】Research Methods for Environmental Studies 9781138680166 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138680166 Author 作者 Mark Kanazawa Format 版本 精装 Pages Number 页数 394页 Publisher 出版社 Routledge Publication Date 出版日期 2017-10-17 Language 语种 英语 Book Contents 内容简介 Written specifically for social science-based research into the environment, this book covers the best-practice research methods most commonly used to study the environment. Over the course of the chapters, Kanazawa introduces quantitative and qualitative approaches, mixed methods, and the special requirements of interdisciplinary research.
¥1662
【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra
¥932.00
【预订】Critical Methods in Political and Cultural Economy 97811 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138934276 Format 版本 平装-胶订 Pages Number 页数 182页 Publication Date 出版日期 2017-04-27 Language 语种 英语 Book Contents 内容简介 This volume offers students and scholars the first methods book for the critical school of IPE.
¥587.00
【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2035
【预订】Modern Methods for Business Research 9780805826777 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780805826777 Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Psychology Press Publication Date 出版日期 1998-03-01 Shipping Weight 商品重量 874g Language 语种 英语 Book Contents 内容简介 The puropse of the volume is is to introduce a selection of the latest popular methods for conducting business research. The goal is to provide an understanding and working knowledge of each method.
¥1958
【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
【预订】Formal Methods: Foundations and Applications 97836421982 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642198281 Author 作者 Davies Format 版本 平装-胶订 Pages Number 页数 291页 Publication Date 出版日期 2011-03-23 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
¥548.00
【预订】Molecular Methods for Evolutionary Genetics 978161779227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617792274 Author 作者 Orgogozo Format 版本 精装 Pages Number 页数 503页 Publication Date 出版日期 2011-09-29 Shipping Weight 商品重量 1160g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art protocols for sampling genetic variation for genetic mapping studies and population genetic studie
¥1643
【预订】Research Methods and Statistics in Psychology 9781444170 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781444170115 Author 作者 Hugh Coolican Format 版本 平装-胶订 Pages Number 页数 788页 Publication Date 出版日期 2014-04-04 Shipping Weight 商品重量 1678g Language 语种 英语 Book Contents 内容简介 The sixth edition of this bestselling text has been thoroughly revised and updated, providing students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today.
¥987.00
【预订】Analytical Methods in Marine Hydrodynamics 9781107179691 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781107179691 Author 作者 Ioannis K. Chatjigeorgiou Format 版本 精装 Pages Number 页数 528页 Publication Date 出版日期 2018-09-01 Language 语种 英语 Book Contents 内容简介 The value of analytical solutions relies on the rigorous formulation, and a strong mathematical background. This comprehensive volume unifies the most important geometries, which allow for the development of analytical solutions for hydrodynamic boundary value problems. It offers detailed explanations of the Laplance domain and numerical results associated with such problems, providing deep insight into the theory of hydrodynamics. Extended numerical calculations are provided and discussed, allowing the reader to use them as benchmarks for their own computations and making this an invaluable resource for specialists in in various disciplines, including hydrodynamics, acoustics, optics, electrostatics, and br
¥2326
【预订】Matrix Methods of Structural Analysis 9780815381501 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780815381501 Author 作者 Praveen Nagarajan Format 版本 精装 Pages Number 页数 344页 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-displacement relation for a given structure using flexibility and stiffness coefficients.
¥1560
【预订】Geometric Methods and Applications 9781441999603 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441999603 Author 作者 Gallier Format 版本 精装 Pages Number 页数 680页 Publication Date 出版日期 2011-06-21 Shipping Weight 商品重量 1220g Language 语种 英语 Book Contents 内容简介 This book is an introduction to the fundamental concepts and tools needed for solving problems of a geometric nature using a computer. It attempts to fill the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics, computer vision, robotics, or machine learning. ?This book covers the following topics: affine geometry, projective geometry, Euclidean geometry, convex sets, SVD and principal component analysis, manifolds and Lie groups, quadratic optimization, basics of differential geometry, and a glimpse of computational geometry (Voronoi diagrams and Delaunay triangulations). Some practical applications of the concepts presented in
¥1205
【预订】Biopolymer Methods in Tissue Engineering 9781617372803 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617372803 Author 作者 Hollander Format 版本 平装-胶订 Pages Number 页数 257页 Publication Date 出版日期 2010-11-10 Language 语种 英语 Book Contents 内容简介 There is an urgent need to develop new approaches to treat conditions as- ciated with the aging global population. The surgeon’s approach to many of these problems could be described as having evolved through three stages: Removal: Traditionally, diseased or badly damaged tissues and structures might simply be removed. This was appropriate for limbs and non-essential organs, but could not be applied to structures that were critical to sustain life. An additional problem was the creation of disability or physical deformity that in turn could lead to further complications. Replacement: In an effort to treat wider clinical problems, or to overcome the limitations of amputation, surgeons turned to the use of implanted
¥1095
【预订】Concepts, Methods and Practical Applications in Applied 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319654386 Author 作者 Thomas Format 版本 精装 Pages Number 页数 333页 Publication Date 出版日期 2018-02-08 Shipping Weight 商品重量 678g Language 语种 英语 Book Contents 内容简介 This textbook offers a comprehensive overview of applied demography by presenting both basic concepts and methodological techniques. It allows students from the social and human sciences, demographers, consultants and anyone interested in applied demography to gain an understanding of a wide range of practical applications of demographic concepts, methods and techniques to real- world problems. Featured sidebars highlight relevant terms and concepts and case studies and exercises throughout the book offer first-hand exposure to demographic applications. Charts and graphs supplement the presentation of demographic concepts and a glossary provides an inventory of relevant terms. The first
¥1205
【预订】Spectral Methods in Fluid Dynamics 9783540522058 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540522058 Author 作者 Canuto Format 版本 平装-胶订 Pages Number 页数 568页 Publisher 出版社 Springer Publication Date 出版日期 1991-03-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Language 语种 英语 Book Contents 内容简介 This is a book about spectral methods for partial differential equations: when to use them, how to implement them, and what can be learned from their of spectral methods has evolved rigorous theory. The computational side vigorously since the early 1970s, especially in computationally intensive of the more spectacular applications are applications in fluid dynamics. Some of the power of these discussed here, first in general terms as examples of the methods have been methods and later in great detail after the specifics covered. This book pays special attention to those algorithmic details which are essential to successful implem
¥985.00
【预订】Advanced Methods for Modeling Markets 9783319851600 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319851600 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-13 Language 语种 英语
¥3833
海外直订The Methods of Distances in the Theory of Probability an
¥2006
预订Mixed Methods Set [ISBN:9781412911634] 【全球购】进口原版图书，约3-6周到达国内后发出
¥7191
预订 New Methods in Cognitive Psychology [ISBN:9781848726314] 【全球购】进口原版图书，一般5-8周左右到国内
¥706.00
【预订】In Vitro Methods in Toxicology 美国库房发货，通常付款后3-5周到货！
¥661.00
【预订】Numerical Methods for Fluid Dynamics IV 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Modern Methods Of Particle Size Analysis 美国库房发货，通常付款后3-5周到货！
¥4994
按需印刷Kernel Methods and Estimation of Extreme Value Index 预订，预计下单后2-3周左右发货！
¥1067
按需印刷Mixed Methods in Criminology 预订，预计下单后2-3周左右发货！
¥1512
预订 Research Methods for Forensic Psychologists: A Guide to C 【全球购】进口原版图书，一般5-8周左右到国内
¥2385
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥967.00
【3-6周达】Novel Methods in Computational Finance [ISBN:97833198 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预订】Research Methods for the Biosciences 9780198728498 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198728498 Author 作者 Holmes Debbie Format 版本 平装-胶订 Pages Number 页数 488页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2016-11-10 Language 语种 英语 Book Contents 内容简介 Research Methods for the Biosciences is the perfect resource for students wishing to develop the crucial skills needed for designing, carrying out, and reporting research, with examples throughout the text drawn from real undergraduate projects.
¥742.00
【预订】Rethinking Methods in Psychology 美国库房发货，通常付款后3-5周到货！
¥518.00
海外直订Z-DNA: Methods and Protocols Z-DNA:方法和方案
¥2467
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2651
海外直订Formal Methods for Distributed Processing: A Survey of O
¥767.00
【预订】Formal Methods: Foundations and Applications: 20th Brazi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319708478 Author 作者 Fiadeiro, Jose Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-12-11 Language 语种 英语
¥711.00
【预订】Tools and Methods of Program Analysis: 4th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319717333 Author 作者 Zakharov, Victor Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-14 Language 语种 英语
¥548.00
【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语
¥1095
【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥548.00
【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥548.00
【预订】Formal Methods in Human-Computer Interaction 美国库房发货，通常付款后3-5周到货！
¥595.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车