预售 按需印刷 Methods of Denture Plaque Removal in Compl 北京发货，付款后10天内发货

¥817.00

中图图书旗舰店

Naz Asma /2013-07-10 /KS OmniScriptum Publishing

【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

¥1314

中国进口图书旗舰店

Jeppu, Yogananda /2017-05-01 /Springer Singapore

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

¥662.00

中华商务进口图书旗舰店

Butler, Michael /2015-12-01 /Springer

预售 按需印刷 Methods and Applications of Geospatial Tec

¥1687

中图图书旗舰店

Tenedório, José /2021-04-09 /IGI出版社

【预订】Modeling Methods for Marine Science 美国库房发货，通常付款后3-5周到货！

¥1018

中国进口图书旗舰店

David M. Glover,William J.Jenkins,Scott /1988-08-08 /Cambridge UniversityPress

【预订】Numerical Methods for Nonlinear Estimating 美国库房发货，通常付款后3-5周到货！

¥2729

中国进口图书旗舰店

Christopher G.Small,Jinfang Wang /1988-08-08 /Oxford UniversityPress

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

¥687.00

中国进口图书旗舰店

L. C. G. Rogers,DenisTalay /1988-08-08 /Cambridge UniversityPress

【预订】Analytic Methods for Diophantine Equations and 美国库房发货，通常付款后3-5周到货！

¥661.00

中国进口图书旗舰店

H. Davenport,T.D.Browning /1988-08-08 /Cambridge UniversityPress

【预订】Level Set Methods and Fast Marching Methods: 美国库房发货，通常付款后3-5周到货！

¥753.00

中国进口图书旗舰店

1条评论

James A. Sethian,Mark J.Ablowitz,S.H. Da /1988-08-08 /Cambridge UniversityPress; 2nd Revised edition

预订 Hplc Methods for Recently Approved Pharmaceuticals *批准*的高 国外库房发货，通常付款后3-5周到货

¥3407

中国进口图书旗舰店

2005-04-04 /Wiley-Interscience

【预订】Mixed Methods Social Network Analysis: Theories and Meth 【全球购】进口原版图书，预计5-8周左右到国内

¥715.00

书之源外文图书

Froehlich, Dominik E.; Rehm, Martin; Rie /2019-12-24 /Routledge

【预售 按需印刷】 Modern Methods in Protein and Nucleic Aci 北京直发，付款后10日内发货

¥2278

中图图书旗舰店

Harald Tschesche /1990-10-01 /DeGruyter德古意特出版社

海外直订医药图书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

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

¥1325

中华商务进口图书旗舰店

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

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

¥1070

中华商务进口图书旗舰店

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

