海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法

¥719.00

中华商务进口图书旗舰店

Harrison, Michael /2009-03-15 /Cambridge University Press

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

¥1675

书之源外文图书

Rhodes, Jonathan M. /2010-11-09 /Humana

【预订】Research Methods for Medical Graduates 9781138351813 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138351813 Author 作者 Abhaya Indrayan Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-01 Language 语种 英语 Book Contents 内容简介 This book discusses the why and how of each step of data-based medical research that can provide basic information to emerging researchers, medical graduate students who write thesis or publish articles. The chapters are arranged in the sequence of steps for data-based research. Comprehensive coverage of all research steps.

¥2613

中国进口图书旗舰店

Abhaya Indrayan /2019-11-01 /CRC Press

【预订】Fourier Methods In Imaging 美国库房发货，通常付款后3-5周到货！

¥2315

中国进口图书旗舰店

Roger L. Easton Jr. /1988-08-08 /Wiley; 2

预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内

¥1974

书之源外文图书

Smith, Scott F. /2000-08-31 /Springer

【预订】Physical Methods of Chemistry Second Edition 美国库房发货，通常付款后3-5周到货！

¥9378

中国进口图书旗舰店

Rossiter /1988-08-08 /Wiley

预订 Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体和 国外库房发货，通常付款后3-5周到货

¥2460

中国进口图书旗舰店

Anile, Marcelo | Pantano, P | Russo, G /1993-05-04 /Chapman and Hall/CRC

预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货

¥1243

中国进口图书旗舰店

Shawyer, Bruce L. R.; Watson, Bruce /1994-07-14 /Oxford University Press

海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方

¥2021

中华商务进口图书旗舰店

No /2021-09-05 /Taylor & Francis Ltd

预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货

¥850.00

中国进口图书旗舰店

?tienne André /2025-11-12 /Springer Berlin Heidelberg

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING

¥1173

中图图书旗舰店

Clive D Rodgers /2000-07-17 /World Scientific Publishing Co Pte Ltd

【预售 按需印刷】Data-Based Methods for Materials Design a

¥950.30

中图图书旗舰店

Ghanshyam Pilania /2020-03-06 /Morgan and Claypool Publishers

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

¥1684

书之源外文图书

Gould, Grahame W. /2010-12-07 /Springer

海外直订Direct Methods in the Calculus of Variations 变分法中的直接方法

¥1725

中华商务进口图书旗舰店

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

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

¥957.00

上海外文书店旗舰店

Fulep Timea /KS OmniScriptum Publishing

按需印刷New Methods and Paradigms for Modeling Dynamic Processes 预订，预计下单后2-3周左右发货！

¥1875

上海外文书店旗舰店

Stepan Mykolayovych Bilan /IGI Global

按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！

¥1466

上海外文书店旗舰店

Ann Whitney Gleason /Rowman & Littlefield Publishing Group Inc

海外直订Formal Methods for Executable Software Models: 14th Inte

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2014-05-20 /Springer

【预售 按需印刷】DIRECT METHODS IN THE CALCULUS OF VARIATIONS 北京发货，付款后10天内发货

¥1559.88

中图图书旗舰店

ENRICO GIUSTI /1970-08-21 /World Scientific Publishing Co Pte Ltd

