【3-6周达】Formal Methods for Components and Objects: 9th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Direct Methods for Solving the Boltzmann Equation and St
¥1458
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
¥616.00
预售 按需印刷 Methods for Analyzing and Leveraging Onlin分析和利用在线学习数 北京发货，付款后10天内发货
¥1074
海外直订Formal Methods: Foundations and Applications: 21st Brazi
¥768.00
【预售 按需印刷】Research Methods in the Health Sciences
¥745.45
【预售 按需印刷】Practical Methods in Ecology
¥1017.45
【预售 按需印刷】Multigrid Methods on GPUs 北京发货，付款后10天内发货
¥765.00
【预售 按需印刷】Hybrid Methods in Feature Selection 北京发货，付款后10天内发货
¥901.00
海外直订Formal Methods: 24th International Symposium, FM 2021, V
¥1330
海外直订Formal Methods. FM 2019 International Workshops: Porto,
¥662.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1988
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥713.00
【预订】Spectral Methods and Their Applications 9789810233334 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810233334 Author 作者 Guo Ben-Yu Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1998-05-05 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book presents the basic algorithms, the main theoretical results, and some applications of spectral methods. Particular attention is paid to the applications of spectral methods to nonlinear problems arising in fluid dynamics, quantum mechanics, weather prediction, heat conduct
¥1372
【预订】In Vitro Methods for Conservation of Plant Genetic 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Geodesic Methods in Computer Vision and Computer 美国库房发货，通常付款后3-5周到货！
¥1310
【预订】Interferon Methods and Protocols Y9781617375545 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Analytical Methods for Food Safety by Mass Spectrometry 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128141656 Author 作者 Pang, Guo-Fang Format 版本 平装-胶订 Pages Number 页数 676页 Publication Date 出版日期 2018-06-21 Language 语种 英语 Book Contents 内容简介 Analytical Methods for Food Safety by Mass Spectrometry, Volume Two: Veterinary Drugs systematically introduces the Pesticide and Veterinary Drug Multiresidues Analytical Methods, with discussions on 69 veterinary drug multiresidues chromatic-MS analytical methods that are capable of detecting over 200 veterinary drugs and chemical residues of 20 categories, such as ss-agonists, ss-lactams, aminoglycosides, amphenicols, anabolic hormone, anabolic steroids, avermectins, benzimidazole, cephalosporins, glucocorticoid steroids, macrolides, nitrofurans, nitroimidazoles, NSAIDs, polyether, polypeptides, progestagens, pyrazolones, quinolones, quinoxalines, sedatives, sulfonamides, synthetic estrogens, tetracyclines, th
¥2132
【预订】Tensor Methods in Statistics: Monographs on Statistics a 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315898018 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-11-29 Language 语种 英语
¥664.00
【3-6周达】Visual Methods in Social Research [ISBN:9781446269756 【全球购】进口原版图书，预计3-6周左右到国内
¥785.00
海外直订Modern Methods of Development 现代发展方法
¥754.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783319 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods in Symmetric Cryptanalysis [ISBN:97838465 【全球购】进口原版图书，一般3-6周左右到国内
¥1048
【3-6周达】New methods for determining the static and impact har 【全球购】进口原版图书，一般3-6周左右到国内
¥476.00
【3-6周达】Novel Methods for Monitoring and Managing Land and Wa 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Martingale Methods in Financial Modelling 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Invariant Methods in Discrete and Computational 美国库房发货，通常付款后3-5周到货！
¥1095
预订Research Methods for Counseling: An Introduction [ISBN:978 【全球购】进口原版图书，约3-6周到达国内后发出
¥918.00
海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene
¥576.00
海外直订古英语 Methods in Experimental Economics 实验经济学方法
¥865.00
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
【预订】Applied Methods for Agriculture and Natural Resource Man 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030134860 Author 作者 Siwa Msangi Format 版本 精装 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-06-09 Language 语种 英语 Book Contents 内容简介 This book assesses recent developments in the analysis of agricultural policy and water resource management, and highlights the utility and theoretical rigor of quantitative methods for modeling agricultural production, market dynamics, and natural resource management. In diverse case studies of the intersection between agriculture, environmental quality and natural resource sustainability, the authors analyze economic behavior - both at aggregate as well as at individual agent-level - in order to highlight the practical implications for decision-markers dealing with environmental and agricultural policy. The volume also addresses the challenges of doing robust analysis
¥1095
【预订】Research Methods for the Digital Humanities 978331996712 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319967127 Author 作者 lewis levenberg Levenberg Services Inc. Bloomingburg NY Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2018-11-13 Language 语种 英语 Book Contents 内容简介 This volume introduces the reader to the wide range of methods that digital humanities employ, and offers a practical guide to the study, interpretation, and presentation of cultural material and practices. In this instance, the editors consider digital humanities to include both the use of computing to understand cultural material in new ways, and the application of theories and methods from the humanities to interpret new technologies. Each chapter provides a step-by-step guide to cutting-edge methodologies so that students can make informed decisions about the methods they use, consider ethical practices, follow practic
¥531.00
【预订】Arts-based Methods and Organizational Learning 978331963 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319638072 Author 作者 Chemi Format 版本 精装 Pages Number 页数 338页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2017-10-27 Shipping Weight 商品重量 601g Language 语种 英语 Book Contents 内容简介 This thematic volume explores the relationship between the arts and learning in various educational contexts and across cultures, but with a focus on higher education and organizational learning. Arts-based interventions are at the heart of this volume, which addresses how they are conceived, designed, carried out, and assessed in different higher educational and cultural contexts. Readers will discover diverse perspectives of the contributing authors from across the world and from a variety of settings: formal education, informal learning for adults and organisational learning. A necessary introductory conceptualisation sets the stage for the
¥1651
【预订】Integral Methods in Science and Engineering Y97805823040 美国库房发货，通常付款后3-5周到货！
¥1658
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥731.00
【预订】Software Methods for Business Reengineering 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Ecological Methods in Forest Pest Management 美国库房发货，通常付款后3-5周到货！
¥1435
【预订】Comparison Methods For Stochastic Models & Risks 美国库房发货，通常付款后3-5周到货！
¥2623
【预订】Inverse Methods in Physical Oceanography 美国库房发货，通常付款后3-5周到货！
¥740.00
【预订】Research Methods: A Tool for Life 9781108436236 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108436236 Author 作者 Beins, Bernard C Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-09-19 Language 语种 英语
¥855.00
海外直订Formal Methods for Distributed Processing: A Survey of O
¥2160
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1318
海外直订Formal Methods for Software Engineering: Languages, Meth
¥931.00
【预订】Simulation Methods for Esd Protection Development 美国库房发货，通常付款后3-5周到货！
¥2878
海外直订Mixed Methods Perspectives on Communication and ... 传播与社
¥2021
【预订】Research Methods for Sports Studies 9781032017525 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032017525 Author 作者 Jones Format 版本 平装-胶订 Pages Number 页数 384页 Publisher 出版社 Routledge Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.71kg Language 语种 其它（含多语） Book Contents 内容简介 Research Methods for Sports Studies;is a comprehensive, engaging and practical textbook that provides a grounding in qualitative and quantitative research for students studying programmes related to sport and physical activity.;Leading the reader step-by-step through the entire research process, from identifying a research question and collecting and analysing data to writing and presenting the research report, the book is richly illustrated throughout with sport-related case studies and examples from around the world. Research Methods for Sports Studies;is designed
¥679.00
预订 Mixed Methods for Psychological Measurement 国外库房发货，通常付款后3-5周到货
¥2034
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
预订 The Methods of Contemporary Thought: Translated from the 国外库房发货，通常付款后3-5周到货
¥548.00
海外直订String Methods for Beginners 面向初学者的字符串方法
¥2021
【3-6周达】Soft Methods for Handling Variability and Imprecision 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】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
【预订】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
【预订】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周达】Formal Methods: Foundations and Applications [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
【预订】Numerical Methods for Flows 9783030307073 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030307073 Author 作者 van Brummelen Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-03 Language 语种 其它（含多语） Book Contents 内容简介 This book includes selected contributions on applied mathematics, numerical analysis, numerical simulation and scientific computing related to fluid mechanics problems, presented at the FEF-“Finite Element for Flows” conference, held in Rome in spring 2017. Written by leading international experts and covering state-of-the-art topics in numerical simulation for flows, it provides fascinating insights into and perspectives on current and future methodological and numerical developments in computational science. As such, the book is a valuable resource for researchers, as well as Masters and Ph.D students.
¥1095
海外直订Formal Methods for Components and Objects: 4th Internati
¥662.00
海外直订Design Methods for Reducing Failure Probabilities with E
¥1317
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车