【预订】Research Methods for English Studies [ISBN:9780748683437 【全球购】进口原版图书，一般10-12周左右到国内

¥564.00

书之源外文图书

Griffin,Gabriele /2013-09-13 /Edinburgh University Press

海外直订Mixed Methods in Ethnographic Research: Historical Persp

¥715.00

中华商务进口图书旗舰店

Pelto, Pertti J. /2017-03-02 /Routledge

【预订】Formal Methods: Foundations and Applications: 20th Brazi 【全球购】进口原版图书，一般10-12周左右到国内

¥722.00

书之源外文图书

Cavalheiro, Simone /2017-11-12 /Springer

【预订】Formal Methods for Components and Objects: 11th Internat 【全球购】进口原版图书，一般10-12周左右到国内

¥535.00

书之源外文图书

Giachino, Elena /2013-08-26 /Springer

海外直订Formal Methods Teaching: 5th International Workshop, Fmt

¥728.00

中华商务进口图书旗舰店

DuBois, Catherine /2023-02-20 /Springer

海外直订Action Methods in Group Psychotherapy: Practical Aspects

¥715.00

中华商务进口图书旗舰店

Tomasulo, Daniel J. /1998-09-30 /Taylor & Francis

预订 Modern Methods of Drug Design and Development [ISBN:97804 【全球购】进口原版图书，预计10-12周左右到国内后发出

¥2009

书之源外文图书

Lloyd, Matthew /2023-10-17 /Academic Press

【预订】New Methods and Problems in Fractional Calculus [ISBN:97 【全球购】进口原版图书，一般10-12周左右到国内

¥493.00

书之源外文图书

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

【预订】Models, Methods, and Tools for Complex Chip Design: Sele 【全球购】进口原版图书，一般10-12周左右到国内

¥1684

书之源外文图书

Haase, Jan /2013-10-01 /Springer

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

¥1105

书之源外文图书

Maurer, John /2010-11-23 /Springer

【预订】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般10-12周左右到国内

¥1202

书之源外文图书

Doolan, Denise L. /2010-11-09 /Humana Press

【预订】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般10-12周左右到国内

¥2156

书之源外文图书

Ferraro, Maria Brigida, Giordani, Paolo, /2016-07-30 /Springer

【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.

¥1276

中国进口图书旗舰店

Victor J. Law /2013-03-05 /CRC Press

【预订】Microarray Methods and Protocols 9781420046656 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.

¥2306

中国进口图书旗舰店

Robert S. Matson /2009-01-20 /CRC Press

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

¥1024

中华商务进口图书旗舰店

Nastasi, Bonnie /2015-07-07 /Sage Publications, Inc

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，约3-6周到达国内后发出

¥2075

书之源外文图书

Goldberg,DavidE.;Latella,Diego /2013-02-28 /Springer

海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析

¥3048

中华商务进口图书旗舰店

Kamp, Roza Maria /2004-01-22 /Springer

海外直订New Methods of Concurrent Checking 并行检查的新方法

¥1325

中华商务进口图书旗舰店

G?ssel, Michael /2008-05-08 /Springer

预订 New Methods and Approaches for Studying Child Development 【全球购】进口原版图书，预计10-12周左右到国内后发出

¥1157

书之源外文图书

Lockman,Jeffrey J ;Gilmore,Rick /2022-03-08 /Academic Press

预订Research Methods For Business, Eighth EMEA Edition 预订，预计下单后2-3周左右发货！

¥788.00

上海外文书店旗舰店

Sekaran, U /2020-01-02 /John Wiley & Sons Inc

【预订】Formal Methods - The Next 30 Years: Third World Congress 【全球购】进口原版图书，一般10-12周左右到国内

¥585.00

书之源外文图书

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

【预订】Formal Methods and Software Engineering: 22nd Internatio 【全球购】进口原版图书，一般10-12周左右到国内

¥585.00

书之源外文图书

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

【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）

¥1643

中国进口图书旗舰店

暂无作者信息 /Birkhauser

海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文

¥1988

中华商务进口图书旗舰店

Assaad, Fakhry A. /2012-12-27 /Springer

预售 按需印刷Methods for Assessing Brand Value. A Compar 北京发货，付款后10天内发货

¥777.00

中图图书旗舰店

Tatiana Soto J. /2008-08-08 /Books on Demand

预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货

¥868.00

中图图书旗舰店

Emilia Pascu /2013-12-04 /KS OmniScriptum Publishing

【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货

¥952.00

中图图书旗舰店

Gunawan Fergyanto E. /2015-10-19 /KS OmniScriptum Publishing

【预订】Numerical Methods in Finance and Economics: A MATLAB-Bas 美国库房发货，通常付款后3-5周到货！

¥2213

中国进口图书旗舰店

1条评论

Brandimarte, Paolo /2006-11-01 /Wiley-Interscience

【预订】Scientific Methods and Cultural Heritage: An Introductio 美国库房发货，通常付款后3-5周到货！

¥1854

中国进口图书旗舰店

Artioli, Gilberto /2010-09-03 /Oxford University Press

【预订】Interval Methods for Systems of Equations 9780521331968 美国库房发货，通常付款后3-5周到货！

¥1520

中国进口图书旗舰店

A. Neumaier /2004-02-20 /Cambridge University Press

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

【预订】Research Methods in Modern Urban Transportation Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030717070 Format 版本 平装-胶订 Pages Number 页数 193页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-05-31 Language 语种 英语 Book Contents 内容简介 This bookpresents many valuable research methods useful in conducting research in modern urban transportation systems and networks. The knowledge base in practical examples, as well as the decision support methods described in thisbook,isof interest to people who face the challenge of searching for solutions to the problems of contemporary transport networks and systems on a daily basis. Thebookis therefore addressed to local authorities related to the planning and development of strategies for selected areas with regard to transport (both in the urban and regional dimensions) and to representatives of business and industry, as people directly involved in the implementation of urban transportat

¥1861

中国进口图书旗舰店

暂无作者信息 /2021-05-31 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783030488369 Author 作者 Aurora Angela Pisano Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-17 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.55 Shipping Weight 商品重量 0.81 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an overview of direct methods such as limit and shakedown analysis, which are intended to do away with the need for cumbersome step-by-step calculations and determine the loading limits of mechanical structures under monotone, cyclic or variable loading with unknown loading history. The respective contributions demonstrate how tremendous advances in numerical methods, especially in optimization, have contributed to the success of direct methods and their practical applicability to engineering problems in structural mechanics

¥1643

中国进口图书旗舰店

Aurora Angela Pisano /2021-07-17 /Springer Berlin Heidelberg

【预订】Formal Methods for Industrial Critical Systems: A 美国库房发货，通常付款后3-5周到货！

¥1204

中国进口图书旗舰店

Stefania Gnesi,TizianaMargaria /1988-08-08 /Wiley-Blackwell

【预订】Design Methods in Architecture & Planning. "Design is Si 【全球购】进口原版图书，一般10-12周左右到国内

¥530.00

书之源外文图书

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

【预订】Advanced Methods and Technologies in Metallurgy in Russi 【全球购】进口原版图书，一般10-12周左右到国内

¥1105

书之源外文图书

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

【预订】Formal Methods in Automated Design Debugging [ISBN:97836 【全球购】进口原版图书，一般10-12周左右到国内

¥783.00

书之源外文图书

Safarpour,Sean /2010-04-02 /VDM Verlag

【预订】Formal Methods: 25th International Symposium, FM 2023, L 【全球购】进口原版图书，一般10-12周左右到国内

¥1105

书之源外文图书

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

预订 Optical Methods of Engineering Analysis 工程分析的光学方法 9780521 国外库房发货，通常付款后3-5周到货

¥780.00

中国进口图书旗舰店

Gary Cloud /1998-07-01 /Cambridge University Press

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

¥1105

书之源外文图书

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

【预订】Formal Methods for Industrial Critical Systems 978303058 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai

¥548.00

中国进口图书旗舰店

暂无作者信息 /2020-08-29 /Springer Berlin Heidelberg

【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367235444 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 676页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book begins with an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.

¥3073

中国进口图书旗舰店

Jacek Banasiak /2019-09-20 /CRC Press

【预订】Computer Methods for Engineering with MATLAB? Applicatio 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781591690368 Author 作者 Yogesh Jaluria Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 CRC Press Publication Date 出版日期 2011-09-08 Shipping Weight 商品重量 1020g Language 语种 英语 Book Contents 内容简介 Now with MATLAB?, this substantially revised and updated edition shows how computational approaches can solve complex mathematical equations, such as simultaneous algebraic equations, ODEs, and PDEs, that typically arise in engineering problems. It explores the applicability, efficiency, and behavior of various numerical methods and explains how to use MATLAB and Fortran to solve numerous engineering examples and problems. This edition incorporates recent advances in computational software and hardware, additional exercises and examples, and new and updated references. A solutions manual is available upon qualifying course adoption.

¥1763

中国进口图书旗舰店

Yogesh Jaluria /2011-09-08 /CRC Press

海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析

¥2220

中华商务进口图书旗舰店

Crighton, D. G. /1992-04-08 /Springer