【预售 按需印刷】Research Methods for the Fashion Industry

¥1178.1

中图图书旗舰店

Judy Zaccagnini Flynn /2009-03-30 /Bloomsbury Publishing PLC

海外直订Formal Methods and Software Engineering: 6th Internation

¥1325

中华商务进口图书旗舰店

Davies, Jim /2004-10-27 /Springer

海外直订Formal Methods for Software Engineering 软件工程的形式化方法

¥740.00

中华商务进口图书旗舰店

Roggenbach, Markus /2023-06-23 /Springer Nature Switzerland AG

海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene

¥576.00

中华商务进口图书旗舰店

Hong, Wei-Chiang /2018-10-17 /Mdpi AG

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

¥662.00

中华商务进口图书旗舰店

Barthe, Gilles /2008-07-31 /Springer

海外直订Korso: Methods, Languages, and Tools for the Constructio

¥662.00

中华商务进口图书旗舰店

Broy, Manfred /1995-11-07 /Springer

海外直订Oat: Methods and Protocols OAT：方法和协议

¥1605

中华商务进口图书旗舰店

Gasparis, Sebastian /2018-07-14 /Humana

【3-6周达】Formal Methods - The Next 30 Years: Third World Congr 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Ter Beek, Maurice H., McIver, Annabelle, /2019-09-15 /Springer

【3-6周达】Models, Methods, and Tools for Complex Chip Design: S 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Haase, Jan /2013-10-01 /Springer

