海外直订Formal Methods for Distributed System Development: Forte
¥2651
【预售 按需印刷】Research Methods for Operations and Supply Chain Ma 北京直发，付款后10日内发货
¥611.15
【预订】Computer Methods and Advances in Geomechanics, Volume 1 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061911906 Author 作者 Beer Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 1991-01-01 Shipping Weight 商品重量 1610g Language 语种 其它（含多语）
¥3578
【预订】Functional Methods in Quantum Field Theory and Statistic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789056990350 Author 作者 A.N. Vasiliev Format 版本 精装 Pages Number 页数 320页 Publisher 出版社 CRC Press Publication Date 出版日期 1998-07-28 Shipping Weight 商品重量 696g Language 语种 其它（含多语） Book Contents 内容简介 This text pays special attention to the use of those techniques which are fundamental to quantum field theory, in a wide variety of areas, including ordinary quantum mechanics, Euclidean field theory and quantum statistics at finite temperature.
¥2561
【预售 按需印刷】Ultrasonic Methods for Measurement of Sma
¥928.20
【预售 按需印刷】Research Methods in Communication
¥829.60
【预订】Formal Methods and Software Engineering 9783030024499 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030024499 Author 作者 Sun Format 版本 平装-胶订 Pages Number 页数 474页 Publication Date 出版日期 2018-10-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
¥548.00
【预订】Advanced Methods of Structural Analysis 9783030443962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030443962 Author 作者 Igor A. Karnovsky Format 版本 平装-胶订 Pages Number 页数 795页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-17 Product Dimensions 商品尺寸 11.00 x 8.25 x 1.67 Shipping Weight 商品重量 4.08 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into
¥2190
预订Mixed Methods Research Design for the Built Environment[97 预订，预计下单后4-6周左右发货
¥911.00
【3-6周达】Fusion Methods for Time-Series Classification [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
【3-6周达】Xenopus: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
3-6周达 高被引DNA Methods in Food Safety: Molecular Typing of Foo 【全球购】进口原版图书，预计3-6周左右到国内
¥1833
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥866.00
预订 Matrix Methods of Structural Analysis [ISBN:9780367571269 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【3-6周达】Sumo: Methods and Protocols [ISBN:9781493963560 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Global Methods for Combinatorial Isoperimetric Problem 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥514.00
【预订】Research Methods 9780081022207 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780081022207 Author 作者 Williamson, Kirsty Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2017-11-27 Language 语种 英语 Book Contents 内容简介 Social and Behavioral Sciences
¥1428
【预订】Biomarker Methods in Drug Discovery and Development 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617379253 Author 作者 Wang Format 版本 平装-胶订 Pages Number 页数 396页 Publication Date 出版日期 2010-11-09 Shipping Weight 商品重量 646g Language 语种 英语 Book Contents 内容简介 The pharmaceutical industry has faced many significant challenges since the early 1990s. The fundamental issue that needs to be addressed is how to improve the efficiency of drug discovery and development. The current research and development (R&D) cost for developing a new therapeutic drug is greater than $800 million. Additionally, it takes an average of 12 years to get a new drug to market with an attrition rate greater than 90%. Reviewing the overall pharmaceutical R&D process, it has become clear that many of the drug failures are due to our lack of knowledge in population diversity, which is responsible for differences in drug efficacy and toxicity. In fact, not a single appro
¥1643
【预订】Research Methods in Health Humanities 9780190918514 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780190918514 Author 作者 Klugman Craig M. Format 版本 平装-胶订 Pages Number 页数 344页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2019-10-09 Shipping Weight 商品重量 1150g Language 语种 英语 Book Contents 内容简介 This field-defining volume surveys the diverse and unique research methods used by scholars in the growing, transdisciplinary field of health humanities. Appropriate for advanced undergraduates, but nuanced enough to engage more seasoned students and scholars, this volume is an essential teaching and reference tool for health humanities teachers and scholars.
¥770.00
【预订】Research Methods in Health Communication 9780415531 美国库房发货，通常付款后3-5周到货！
¥859.00
【预订】Current Methods in Muscle Physiology 9780198523970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780198523970 Author 作者 Sugi Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Oxford University Press Publication Date 出版日期 1998-01-22 Shipping Weight 商品重量 787g Language 语种 英语 Book Contents 内容简介 Despite extensive physiological, biochemical, and structural studies, the mechanisms of muscle contraction operating in living muscle fibres are still not well understood. This book aims to describe critically various experimental methods currently used in the field of muscle research. For each method discussed, there is a comprehensive de*ion of its advantages, problems, and limitations. Each chapter also contains a summary of the central results to have been obtained using each method. Comprehensively written by experts in their respective fields, this book will be of interest to all investigators with an interest in muscle physiology.
¥2380
【3-6周达】Digital Methods and Remote Sensing in Archaeology: Ar 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预订 Basic Methods and Protocols on Sourdough 酸面团的基本方法与协议: 978 国外库房发货，通常付款后3-5周到货
¥1314
海外直订医药图书Methods of Cancer Diagnosis, Therapy and Prognosis:
¥4707
海外直订Rapid Methods for Analysis of Biological Materials in th
¥659.00
预订 String Methods for Beginners [ISBN:9780367226831] 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【3-6周达】Modern Methods of Drug Discovery [ISBN:9783764360818] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】The Mixed Methods Reader 9781412951456 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781412951456 Author 作者 Vicki L Plano Clark and John W Creswell Format 版本 平装-胶订 Pages Number 页数 640页 Publication Date 出版日期 2008-02-12 Shipping Weight 商品重量 737g Language 语种 英语 Book Contents 内容简介 "It premieres the most adept researchers in the field who have bravely and soundly followed mixed methodology approaches."-NACADA (National ACademic ADvising Association)In recent years, researchers have begun to combine quantitative and qualitative approaches within single study research designs. As such, the literature on mixed methods research has grown at a rapid pace. While more methodological books addressing mixed methods are becoming available, the foundational writings of this field are still scattered across diverse d
¥1791
【预订】Formal Methods and Object Technology 9783540199779 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540199779 Author 作者 Goldsack Format 版本 平装-胶订 Pages Number 页数 368页 Publication Date 出版日期 1996-04-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Language 语种 英语 Book Contents 内容简介 Rationale Software engineering aims to develop software by using approaches which en? able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program? ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular c
¥1095
【预订】Models and Methods for Interval-Valued Cooperative Games 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319289960 Author 作者 Li Format 版本 精装 Pages Number 页数 137页 Publication Date 出版日期 2016-02-10 Shipping Weight 商品重量 403g Language 语种 英语 Book Contents 内容简介 This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. ?Finally, the book explores several simplification methods of interval-valued solutions: ?the interval-valued equal division and equal surplus division values; t
¥985.00
【预订】Tasks and Methods in Applied Artificial Intelligence 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540645740 Author 作者 Pobil Format 版本 平装-胶订 Pages Number 页数 950页 Publication Date 出版日期 1998-05-20 Language 语种 英语 Book Contents 内容简介 This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.The two volumes present a total of 187 revised full papers selected from 291 submissions. In accordance with the conference, the books are devoted to new methodologies, knowledge modeling and hybrid techniques. The papers explore applications from virtually all subareas of AI including knowledge-based systems, fuzzyness and uncertainty, formal reasoning, neural information processing, multiagent systems, perception, robotics, natural language processing, machine learning, superv
¥1095
【预订】Numerical Methods for Metamaterial Design 9789400799226 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789400799226 Author 作者 Kenneth Diest Format 版本 平装-胶订 Pages Number 页数 213页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2015-08-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 361g Language 语种 英语 Book Contents 内容简介 This book describes a relatively new approach for the design of electromagnetic metamaterials.? Numerical optimization routines are combined with electromagnetic simulations to tailor the broadband optical properties of a metamaterial to have predetermined responses at predetermined wavelengths.After a review of both the major efforts within the field of metamaterials and the field of mathematical optimization, chapters covering both gradient-based and derivative-free design methods are considered.? Selected topics including surrogate-base optimization, adaptive mesh sear
¥1643
【预订】Molecular Methods for Virus Detection 美国库房发货，通常付款后3-5周到货！
¥777.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】In Vitro Methods in Pharmaceutical Research 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】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
按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订，预计下单后2-3周左右发货！
¥1449
【预订】Computer Methods in Chemical Engineering 9781138434530 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138434530 Author 作者 Nayef Ghasem Format 版本 精装 Pages Number 页数 524页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-07-27 Language 语种 其它（含多语）
¥2336
【预订】Modern Methods for Musicology 9781138257733 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138257733 Format 版本 平装-胶订 Pages Number 页数 216页 Publication Date 出版日期 1800-01-01 Shipping Weight 商品重量 380g Language 语种 英语 Book Contents 内容简介 Written by leading experts, this volume provides a picture of the realities of current ICT use in musicology as well as prospects and proposals for how it could be fruitfully used in the future. This volume highlights the breadth and inter-disciplinary nature of the subject, providing a valuable resource to technologists, musicologists, musicians and music educators.
¥738.00
海外直订Lie Methods in Deformation Theory 变形理论中的Lie方法
¥1739
【预订】Geometric Methods in Physics XXXVII 9783030340711 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340711 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 The book consists of articles based on the XXXVII Biaowie?a Workshop on Geometric Methods in Physics, 2018. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. This edition of the workshop featured a special session dedicatedto Professor Daniel Sternheimer on the occasion of his 80thbirthday.The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past sev
¥1643
预订 Research Methods for Medical Graduates [ISBN:978103208725 【全球购】进口原版图书，一般5-8周左右到国内
¥663.00
预订 Lattice Methods for Quantum Chromodynamics [ISBN:97898125 【全球购】进口原版图书，一般5-8周左右到国内
¥921.00
预订Research Methods in Applied Behavior Analysis [ISBN:978076 【全球购】进口原版图书，约3-6周到达国内后发出
¥1420
海外直订New Methods of Polymer Synthesis 高分子合成的新方法
¥662.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
海外直订Modern Methods of Construction Design: Proceedings of IC
¥3976
【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911873 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Research Methods in Kinesiology and the Health Sciences 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780781797740 Author 作者 Hall Format 版本 精装 Pages Number 页数 385页 Publisher 出版社 Lippincott Williams & Wilkins （LWW） Publication Date 出版日期 2014-02-24 Shipping Weight 商品重量 1600g Language 语种 英语 Book Contents 内容简介 Wolters Kluwer Health is pleased to introduce this innovative first edition by acclaimed authors Susan Hall and Nancy Getchell aimed at helping students learn vital research skills in an accessible manner.? Designed for introductory research methods courses at the beginning graduate and undergraduate levels; Research Methods in Kinesiology includes all major topics conventionally addressed in introductory research methods texts. Taking a practical approach; this book focuses on topics directly related to development of research proposals; since these topics are most relevant to beginning researchersWith unique chapters on r
¥1175
【预订】Manual of Methods for Soil and Land Evaluation 978113811 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138113985 Format 版本 平装-胶订 Publication Date 出版日期 2017-07-27 Language 语种 英语
¥705.00
【预售 按需印刷】Detection Methods of Organic Acids in Ste
¥911.20
【预订】Matrix Methods for Advanced Structural Analysis 97801281 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128117088 Author 作者 Papadrakakis, Manolis Format 版本 平装-胶订 Pages Number 页数 512页 Publication Date 出版日期 2017-11-13 Language 语种 英语 Book Contents 内容简介 Analysis and Design (Structures)
¥1919
【预订】Formal Methods in Human-Computer Interaction 美国库房发货，通常付款后3-5周到货！
¥595.00
【预订】Rethinking Methods in Psychology 美国库房发货，通常付款后3-5周到货！
¥518.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车