海外直订Direct Methods of Solving Crystal Structures 直接求解晶体结构的方法

¥2651

中华商务进口图书旗舰店

Schenk, Henk /2014-01-08 /Springer

海外直订Pade Methods for Painleve Equations 疼痛级方程的分页方法

¥735.00

中华商务进口图书旗舰店

Nagao, Hidehito /2021-09-01 /Springer Verlag, Singapore

海外直订Modern Methods in Operator Theory and Harmonic Analysis:

¥1739

中华商务进口图书旗舰店

Karapetyants, Alexey /2019-08-28 /Springer

海外直订New Methods of Geostatistical Analysis and Graphical Pre

¥1988

中华商务进口图书旗舰店

Bachi, Roberto /1999-10-30 /Springer

海外直订Formal Methods for Industrial Critical Systems: 27th Int

¥802.00

中华商务进口图书旗舰店

Groote, Jan Friso /2022-08-11 /Springer

【3-6周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Badriev,Ildar B.;Banderov,Victor;Lapin,S /2023-09-29 /Springer

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

中国进口图书旗舰店

Sekerinski /2020-08-13 /Springer Berlin Heidelberg

【3-6周达】Methods in Protein Structure Analysis [ISBN:978148991 【全球购】进口原版图书，一般3-6周左右到国内

¥2147

书之源外文图书

Tanacredi,JohnT.;Appella,Ettore /2013-05-31 /Springer

预订 【】Formal Methods for Discrete-Time Dynamical Systems (Sof 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9783319844855 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-21 Language 语种 英语

¥1954

中国进口图书旗舰店

暂无作者信息 /2018-07-21 /Springer

【3-6周达】Aging: Methods and Protocols (2020) [ISBN:97810716059 【全球购】进口原版图书，一般3-6周左右到国内

¥1781

书之源外文图书

Georgiev, Minko /2020-05-15 /Humana

【3-6周达】Inverse Methods in Electromagnetic Imaging: Par [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Boerner,Wolfgang-M /2013-11-20 /Springer

【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Bernardo,Marco; Cortellessa,Vittorio; Pi /2012-06-14 /Springer

【3-6周达】Optical Methods in Engineering Metrology [ISBN:978940 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Williams,D. C. /2012-11-13 /Springer

3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内

¥2097

书之源外文图书

2014-10-06 /Wiley-Iste

按需印刷Design Methods of Safety-Critical Electronic Automotive 预订，预计下单后2-3周左右发货！

¥957.00

上海外文书店旗舰店

Fulep Timea /KS OmniScriptum Publishing

【3-6周达】Formal Methods: Foundations and Applications: 17th Br 【全球购】进口原版图书，一般3-6周左右到国内

¥486.00

书之源外文图书

2015-01-27 /Springer

预订 Direct Methods in the Calculus of Variat [ISBN:9789812380 【全球购】进口原版图书，一般5-8周左右到国内

¥1184

书之源外文图书

Giusti, Enrico /2003-01-15 /World Scientific Publishing Company

【3-6周达】Field Methods for Geologists and Hydrogeologists [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Assaad, Fakhry A. /2004-02-01 /Springer

【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Jin, Helena, Sciammarella, Cesar, Furlon /2012-09-23 /Springer

预订 按需印刷 Methods in Medical Informatics

¥686.80

中图图书旗舰店

2018-10-02 /taylor

【3-6周达】Formal Methods: 25th International Symposium, FM 2023 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Chechik,Marsha;Katoen,Joost-Pieter;Leuck /2023-03-03 /Springer

海外直订RNA: Methods and Protocols RNA:方法和协议

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2010-12-09 /Humana

【3-6周达】Design Methods in Architecture & Planning. "Design is 【全球购】进口原版图书，一般3-6周左右到国内

¥530.00

书之源外文图书

Glover Riba,B. C. /2018-10-26 /Outskirts Press

【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Keser, Beth ; Kroehnert, Steffen /2019-06-04 /Springer

按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！

¥668.00

上海外文书店旗舰店

Johnson, Gail (Independent Researcher, U /2014-03-30 /Taylor & Francis Ltd

【预售 按需印刷】Bayesian Methods for Managemen

¥1342.15

中图图书旗舰店

Hahn /2014-09-19 /John Wiley & Sons

海外直订Formal Methods for Open Object-Based Distributed Systems

¥662.00

中华商务进口图书旗舰店

Steffen, Martin /2005-06-02 /Springer

海外直订医药图书Methods In Research And Development Of Biomedical De

¥1161

中华商务进口图书旗舰店

Wong, Kelvin Kian Loong /2013-03-17 /World Scientific Publishing Co Pte Ltd

现货Research Methods for Business Students

¥2720

上海外文书店旗舰店

* /*

【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.

¥1643

中国进口图书旗舰店

Ateshian /2020-04-01 /Springer Berlin Heidelberg

【3-6周达】Kernel Methods for Machine Learning with Math and Pyt 【全球购】进口原版图书，一般3-6周左右到国内

¥535.00

书之源外文图书

Suzuki, Joe /2022-05-15 /Springer

【3-6周达】Schwarz Methods and Multilevel Preconditioners for Bo 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Stephan, Ernst P., Tran, Thanh /2022-08-20 /Springer

【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hardy, Edme H /2013-11-30 /Springer

预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev

¥1076

中国进口图书旗舰店

Jiacun Wang and William Tepfenhart /2019-07-02 /Chapman and Hall/CRC

【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.

¥2152

中国进口图书旗舰店

Karan S. Surana /2018-11-02 /暂无出版社信息

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

中国进口图书旗舰店

Sugi /1998-01-22 /Oxford University Press

3-6周达 高被引Methods for Phase Diagram Determination [ISBN:97800 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2620

书之源外文图书

Zhao, Ji-Cheng /2007-09-01 /Elsevier Science

【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

D. K. Pal /2018-06-04 /Springer International Publishing

预售 按需印刷 Methods, Models, and Computation for Medic对于医学信息的方法、 北京发货，付款后10天内发货

¥1878.75

中图图书旗舰店

Gangopadhyay, Aryya /2012-12-31 /IGI出版社

【3-6周达】Methods of Protein Separation [ISBN:9781468499865] 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2012-10-31 /Springer

海外直订New Methods of Polymer Synthesis 高分子合成的新方法

¥662.00

中华商务进口图书旗舰店

Ebdon, J. R. /2012-04-18 /Springer

预订 String Methods for Beginners [ISBN:9780367226831] 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Giray,Selim /2020-03-30 /Routledge

海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体

¥2439

中华商务进口图书旗舰店

Anile, Marcelo /1993-05-04 /Chapman & Hall/CRC

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

中国进口图书旗舰店

Joe Suzuki /2022-05-21 /Springer Berlin Heidelberg

海外直订Formal Methods and Software Engineering: 21st Internatio

¥662.00

中华商务进口图书旗舰店

Ait-Ameur, Yamine /2019-10-05 /Springer

海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:

¥3976

中华商务进口图书旗舰店

Hayat, M. A. /2009-12-17 /Springer

海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

¥1238

中华商务进口图书旗舰店

Wang, Jiacun /2019-07-02 /CRC Press

海外直订医药图书Methods for Investigating Localized Clustering of Di

¥598.00

中华商务进口图书旗舰店

Alexander, F. E. /1997-06-04 /Oxford University Press, USA

【预售 按需印刷】ESTIMATION METHODS IN MULTILEVEL STRUCTUR

¥1046.35

中图图书旗舰店

Jimmy Byrd /2010-06-28 /KS OmniScriptum Publishing

【预售 按需印刷】Numerical Methods

¥2466.7

中图图书旗舰店

Bouleau /1993-12-17 /John Wiley & Sons

【3-6周达】Novel Methods and Technologies for Enterprise Informa 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Piazolo, Felix; Felderer, Michael /2014-07-18 /Springer

【3-6周达】Z-DNA: Methods and Protocols [ISBN:9781071630860] 【全球购】进口原版图书，一般3-6周左右到国内

¥1588

书之源外文图书

Kim,Kyeong Kyu;Subramani,Vinod Kumar /2024-03-24 /Humana

【3-6周达】Formal Methods for Quantitative Aspects of Programmin 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Aldini, Alessandro /2010-06-11 /Springer

3-6周达 Kernel Methods in Computer Vision [ISBN:9781601982681] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥679.00

书之源外文图书

Christoph H Lampert /2009-09-30 /Now Publishers

【3-6周达】Exact Methods in Low-Dimensional Statistical Physics 【全球购】进口原版图书，一般3-6周左右到国内

¥716.00

书之源外文图书

Jacobsen,Jesper /2010-06-18 /Oxford University Press, USA

【3-6周达】Methods for Risk Assessment of Transgenic Plants: III 【全球购】进口原版图书，一般3-6周左右到国内

¥1517

书之源外文图书

Ammann, Klaus /2013-10-03 /Birkhauser

【3-6周达】Simple Methods for Identification of Plastics [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥593.00

书之源外文图书

Dietrich Braun /2013-04-30 /Hanser Publishers

【3-6周达】Some Methods for ECG Signal Analysis for Arrhythmia D 【全球购】进口原版图书，一般3-6周左右到国内

¥598.00

书之源外文图书

Vallem, Sharmila, Komalla, Ashoka Reddy /2017-06-19 /LAP Lambert Academic Publishing

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

¥1684

书之源外文图书

Eloy, Sara ; Leite Viana, David ; Morais /2022-01-19 /Springer

海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式

¥559.00

中华商务进口图书旗舰店

No /2015-05-26 /Springer International Publishing AG