
【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书,一般3-6周左右到国内
¥2444

【3-6周达】Formal Methods: Foundations and Applications: 21st Br 【全球购】进口原版图书,一般3-6周左右到国内
¥674.00

海外直订Matrix Methods of Structural Analysis 结构分析的矩阵法
¥1915

Research Methods for the Behavioral Sciences 行为科学研究方法 第6版 英文
¥664.00

海外直订Formal Methods for Industrial Critical Systems: 19th Int
¥636.00

海外直订Modern Methods in Scientific Computing and Applications
¥1337

【预订】Antibody Methods and Protocols 9781493959303 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493959303 Author 作者 Gabriele Proetzel The Jackson Laboratory Bar Harbor ME U Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 10 x 7 x 0.7 cm Shipping Weight 商品重量 647g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it
¥1588

【预订】Direct Methods for Limit State of Materials and Structur 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031291210 Format 版本 精装 Pages Number 页数 290页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-05 Language 语种 其它(含多语)
¥1753

海外直订医药图书Methods in Neuroendocrinology 神经内分泌学方法
¥765.00

【预订】Kernel Methods for Machine Learning with Math and R 9789 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811903977 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-21 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66 Language 语种 其它(含多语) Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building R programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can sol
¥492.00

【预订】Ultrasonic Methods for Material and Structure Inspection 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781905209699 Author 作者 Tribikram Kundu Format 版本 精装 Pages Number 页数 393页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2007-01-09 Shipping Weight 商品重量 720g Language 语种 英语 Book Contents 内容简介 Ultrasonic signals are increasingly being used for predicting material behavior, both in an engineering context (detecting anomalies in a variety of structures) and a biological context (examining human bones, body parts and unborn fetuses). Featuring contributions from authors who
¥3008