预订 【】Liposomes: Methods and Protocols (Softcover Reprint of 国外库房发货，通常付款后3-5周到货

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

¥1265

中国进口图书旗舰店

暂无作者信息 /2018-07-07 /Humana Press

海外直订医药图书Methods for Neural Ensemble Recordings 神经集成记录方法

¥2648

中华商务进口图书旗舰店

Nicolelis, Miguel A. L. /2007-11-30 /CRC Press

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

¥722.00

书之源外文图书

Guo-Qiang Zhang; Rashmie Abeysinghe; Lic /2022-11-09 /Springer International Publishing

【3-6周达】Formal Methods and Software Engineering: 14th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Aoki, Toshiaki /2012-09-19 /Springer

【3-6周达】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书，一般3-6周左右到国内

¥3011

书之源外文图书

Muhamed Suceska /2012-01-01 /Springer New York

预订 Linking Methods in Critical Point Theory [ISBN:9780817640 【全球购】进口原版图书，约3-6周到达国内后发出

¥921.00

书之源外文图书

1999-07-01 /Birkhauser

海外直订Modern Methods of Construction 现代施工方法

¥829.00

中华商务进口图书旗舰店

Gallagher, Michael /2010-06-10 /VDM Verlag

【3-6周达】Testing Methods for Fault Detection in Electronic Cir 【全球购】进口原版图书，一般3-6周左右到国内

¥953.00

书之源外文图书

Ahmed Rania F. /2014-08-18 /LAP Lambert Academic Publishing

【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Ralchenko Yuri /2016-03-04 /Springer

【预订】Formal Methods: Foundations and Applications 97830312247 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031224751 Author 作者 Lucas Lima Format 版本 平装-胶订 Pages Number 页数 143页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-18 Language 语种 其它（含多语）

¥603.00

中国进口图书旗舰店

Lucas Lima /2022-12-18 /Springer Berlin Heidelberg

【预订】Fuzzy Sets Methods in Image Processing and Understanding 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031194276 Author 作者 Isabelle Bloch Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-03 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.67 Shipping Weight 商品重量 0.98磅 Language 语种 其它（含多语） Book Contents 内容简介 This book provides a thorough overview of recent methods using higher level information (object or scene level) for advanced tasks such as image understanding along with their applications to medical images. Advanced methods for fuzzy image processing and understanding are presented, including fuzzy spatial objects, geometry and topology, mathematical morphology, machine learning, verbal descriptions of image content, fusion, spatial relations, and structural representations. For each methodological aspect covered, illustrations from the medical i

¥1533

中国进口图书旗舰店

Isabelle Bloch /2024-01-03 /Springer Berlin Heidelberg

【预订】Operator Methods for Boundary Value Problems 美国库房发货，通常付款后3-5周到货！

¥740.00

中国进口图书旗舰店

暂无作者信息 /2012-12-31 /Cambridge University Press

预订 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 /暂无出版社信息

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

¥1013

书之源外文图书

Havelund, Klaus /2018-08-20 /Springer

海外直订Formal Methods and Software Engineering: 11th Internatio

¥1325

中华商务进口图书旗舰店

Breitman, Karin /2009-11-16 /Springer

【3-6周达】Methods of Applied Fourier Analysis [ISBN:97814612726 【全球购】进口原版图书，一般3-6周左右到国内

¥769.00

书之源外文图书

Ramanathan, Jayakumar(Author) /2012-10-23 /Birkhauser Boston

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

¥585.00

书之源外文图书

Satir Peter /2018-06-09 /Humana

海外直订Formal Methods for Components and Objects: 11th Internat

¥559.00

中华商务进口图书旗舰店

Giachino, Elena /2013-08-25 /Springer

海外直订Formal Methods at the Crossroads: From Panacea to Founda

¥662.00

中华商务进口图书旗舰店

Aichernig, Bernhard K. /2003-11-17 /Springer

【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367579401 Author 作者 James K. Hallenburg Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.89 Language 语种 其它（含多语） Book Contents 内容简介 These three works cover the entire field of formation evaluation, from basic concepts and theories, through standard methods used by the petroleum industry, on to new and exciting applications in environmental science and engineering, hydrogeology, and other fields. Designed to be used individually or as a set, these volumes represent the first comprehensive assessment of all exploration methodologies. No other books offer the breadth of information and range of applications available in this set.

¥692.00

中国进口图书旗舰店

James K. Hallenburg /2020-06-30 /CRC Press

【3-6周达】Digital Methods in Developing Textile Products for Pe 【全球购】进口原版图书，一般3-6周左右到国内

¥797.00

书之源外文图书

Aluculesei,Bianca ;Krzywinski,Sybille ;C /2021-10-05 /Materials Research Forum LLC

【预订】Analytical Methods and Instruments for Micro- and Nanoma 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031264337 Author 作者 Henry H. Radamson Format 版本 精装 Pages Number 页数 282页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2023-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book describes analytical instruments widely used to characterize the nanostructured materials. It provides information about how to assess material quality, defects, the state of surfaces and interfaces, element distributions, strain, lattice distortion, and electro-optical properties of materials and devices. The information provided by this book can be used as a back-up for material processing, material design and debugging of device performance. The basic principles and methodology of each analysis technique is described in separate chapters, adding historic perspectives and recent developments. The data analysis, from simple to adva

¥1861

中国进口图书旗舰店

Henry H. Radamson /2023-09-10 /Springer International Publishing

【预订】Optical Methods for Managing the Diabetic Foot 978103246 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781032463513 Author 作者 Saiko Format 版本 精装 Pages Number 页数 206页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-12-11 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses optical technologies for Diabetic Foot management. It combines the current medical literature review with an overview of the technology and physics behind it. Thus, it is a single-source introduction to the topic. It can also be used as a reference source and practical guide for the use of technology. The particular focus is on low-cost technologies, including hyperspectral imaging, thermography, and endogenous bacterial fluorescence. Moving diagnostic modalities closer to the patient (e.g., primary care) allows the disease to be detected at an earlier stage, thus improving outcomes. However, wh

¥1383

中国进口图书旗舰店

Saiko /2023-12-11 /CRC Press

【预订】Polyhedral Methods in Geosciences 9783030693657 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030693657 Author 作者 Di Pietro Format 版本 平装-胶订 Pages Number 页数 332页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.72 Shipping Weight 商品重量 1.07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2 and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes a

¥1643

中国进口图书旗舰店

Di Pietro /2022-06-15 /Springer Berlin Heidelberg

【3-6周达】Diary Methods: Understanding Qualitative Research [IS 【全球购】进口原版图书，一般3-6周左右到国内

¥547.00

书之源外文图书

Hyers,Lauri L. /2018-01-02 /Oxford University Press, USA

【预售 按需印刷】Extraction Methods for Environ Analysis

¥3088.05

中图图书旗舰店

Dean /1998-08-03 /John Wiley & Sons

【预售 按需印刷】Comparison Methods for Stochastic Models

¥2223.6

中图图书旗舰店

Muller /2002-03-05 /John Wiley & Sons

海外直订Formal Methods for Safety and Security 安全与保安的正式方法

¥1337

中华商务进口图书旗舰店

2019-01-03 /Springer Verlag, Singapore

海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合

¥2091

中华商务进口图书旗舰店

No /2012-06-11 /Taylor & Francis Ltd

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

¥2444

书之源外文图书

Mora,Plácido Lizancos;Viana,David Leite; /2023-08-02 /Springer

海外直订The Methods of Ethics 伦理学的方法

¥1219

中华商务进口图书旗舰店

Sidgwick, Henry /2023-02-16 /Outlook Verlag

海外直订Asymptotic Methods in Statistical Decision Theory 统计决策理论

¥4374

中华商务进口图书旗舰店

Le Cam, Lucien /1986-08-06 /Springer

海外直订Formal Methods: 22nd International Symposium, FM 2018, H

¥1070

中华商务进口图书旗舰店

Havelund, Klaus /2018-08-20 /Springer

海外直订Formal Methods and Software Engineering: 23rd Internatio

¥662.00

中华商务进口图书旗舰店

Riesco, Adrian /2022-10-09 /Springer

海外直订Direct Methods in the Theory of Elliptic Equations 椭圆方程理

¥1590

中华商务进口图书旗舰店

2011-10-05 /Springer

【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Miksche,J. P. /2014-04-18 /Springer

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

¥674.00

书之源外文图书

Massoni, Tiago /2018-10-24 /Springer

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

¥1684

书之源外文图书

Menard, Robert /2012-09-19 /Humana

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

¥2156

书之源外文图书

Harwood, Wendy A. /2018-11-20 /Humana

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

¥2156

书之源外文图书

Jin, Helena /2014-10-15 /Springer