【3-6周达】Formal Methods for Analyzing Privacy Policies [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
【3-6周达】Formal Methods and Software Engineering: 11th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
3-6周达 New Methods and Approaches for Studying Child Developm 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1157
预订 Rapid methods for biological and chemical contaminants in 国外库房发货，通常付款后3-5周到货
¥1809
【预售 按需印刷】Inventory Methods in LCA
¥775.20
海外直订Formal Methods and Software Engineering: 9th Internation
¥662.00
海外直订Formal Methods for Software Engineering: Languages, Meth
¥931.00
【3-6周达】Payment Methods and Finance for International Trade ( 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【预订】Research Methods in the Health Sciences 9781516518661 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781516518661 Author 作者 Debbie Zelizer Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Cognella Academic Publishing Publication Date 出版日期 2018-12-30 Product Dimensions 商品尺寸 10 x 7.9 x 0.5 cm Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Research Methods in the Health Sciences provides clinical and non-clinical health science students with a comprehensive review of the designs and methods most frequently used in the discipline. Rather than preparing them to conduct original research, this text helps students develop a broad working knowledge of research processes across methodologies.Over the course of 10 chapters, students gain a strong understanding of the scientific method, evidence-based practice, deductive and inductive reasoning, ethical issues when conducting research, and the role of lite
¥1028
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1318
【预订】Formal Methods for Industrial Critical Systems 978364203 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642032394 Author 作者 Darren Cofer Honeywell Technology Center Minneapolis MN Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicit
¥548.00
【预订】Direct Methods in the Calculus of Variations 97814419225 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441922595 Author 作者 Bernard Dacorogna Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-29 Shipping Weight 商品重量 961g Language 语种 英语 Book Contents 内容简介 This book is developed for the study of vectorial problems in the calculus of variations. It is a new edition of the earlier book published in 1989. Almost half of the book consists of new material and there are added examples.
¥1861
【预订】Linking Methods in Critical Point Theory 9781461272106 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461272106 Author 作者 Schechter Format 版本 平装-胶订 Pages Number 页数 294页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 980g Language 语种 英语 Book Contents 内容简介 As is well known, The Great Divide (a.k.a. The Continental Divide) is formed by the Rocky Mountains stretching from north to south across North America. It creates a virtual ’stone wall’ so high that wind, rain, snow, etc. cannot cross it. This keeps the weather distinct on both sides. Since railroad trains cannot climb steep grades and tunnels through these mountains are almost formidable, the Canadian Pacific Railroad searched for a mountain pass providing the lowest grade for its tracks. Employees discovered a suitable mountain pass, called the Kicking Horse Pass, el. 54
¥1095
【预订】Research Methods for Environmental Studies 9781138680173 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138680173 Author 作者 Mark Kanazawa Format 版本 平装-胶订 Pages Number 页数 394页 Publisher 出版社 Routledge Publication Date 出版日期 2017-10-30 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 five key parts, Kanazawa introduces quantitative and qualitative approaches, mixed methods, and the special requirements of interdisciplinary research.
¥554.00
【预订】Operator Methods in Quantum Mechanics 9780198539612 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198539612 Author 作者 de Lange O. L. Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1991-11-28 Shipping Weight 商品重量 738g Language 语种 英语 Book Contents 内容简介 The purpose of this volume is two-fold; to provide an introduction to the use of operator methods in quantum mechanics and to serve as a reference work on this topic. Although there has been much research on this, many of these results have remained scattered in the literature and therefore somewhat inaccessible to the non-specialist until now.
¥1301
【预订】Research Methods in Indigenous Contexts 9783319727745 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319727745 Author 作者 Groh Format 版本 精装 Pages Number 页数 236页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-02-12 Shipping Weight 商品重量 543g Language 语种 英语 Book Contents 内容简介 This forward-looking resource offers readers a modern contextual framework for conducting social science research with indigenous peoples. Foundational chapters summarize current UN-based standards for indigenous rights and autonomy, with their implications for research practice. Coverage goes on to detail minimally-invasive data-gathering methods, survey current training and competency issues, and consider the scientist’s role in research, particularly as a product of his/her own cultural background. From these guidelines and findings, students and professionals have a robust base for carrying out indigenous research that is valid and
¥766.00
【预售 按需印刷】Research Methods in Social Studies Educat
¥549.95
【预售 按需印刷】Analytical Methods for Drinking Water
¥2463.3
【预售 按需印刷】Optical methods for the estimation of phy 北京发货，付款后10天内发货
¥1412
【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Numerical Methods for Stiff Equations and Singular Pertu 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Computer Methods for Circuit Analysis and Design 9781441 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Zebrafish: Methods and Protocols 9781493937691 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Optical Methods in Experimental Solid Mechanics 97832118 美国库房发货，通常付款后3-5周到货！
¥2274
【预订】Asymptotic Methods in Mechanics of Solids 9783319386829 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Roots of Polynomials - Part II 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444527301 Author 作者 McNamee Format 版本 精装 Pages Number 页数 728页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2013-08-01 Shipping Weight 商品重量 1210g Language 语种 英语 Book Contents 内容简介 Field Theory and Polynomials; Numerical Analysis
¥1620
【预订】Optical Methods in Sensing and Imaging for Medical and B 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783038973706 Format 版本 平装-胶订 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Language 语种 英语
¥774.00
【预订】Clinical Methods in Respiratory Medicine 9789352704507 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789352704507 Format 版本 平装-胶订 Publisher 出版社 Jaypee Brothers Medical Publishers Publication Date 出版日期 1800-01-01 Language 语种 英语
¥944.00
海外直订Formal Methods for Industrial Critical Systems: 23rd Int
¥662.00
多项式方法和关联理论 英文原版 Polynomial Methods and Incidence Theory 剑桥高等
¥679.00
海外直订Modern Methods of Plant Analysis / Moderne Methoden Der
¥1325
按需印刷New methods for generating significance levels from mult 预订，预计下单后2-3周左右发货！
¥597.00
预订 Mixed Methods in Ethnographic Research: Historical Perspe 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
预订 Modern Methods of Optimization: Proceedings of the Summer 国外库房发货，通常付款后3-5周到货
¥548.00
【3-6周达】Formal Methods: 25th International Symposium, FM 2023 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Standard Methods for the Examination of Water and Wastew 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780875532875 Format 版本 平装-胶订 Publication Date 出版日期 2017-07-31 Language 语种 英语
¥5008
【预订】Numerical Methods for Bifurcation Problems: Proceedings 美国库房发货，通常付款后3-5周到货！
¥512.00
【预订】Biological Methods of Waste Treatment and Management in 美国库房发货，通常付款后3-5周到货！
¥1255
【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods for Evaluating Interactive Information Retrie 【全球购】进口原版图书，一般3-6周左右到国内
¥1215
【3-6周达】Design Methods in Architecture & Planning. "Design is 【全球购】进口原版图书，一般3-6周左右到国内
¥530.00
【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Formal Methods and Software Engineering 预订商品
¥1095
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1043
预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它（含多语） Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa
¥1490
【3-6周达】Formal Methods and Stochastic Models for Performance 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Research Methods for Anthropological Studies of Food 【全球购】进口原版图书，一般3-6周左右到国内
¥5882
海外直订Formal Methods: Foundations and Applications: 15th Brazi
¥606.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651
【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319033396 Author 作者 Klempous Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 This book offers an excellent presentation of intelligent engineering and informatics foundations for researchers in this field as well as many examples with industrial application. It contains extended versions of?selected papers presented at the inaugural ACASE 2012 Conference dedicated to the Applications of Systems Engineering. This conference was held from the 6th to the 8th of February 2012, at the University of Technology, Sydney, Australia, organized by the University of Technology, Sydney (Australia), Wroclaw University of Technology (Poland) and the?Univ
¥1643
【预订】Formal Methods and Software Engineering 9783030634056 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030634056 Format 版本 平装-胶订 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1070g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
¥548.00
【预订】Research Methods in Linguistic Anthropology 978135011749 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781350117495 Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2022-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.94 Shipping Weight 商品重量 1.67 Language 语种 其它（含多语）
¥1073
【预订】Formal Methods 9783031274800 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2638
海外直订医药图书Methods in Medicine: A Descriptive Study of Physicia
¥662.00
预订 Select Methods in Chemical Analysis: Third Edition: 97833 国外库房发货，通常付款后3-5周到货
¥862.00
【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program
¥985.00
【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货
¥882.00
【预订】Activation Methods - Sonochemistry And High Pressure 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781786305107 Author 作者 Jean-Philippe Goddard Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2020-02-04 Product Dimensions 商品尺寸 9.3 x 6.2 x 0.6 cm Shipping Weight 商品重量 900g Language 语种 英语
¥2020
预订 Delphi Methods In The Social And Health Sciences 预订商品
¥608.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车