【3-6周达】New Methods and Problems in Fractional Calculus [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥493.00

书之源外文图书

MILICI Constantin /2015-12-22 /LAP Lambert Academic Publishing

【3-6周达】PCR Methods in Foods [ISBN:9781441939333] 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Maurer, John /2010-11-23 /Springer

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

¥585.00

书之源外文图书

Lin, Shang-Wei ; Hou, Zhe ; Mahony, Bren /2021-01-26 /Springer

【预订】Numerical Methods and Analysis of Multiscale Problems 97 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319508641 Author 作者 Madureira Format 版本 平装-胶订 Pages Number 页数 123页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-23 Shipping Weight 商品重量 263g Language 语种 英语 Book Contents 内容简介 This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depend on different physical scales. ?Aimed at advanced undergraduate and graduate students in mathematics, engineering and physics – or researchers seeking a no-nonsense approach –, it discusses ?examples in their simplest possible settings, removing mathematical hurdles that might hinder a clear understanding of the methods.The problems considered are given by singular perturbed reaction advection diffusion equations in o

¥548.00

中国进口图书旗舰店

Madureira /2017-02-23 /Springer International Publishing

海外直订Formal Methods in Standards: A Report from the BCS Worki

¥662.00

中华商务进口图书旗舰店

Ruggles, Clive L. N. /1990-07-30 /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周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

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

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

¥585.00

书之源外文图书

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

3-6周达 Thermal Methods [ISBN:9780128219331] 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Hemmati-Sarapardeh, Abdolhossein /2023-04-28 /Gulf Professional Publishing

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

¥476.00

书之源外文图书

Chhetri Mahesh /2013-03-27 /LAP Lambert Academic Publishing

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

¥2156

书之源外文图书

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

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

¥2097

书之源外文图书

2014-10-06 /Wiley-Iste

【3-6周达】Formal Methods for Industrial Critical Systems: 17th 【全球购】进口原版图书，一般3-6周左右到国内

¥535.00

书之源外文图书

Stoelinga Mari?lle /2012-07-17 /Springer

【预订】Research Methods In Psycholinguistics And The Neurobiolo 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781119109853 Author 作者 Annette de Groot Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语

¥671.00

中国进口图书旗舰店

Annette de Groot /2017-08-21 /暂无出版社信息

【预订】Separation Methods In Microanalytical Systems 9780367578 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367578039 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Focusing on what has been one of the driving forces behind the development of lab-on-a-chip devices, Separation Methods in Microanalytical Systems explores the implementation, realization, and operation of separation techniques and related complex workflows on microfabricated devices. The book details the design, manufacture, and integration of diverse components needed to perform an entire analytical procedure on a single miniaturized device. The content applies to a diversity of disciplines including chemical analysis, biomedical diagnostics, environmental monitoring, and drug discovery. Separation Methods in Microanalytical Systems lays its theoretical background in a

¥796.00

中国进口图书旗舰店

暂无作者信息 /2020-06-30 /CRC Press

现货 Practical Methods for Analysis and Design of HV Installat

Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d

¥1760

中国进口图书旗舰店

Popovic, Ljubivoje M. /2018-02-22 /暂无出版社信息

【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be

¥548.00

中国进口图书旗舰店

Singla /2018-03-19 /暂无出版社信息

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

Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited

¥1205

中国进口图书旗舰店

Marieke Huisman /2021-11-27 /Springer Berlin Heidelberg

预订 Vortex Methods Theory and Practice 涡方法 9780521061704 国外库房发货, 通常付款后12-16周到货

¥673.00

中国进口图书旗舰店

Georges-Henri Cottet /2008-04-01 /Cambridge University Press

海外直订Mesh Methods for Boundary-Value Problems and Application

¥1723

中华商务进口图书旗舰店

Badriev, Ildar B. /2022-09-14 /Springer

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

¥2651

中华商务进口图书旗舰店

Ciancarini, Paolo /2013-01-16 /Springer

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法

¥2651

中华商务进口图书旗舰店

Curry, Patricia B. /1995-09-29 /Springer

海外直订New Methods of Thought and Procedure: Contributions to t

¥1325

中华商务进口图书旗舰店

Zwicky, F. /2012-03-25 /Springer

海外直订医药图书Methods in Pain Research 疼痛研究方法

¥971.00

中华商务进口图书旗舰店

Kruger, Lawrence /2020-04-08 /CRC Press

海外直订Mixed Methods Research Design for the Built Envi... 建筑环境

¥738.00

中华商务进口图书旗舰店

No /2023-11-13 /Taylor & Francis Ltd

海外直订Robust Methods for Dense Monocular Non-Rigid 3D ... 点云密集

¥1070

中华商务进口图书旗舰店

Golyanik, Vladislav /2020-06-04 /Springer Fachmedien Wiesbaden

预订 Formal Methods Teaching 7th Formal Methods Teaching Works 国外库房发货，通常付款后3-5周到货

¥575.00

中国进口图书旗舰店

Gustavo Carvalho /2026-06-04 /Springer Berlin Heidelberg

【预订】Numerical Methods in Computational Finance 9781119719670 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781119719670 Author 作者 Daniel Duffy Format 版本 精装 Pages Number 页数 544页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-10 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Numerical Methods in Computational Finance: A Partial Differential Equation (PDE/FDM) Approach defines a repeatable process to introduce PDEs in finance, analyse them mathematically, devise robust and accurate numerical algorithms to approximate these PDEs and then map these algorithms to C++ and C#. Written in an incremental way in order to facilitate a range of readers at various skill levels and experience, each chapter contains hands-on exercises and projects that form an integral part of the text. The book consists of eight parts. Each part contains several chapters and deals with a single autonomous topic: PDEs (g

¥1079

中国进口图书旗舰店

Daniel Duffy /2022-02-10 /Wiley

【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat

¥2581

中国进口图书旗舰店

Ghasem /2021-11-24 /CRC Press

【预订】Vortex Methods: Theory and Practice Y9780521621861 国外库房发货, 通常付款后12-16周到货

¥1520

中国进口图书旗舰店

Cottet, Georges-Henri /1988-08-08 /Cambridge UniversityPress

【预订】Bayesian Methods: An Analysis for Statisticians and Inte 国外库房发货, 通常付款后12-16周到货

¥1124

中国进口图书旗舰店

Leonard, Thomas /1988-08-08 /Cambridge UniversityPress

【预订】Research Methods in Occupational Epidemiology 美国库房发货，通常付款后3-5周到货！

¥1035

中国进口图书旗舰店

Checkoway, Harvey /1988-08-08 /Oxford University Press,USA

【预售 按需印刷】Numerical Methods in Finance 2

¥1782.22

中图图书旗舰店

Brandimarte /1970-08-21 /John Wiley & Sons

【预订】Integral Methods in Science and Engineering Y97805823040 美国库房发货，通常付款后3-5周到货！

¥1989

中国进口图书旗舰店

Constanda, C. /1988-08-08 /CRC Press

预订 【】cryoEM: Methods and Protocols 9781071609682 国外库房发货，通常付款后3-5周到货

Product Details 基本信息 ISBN-13 书号 9781071609682 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2021-12-28 Language 语种 其它（含多语）

¥1150

中国进口图书旗舰店

暂无作者信息 /2021-12-28 /Springer

【3-6周达】Formal Methods for Industrial Critical Systems: 26th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lluch Lafuente, Alberto ; Mavridou, Anas /2021-09-29 /Springer

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

¥1105

书之源外文图书

Domingues Lucilia /2018-08-08 /Springer

【3-6周达】Formal Methods for Autonomous Systems [ISBN:978163828 【全球购】进口原版图书，一般3-6周左右到国内

¥1214

书之源外文图书

Wongpiromsarn,Tichakorn,Ghasemi,Mahsa,Cu /2023-09-21 /Now Publishers

【3-6周达】Visual Methods in Social Research [ISBN:9781446269756 【全球购】进口原版图书，预计3-6周左右到国内

¥669.00

书之源外文图书

Banks,Marcus;Zeitlyn,David /2015-06-18 /Sage Publications Ltd

预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥498.00

书之源外文图书

Soper,George A. /2013-06-30 /Book on Demand Ltd.

3-6周达 New Methods, Reflections and Application Domains in Tr 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Mouter, Niek /2021-04-14 /Academic Press

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

¥626.00

书之源外文图书

Catherine Dubois; Pierluigi San Pietro /2023-02-21 /Springer Nature Switzerland

预订 Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书，一般5-8周左右到国内

¥2249

书之源外文图书

Wang, Jiacun /2019-06-25 /CRC Press

【3-6周达】Formal Methods for Industrial Critical Systems: 19th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lang, Frederic /2014-08-20 /Springer

【3-6周达】Formal Methods for Components and Objects: 9th Intern 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Aichernig Bernhard K. /2011-12-12 /Springer

Numerical Methods of Statistics 统计的数值方法 剑桥统计与概率数学系列

¥673.00

瑞雅图书专营店

John /2011-06-09 /Cambridge

海外直订Formal Methods for Industrial Critical Systems: 23rd Int

¥662.00

中华商务进口图书旗舰店

Howar, Falk /2018-08-30 /Springer

【预订】Formal Methods for an Informal World 9783031436772 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它（含多语） Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi

¥548.00

中国进口图书旗舰店

Antonio Cerone /2023-11-20 /Springer Berlin Heidelberg

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

¥1466

上海外文书店旗舰店

Ann Whitney Gleason /Rowman & Littlefield Publishing Group Inc

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

¥1875

上海外文书店旗舰店

Stepan Mykolayovych Bilan /IGI Global

【预订】Operator Methods for Boundary Value Problems 国外库房发货, 通常付款后12-16周到货

¥740.00

中国进口图书旗舰店

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