【预订】Mixed Methods Research: Research Methods [ISBN:978135027 【全球购】进口原版图书,约10-12周到达国内后发出
¥689.00

【预订】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

海外直订Formal Methods for Distributed Processing: A Survey of O
¥2171

【预订】Formal Methods: 26th International Symposium, FM 2024, M 【全球购】进口原版图书,一般10-12周左右到国内
¥535.00

预订 Formal Methods: Foundations and Applications: 28th Brazil 国外库房发货,通常付款后3-5周到货
¥666.00

【3-6周达】Agile Methods. Large-Scale Development, Refactoring, 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00
![【3-6周达】Modern Methods of Development [ISBN:9786205396643]](images/model/guan/url_none.png)
【3-6周达】Modern Methods of Development [ISBN:9786205396643] 【全球购】进口原版图书,一般3-6周左右到国内
¥713.00

【3-6周达】Methods and Applications of Crystal Structure Predict 【全球购】进口原版图书,一般3-6周左右到国内
¥3104
![预订 Aging Methods and Protocols [ISBN:9781617370830]](images/model/guan/url_none.png)
预订 Aging Methods and Protocols [ISBN:9781617370830] 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥1424
![【3-6周达】New Methods Polymer Synthesis [ISBN:9781468415322]](images/model/guan/url_none.png)
【3-6周达】New Methods Polymer Synthesis [ISBN:9781468415322] 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Agile Methods: 8th Brazilian Workshop, Wbma 2017, Bel 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

Research Methods in Second Language Acquisition - a Practic.
Product Details 基本信息 ISBN-13 书号 9781444334272 Author 作者 Alison Mackey Format 版本 平装-胶订 Pages Number 页数 334页 Publication Date 出版日期 2011-12-02 Language 语种 英语 Book Contents 内容简介 "Research Methods in Second Language Acquisition: A Practical Guide"is an informative guide to research design and methodology for graduate students and scholars. Each chapter of this volume offers background, step-by-step guidance, and relevant studies t
¥576.00

【预订】Automated Methods in Cryptographic Fault Analysis 978303 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030113322 Author 作者 Breier Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2019-04-14 Language 语种 英语 Book Contents 内容简介 This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
¥1095

【预订】Clustering Methods for Big Data Analytics: Techniques, T 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030074197 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1643

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988

海外直订Formal Methods and Software Engineering: 10th Internatio
¥662.00

海外直订piRNA: Methods and Protocols 方法和协议
¥2713

【预订】Advanced Methods and Technologies in Metallurgy in Russi 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319882222 Format 版本 平装-胶订 Pages Number 页数 214页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-06-04 Shipping Weight 商品重量 472g Language 语种 其它(含多语) Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these achievements - particular
¥1095

海外直订Novel Methods and Technologies for Enterprise Informatio
¥1203

【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货,付款后10天内发货
¥1400

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988

【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书,一般3-6周左右到国内
¥685.00

海外直订Mixed Methods Research and Culture-Specific Intervention
¥1024

预订 Basic Methods in Protein Purification and Analysis: A Lab 【全球购】进口原版图书,一般5-8周左右到国内
¥764.00

【3-6周达】DNA Methods in Clinical Microbiology [ISBN:9789048154 【全球购】进口原版图书,一般3-6周左右到国内
¥2333

【3-6周达】Sol-Gel Methods for Materials Processing: Focus [ISBN 【全球购】进口原版图书,一般3-6周左右到国内
¥2339

【3-6周达】Direct Methods for Limit and Shakedown Analysis of St 【全球购】进口原版图书,一般3-6周左右到国内
¥1105

【3-6周达】Models, Methods and Decision Support for Management: 【全球购】进口原版图书,预计3-6周左右到国内
¥1273

海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1048

按需印刷Mixed-Methods Research in Wellbeing and Health 预订,预计下单后3-4周左右发货!
¥504.00

【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书,一般3-6周左右到国内
¥1684

【预订】Analytical Methods in Nonlinear Oscillations 97894024154 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789402415407 Author 作者 Esmailzadeh Format 版本 精装 Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book covers both classical and modern analytical methods in nonlinear systems. A wide range of applications from fundamental research to engineering problems are addressed. The book contains seven chapters, each with miscellaneous problems and their detailed solutions. More than 100 practice problems are illustrated, which might be useful for students and researchers in the areas of nonlinear oscillations and applied mathematics. With providing real world examples, this book shows the multidisciplinary emergence of nonlinear dynamical systems in a wide range of applications including mechanical and electrical oscillators, micro/nano resonators and sensors, and also modelling of global warming, epidemic diseases, sociology, chemical reactions, biolog
¥1643

【预订】Research Methods in Psycholinguistics and the Neurobiolo 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119109846 Author 作者 Annette de Groot Format 版本 精装 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语 Book Contents 内容简介 Bringing together contributions from a distinguished group of researchers and practitioners, editors Annette M. B. de Groot and Peter Hagoort explore the methods and technologies used by researchers of language acquisition, language processing, and communication, including: traditional observational and behavioral methods; computational modelling; corpus linguistics; and virtual reality. The book also examines neurobiological methods, including functional and structural neuroimaging and molecular genetics. Ideal for students engaged in the field, Research Methods in Psycholinguistics and the Neurobiology of Language examines the relative strengths and weaknesses of various methods in relation to competing approaches.
¥1170

3-6周达 Modern Methods for Analysing Archaeological and Histor 【全球购】进口原版图书,预计3-6周左右到国内
¥3227

【预订】Numerical Methods For Solving Partial Differential Equat 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119316114 Author 作者 George Pinder Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2017-12-22 Language 语种 英语
¥1706

【预订】Modeling Methods for Medical Systems Biology 97833198935 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319893532 Author 作者 ?lvarez-Buylla Roces Format 版本 精装 Pages Number 页数 236页 Publication Date 出版日期 2018-07-11 Language 语种 英语 Book Contents 内容简介 This book contributes to better understand how lifestyle modulations can effectively halt the emergence and progression of human diseases. The book will allow the reader to gain a better understanding of the mechanisms by which the environment interferes with the bio-molecular regulatory processes underlying the emergence and progression of complex diseases, such as cancer. Focusing on key and early cellular bio-molecular events giving rise to the emergence of degenerative chronic disease, it builds on previous experience on the development of multi-cellular organisms, to propose a mathematical and computer based framework that allows the reader to analyze the complex interplay between bio-molecular processes and
¥1533

【预订】Numerical Methods for Processes in Fractured Porous Medi 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030269401 Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-08-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1170g Language 语种 英语 Book Contents 内容简介 This volume collects state-of-the-art contributions on the numerical simulation of fractured porous media, focusing on flow and geomechanics. First appearing in issues of the International Journal on Geomathematics, these articles are now conveniently packaged in one volume. Of particular interest to readers will be the potential applications of modern numerical methods to the problem of processes in fractured porous media. This book is ideal for computational scientists and numerical analysts interested in recent developments of numerical discretization techniques for underground flow and g
¥932.00

海外直订Formal Methods in Computer-Aided Design: Third Internati
¥1325

海外直订Modern Methods for Musicology 现代音乐学方法
¥2353
![预订 DNA Methods in Clinical Microbiology [ISBN:9780792363071]](images/model/guan/url_none.png)
预订 DNA Methods in Clinical Microbiology [ISBN:9780792363071] 【全球购】进口原版图书,一般5-8周左右到国内
¥1267

按需印刷Visual Methods in Social Research 预订,预计下单后2-3周左右发货!
¥648.00

海外直订Formal Methods: Foundations and Applications: 13th Brazi
¥662.00

【预售 按需印刷】Analytical methods for studying the stabi 北京发货,付款后10天内发货
¥855.00

海外直订Novel Methods in Computational Finance 计算金融中的新方法
¥2120

【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561

预订 按需印刷 Methods of Mathematical Modelling
¥509.15

【预售 按需印刷】Molecular Methods in Diagnostic Pathology 北京发货,付款后10天内发货
¥620.00

预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi
¥553.35

预售 按需印刷 Methods in Floristic and Phytosociological 北京发货,付款后10天内发货
¥1105