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

¥768.00

书之源外文图书

Per C. Hansen; Bo H. Jacobsen; Klaus Mos /2000-06-21 /Springer Berlin Heidelberg

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

¥1684

书之源外文图书

Pisano,Aurora Angela ; Spiliopoulos,Kons /2020-07-17 /Springer

预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1495

书之源外文图书

Kaul, Neha /2020-11-01 /Arcler Education Inc

【预订】Direct Methods in the Theory of Elliptic Equations [ISBN 【全球购】进口原版图书，一般10-12周左右到国内

¥1298

书之源外文图书

Jindrich Necas /2011-10-06 /Springer Berlin Heidelberg

3-6周达 土壤酶学方法Methods Of Soil Enzymology [ISBN:9780891188544] 【全球购】进口原版图书，预计3-6周左右到国内

¥1202

书之源外文图书

Richard Dick /2020-02-21 /Wiley

【3-6周达】Newton Methods for Nonlinear Problems: Affine Invaria 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Deuflhard,Peter /2005-01-13 /Springer

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

Product Details 基本信息 ISBN-13 书号 9783030160791 Author 作者 Constanda Format 版本 平装-胶订 Pages Number 页数 478页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2020-08-14 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. The chapters in this book are based on talks given at the Fifteenth International Conference on Integral Methods in Science and Engineering, held July 16-20, 2018 at the University of Brighton, UK, and are written by internationally recognized researchers. The topics addressed are wide ranging, and include:Asymptotic analysisBoundary-domain integral equationsViscoplastic fluid flowStationary wavesInterior Neumann shape optimizationSelf-con

¥932.00

中国进口图书旗舰店

Constanda /2020-08-14 /Birkhaeuser Verlag Basel

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

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

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

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2002

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-22 /Engineering Science Reference

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

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

¥669.00

书之源外文图书

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

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

¥585.00

书之源外文图书

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

预订 Search Methods in Artificial Intelligence 人工智能中的搜索方法 9781 国外库房发货, 通常付款后12-16周到货

¥792.00

中国进口图书旗舰店

Deepak Khemani /2024-10-01 /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

¥1172

中国进口图书旗舰店

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.

¥2380

中国进口图书旗舰店

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

【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

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

海外直订Novel Methods in Soft Matter Simulations 软物质模拟的新方法

¥662.00

中华商务进口图书旗舰店

Karttunen, Mikko /2004-03-15 /Springer

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

¥585.00

书之源外文图书

Boerner, W M ; Brand, Hans ; Cram, Leona /2014-08-23 /Springer

【3-6周达】Modern Methods of Speech Processing [ISBN:97814613596 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Ramachandran, Ravi P. /2012-09-27 /Springer

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

¥1395

书之源外文图书

Matson,Robert S. /2024-03-02 /Humana

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

¥788.00

上海外文书店旗舰店

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

预订 按需印刷 Methods for Solving Inverse Problems in Mathematical

¥3320.1

中图图书旗舰店

Global Express Ltd. Co.; Aleksey I. Pril /2014-04-21 /taylor

【预售 按需印刷】Practical Methods for Improving the Motio

¥953.70

中图图书旗舰店

Daniel Wegerif /2019-05-31 /Dissertation Discovery Company, LLC

【预售 按需印刷】Mitigation Methods of Wind Acceleration f 北京发货，付款后10天内发货

¥862.00

中图图书旗舰店

Fernando Pereira Mosqueira /2011-03-16 /KS OmniScriptum Publishing

预订 按需印刷 Methods for Neural Ensemble Recordings

¥1992.4

中图图书旗舰店

Miguel A. L. Nicolelis /2007-12-03 /taylor

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

Product Details 基本信息 ISBN-13 书号 9781439804612 Author 作者 S. Gopalakrishnan and Mira Mitra Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2010-03-17 Shipping Weight 商品重量 566g Language 语种 英语 Book Contents 内容简介 Explaining wavelet transform from a mechanical engineering perspective, this book discusses the numerical solution of structural dynamics and wave propagation problems using wavelet transform methods. After an introduction to signal processing aspects, the text examines the implementation of wavelet transform for simulating the response of a dynamical system and then discusses the development of a wavelet-based simulation scheme for wave propagation analysis. The chapters also address wave propagation analysis of carbon nanotubes and the application of wave propagation studies for structural health monitoring, force identifica

¥960.00

中国进口图书旗舰店

S. Gopalakrishnan and Mira Mitra /2010-03-17 /CRC Press

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

¥664.00

华研外语旗舰店

Frederick /2019-01-01 /Cengage

按需印刷New Methods of Financing Your Business in the United Sta 预订，预计下单后2-3周左右发货！

¥585.00

上海外文书店旗舰店

FREDERICK D LIPMAN /World Scientific Publishing Co Pte Ltd

【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内

¥2156

书之源外文图书

Baranzini, Andrea; Ramirez, José; Schaer /2010-10-29 /Springer

预订 Key Methods in Geography [ISBN:9781529772098] 【全球购】进口原版图书，一般10-12周左右到国内后发出

¥772.00

书之源外文图书

Clifford,Nicholas;Cope,Meghan;Gillespie, /2023-06-12 /Sage Publications Ltd

Research Methods 研究方法 精装第9版 心理学教材 英文原版

¥739.00

瑞雅图书专营店

2019-01-01 /Wadsworth

按需印刷New methods for generating significance levels from mult 预订，预计下单后2-3周左右发货！

¥597.00

上海外文书店旗舰店

Christine Aust /GRIN Verlag

海外直订Agile Methods. Large-Scale Development, Refactoring, Tes

¥559.00

中华商务进口图书旗舰店

Dings?yr, Torgeir /2014-12-03 /Springer

【预订】Microarray Methods for Drug Discovery 9781493957392 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781493957392 Author 作者 Sridar V. Chittur Format 版本 平装-胶订 Pages Number 页数 285页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 566g Language 语种 英语

¥1533

中国进口图书旗舰店

Sridar V. Chittur /2016-08-23 /Humana Press

【预订】Production Methods and Workability of Concrete 978036744 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367448493 Format 版本 平装-胶订 Pages Number 页数 560页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1750g Language 语种 英语

¥813.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

【预订】Nuclear Methods in Science and Technology 9780367455880 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367455880 Author 作者 Tsipenyuk Format 版本 平装-胶订 Pages Number 页数 468页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-11-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1440g Language 语种 英语 Book Contents 内容简介 The application of nuclear physics methods is now widespread throughout physics, chemistry, metallurgy, biology, clinical medicine, geology, and archaeology. Accelerators, reactors, and various instruments that have developed together with nuclear physics have often been found to offer the basis for increasingly productive and more sensitive analytical techniques. Nuclear Methods in Science and Technology provides scientists and engineers with a clear understanding of the basic principles of nuclear methods and their potential for applications in a wide range of disciplines. The fir

¥543.00

中国进口图书旗舰店

Tsipenyuk /2019-11-26 /CRC Press

【预订】Clustering Methods for Big Data Analytics 9783319978635 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319978635 Author 作者 Nasraoui Format 版本 精装 Publication Date 出版日期 2018-11-22 Language 语种 英语 Book Contents 内容简介 This book highlights the state of the art and recent advances in Big Data clustering methods and their innovative applications in contemporary AI-driven systems. The book chapters discuss Deep Learning for Clustering, Blockchain data clustering, Cybersecurity applications such as insider threat detection, scalable distributed clustering methods for massive volumes of data; clustering Big Data Streams such as streams generated by the confluence of Internet of Things, digital and mobile health, human-robot interaction, and social networks; Spark-based Big Data clustering using Particle Swarm Optimization; and Tensor-based clustering for Web graphs, sensor streams, and social networks. The chapters in the book include a balanced coverage of big data clustering

¥1643

中国进口图书旗舰店

Nasraoui /2018-11-22 /暂无出版社信息

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

Product Details 基本信息 ISBN-13 书号 9781420082098 Author 作者 G.R. Liu Format 版本 精装 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-10-06 Shipping Weight 商品重量 1564g Language 语种 英语 Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2D

¥2950

中国进口图书旗舰店

G.R. Liu /2009-10-06 /CRC Press

【3-6周达】Research Methods for English Studies [ISBN:9780748683 【全球购】进口原版图书，一般3-6周左右到国内

¥564.00

书之源外文图书

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

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

¥689.00

书之源外文图书

Mertens, Donna M.; Lester, Jessica Nina /2023-04-20 /Bloomsbury Academic

【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周达】Formal Methods: 24th International Symposium, FM 2021 【全球购】进口原版图书，一般3-6周左右到国内

¥1202

书之源外文图书

Huisman, Marieke ; P?s?reanu, Corina ; Z /2021-12-11 /Springer

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

¥585.00

书之源外文图书

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

【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La

¥548.00

中国进口图书旗舰店

Maurice H. ter Beek /2019-09-15 /Springer Berlin Heidelberg

【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周达】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

3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1432

书之源外文图书

Andrew F. Bennett /1993-01-14 /Cambridge University Press