【3-6周达】Emerging Methods in Family Research [ISBN:97833193769 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预订 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
海外直订Formal Methods for Industrial Critical Systems: 24th Int
¥534.00
【预订】Formal Methods 9783030908690 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited
¥1205
按需印刷Mixed Methods in Criminology 预订，预计下单后2-3周左右发货！
¥1512
【预订】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
海外直订Phasor Methods of AC Circuit Analysis: - Designed Using
¥476.00
【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be
¥548.00
【预订】Matrix Methods And Fractional Calculus 9789813227521 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813227521 Author 作者 Mathai Arak M et Al Format 版本 精装 Pages Number 页数 220页 Publication Date 出版日期 2017-11-13 Language 语种 英语 Book Contents 内容简介 Fractional calculus in terms of mathematics and statistics and its applications to problems in natural sciences is NOT yet part of university teaching curricula. This book is one attempt to provide an approach to include topics of fractional calculus into university curricula. Additionally the material is useful for people who do research work in the areas of special functions, fractional calculus, applications of fractional calculus, and mathematical statistics.
¥1175
【预订】Models and Methods for Interval-Valued Cooperative Games 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319804705 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-30 Language 语种 英语
¥985.00
现货 Practical Methods for Analysis and Design of HV Installat
Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d
¥1760
【预订】Geometric Methods in Physics: XXXIV Workshop, Bialowie&# 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319811109 Format 版本 平装-胶订 Publisher 出版社 Birkhauser Publication Date 出版日期 2018-05-30 Language 语种 英语
¥1643
海外直订医药图书Methods and Folklore 方法与民俗
¥675.00
【预订】Physical Methods for Microorganisms Detection 9781315896 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315896496 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1288
【预订】Stochastic Methods In Experimental Sciences 978981020178 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810201784 Format 版本 平装-胶订 Publisher 出版社 World Scientific? Publication Date 出版日期 1800-01-01 Language 语种 英语
¥2108
【预订】Theory and Methods in Social Research 9781849200141 美国库房发货，通常付款后3-5周到货！
¥1326
【预订】Numerical Methods for Exterior Problems 9789812705266 美国库房发货，通常付款后3-5周到货！
¥659.00
按需印刷Kernel Methods and Estimation of Extreme Value Index 预订，预计下单后2-3周左右发货！
¥1067
预订 Formal Methods and Software Engineering 预订商品
¥1095
【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
【3-6周达】Formal Methods for Computational Systems Biology: 8th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Maize: Methods and Protocols [ISBN:9781493973149 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods: Foundations and Applications: 19th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内
¥842.00
3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥551.00
【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Optical Methods in Dynamics of Fluids and Solids: Pro 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Novel Methods in Electrical Stimulation with Surface Elec 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥743.00
【预订】Numerical Methods for Electromagnetic Scattering by 美国库房发货，通常付款后3-5周到货！
¥1325
预售 按需印刷Methods of Soil Stabilization
¥882.00
海外直订Formal Methods for Components and Objects: Second Intern
¥553.00
【3-6周达】Methods of Environmental Data Analysis [ISBN:97894010 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Innovative Methods, User-Friendly Tools, Coding, and Des 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522559696 Author 作者 Steve Goschnick Format 版本 精装 Pages Number 页数 488页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2018-09-05 Language 语种 英语 Book Contents 内容简介 As modern technologies continue to develop and evolve, the ability of users to interface with new systems becomes a paramount concern. Research into new ways for humans to make use of advanced computers and other such technologies is necessary to fully realize the potential of twenty-first-century tools. Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming is a critical scholarly resource that examines development and customization user interfaces for advanced technologies and how these interfaces can facilitate new developments in various fields. Featuring coverage on a broad range of topics such as role-based mod
¥1840
【预订】Current Methods of Construction Design: Proceedings of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030331450 Author 作者 Medveck? Format 版本 平装-胶订 Pages Number 页数 535页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-01-24 Language 语种 英语 Book Contents 内容简介 This conference proceeding presents contributions to the 59th International Conference of Machine Design (ICMD 2018), organized by the University of ?ilina, Faculty of Mechanical Engineering, Department of Design and Mechanical Elements. Discussing innovative solutions applied in engineering, the latest research and developments, and guidance on improving the quality of university teaching, it covers a range of topics, including:machine design and optimizationengineering analysistribology and nanotechnologyadditive technologieshydraulics and fluid mechanismsmodern materials and technologybiomechanicsbiomimicry; andinnovation
¥1643
【预订】Microarray Methods and Protocols 9781138406995 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138406995 Author 作者 Robert S. Matson Format 版本 精装 Pages Number 页数 245页 Publication Date 出版日期 2017-08-29 Language 语种 英语 Book Contents 内容简介 Offers insights into the uses of micro array technology. This book describes the application of gene expression arrays to identify drug targets for human diseases and to predict possible drug toxicity problems.
¥2441
【3-6周达】高被引New Methods of Celestial Mechanics [ISBN:978160805 【全球购】进口原版图书，一般3-6周左右到国内
¥1028
【3-6周达】Oat: Methods and Protocols [ISBN:9781493966806 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Modern Methods of Construction 美国库房发货，通常付款后3-5周到货！
¥1013
【3-6周达】Formal Methods for Industrial Critical Systems: 18th 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【预订】Bayesian Methods for Real-Time Pitch Tracking 美国库房发货，通常付款后3-5周到货！
¥965.00
海外直订Formal Methods in Computer-Aided Design: 5th Internation
¥553.00
海外直订Modern Methods in the Calculus of Variations: L^p Spaces
¥594.00
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
¥588.00
【3-6周达】Direct Methods in the Theory of Elliptic Equations [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1298
3-6周达 土壤酶学方法Methods Of Soil Enzymology [ISBN:9780891188544] 【全球购】进口原版图书，预计3-6周左右到国内
¥1202
【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Formal Methods and Software Engineering 9783540000297 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540000297 Author 作者 George Format 版本 平装-胶订 Pages Number 页数 636页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-09 Language 语种 英语
¥1095
【预订】Multiscale Methods in Science and Engineering 9783540253 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540253358 Author 作者 Engquist Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-05-24 Language 语种 英语 Book Contents 内容简介 Multiscale problems naturally pose severe challenges for computational science and engineering. The smaller scales must be well resolved over the range of the larger scales. Challenging multiscale problems are very common and are found in e.g. materials science, fluid mechanics, electrical and mechanical engineering. Homogenization, subgrid modelling, heterogeneous multiscale methods, multigrid, multipole, and adaptive algorithms are examples of methods to tackle these problems. This volume is an overview of current mathematical and computational methods for problems with multiple scales with applications in chemistry, physics and engineering.
¥1095
【预订】Algebraic Methods in Physics 9781461265283 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461265283 Author 作者 Saint-Aubin Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer New York Publication Date 出版日期 2012-10-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 880g Language 语种 英语 Book Contents 内容简介 This book pays tribute to two pioneers in the field of Mathematical physics, Jiri Patera and Pavel Winternitz of the CRM. Each has contributed more than forty years to the subject of mathematical physics, particularly to the study of algebraic methods.
¥548.00
【预订】Applied Methods of Cost-Benefit Analysis in Health Care 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780199237128 Author 作者 McIntosh Emma Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2010-06-24 Shipping Weight 商品重量 452g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive set of instructions and examples of how to perform a cost-benefit analysis (CBA) of a health intervention, with a particular focus on the use of stated preference survey methods to identify consumer preference data and the use of recent developments in cost-effectiveness analysis within a CBA framework.
¥1035
【预订】Research Methods for Early Childhood Education 978135001 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781350015401 Author 作者 Flewitt Rosie Format 版本 精装 Pages Number 页数 224页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2020-01-23 Language 语种 英语 Book Contents 内容简介 Research Methods for Early Childhood Education takes an international perspective on research design and illustrates how research methods are inextricably linked to cultural and theoretical understandings of early childhood, young children’s competences and the purposes of education. The book offers a critical and reflective approach to established and innovative research methods in early childhood education, making links between diverse methodologies, methods and theory, with illustrative examples of research in practice. Each chapter addresses a specific methodological approach, linking the methodology to early childhood education with vignettes as examples of research
¥895.00
【预订】Formal Methods and Software Engineering 9783540238416 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540238416 Author 作者 Davies Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-28 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, specication, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make t
¥1095
预订 Video Methods: Social Science Research in Motion: 9781138 国外库房发货，通常付款后3-5周到货
¥648.00
【3-6周达】Novel Methods in Computational Finance [ISBN:97833198 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车