预订 Modern Methods for Quality Control and Improvement [ISBN: 【全球购】进口原版图书，预计10-12周左右到国内

¥2784

书之源外文图书

2001-11-20 /Wiley

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

¥3062

书之源外文图书

Clifford,Nicholas;Cope,Meghan;Gillespie, /2016-08-29 /Sage Publications Ltd

【3-6周达】Research Methods for Evidence-Based Practice [ISBN:97 【全球购】进口原版图书，预计3-6周左右到国内

¥776.00

书之源外文图书

Wodarski,John S.;Hopson,Laura /2011-10-31 /Sage Publications, Inc

【3-6周达】Seismic Methods and Applications: A Guide for the Det 【全球购】进口原版图书，一般3-6周左右到国内

¥721.00

书之源外文图书

Stark, Andreas /2010-06-20 /Brown Walker Press (FL)

【预订】Web-Based Methods for Visualizing Automobile Traffic 美国库房发货，通常付款后3-5周到货！

¥760.00

中国进口图书旗舰店

Greg Brost /1988-08-08 /VDM Verlag Dr. MullerAktiengesellschaft Co.

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

¥1381

中国进口图书旗舰店

L. Kolev /1988-08-08 /World ScientificPublishing Co Pte Ltd

【3-6周达】Cast Methods in Modelling: Computer Aided Systems The 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Pichler,Franz /2012-02-12 /Springer

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

¥1977

书之源外文图书

Giray,Selim /2020-03-30 /Routledge

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

¥1988

中华商务进口图书旗舰店

Mijs, W. J. /1992-02-29 /Springer

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

¥732.00

书之源外文图书

Tappia, Paramjit S ; Blewett, Heather /2020-05-27 /Mdpi AG

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

¥1314

中国进口图书旗舰店

Moore, Jason H. /Humana Press

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

¥548.00

中国进口图书旗舰店

Satir, Peter /2016-08-14 /Humana Press

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

¥1533

中国进口图书旗舰店

Bartels, Soren /Springer

预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1095

书之源外文图书

Begehr, Heinrich /2011-12-08 /Springer

【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内

¥689.00

书之源外文图书

Nicholls,James /2018-05-07 /de Gruyter

预订 蓝藻研究方法 Methods in Cyanobacterial Research [ISBN:978103249 【全球购】进口原版图书，一般5-8周左右到国内

¥1569

书之源外文图书

Singh,Shailendra Pratap,Sinha,Rajeshwar /2024-06-14 /CRC Press

预订 Research Methods for Health Care Practice [ISBN:978141293 【全球购】进口原版图书，一般5-8周左右到国内

¥2181

书之源外文图书

2009-06-03 /Sage Publications Ltd

按需印刷Robust Methods for Data Reduction 预订，预计下单后2-3周左右发货！

¥1197

上海外文书店旗舰店

Farcomeni, Alessio,Greco, Luca /2015-04-16 /Taylor & Francis Inc

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

¥1362

书之源外文图书

Simpson,Arnold /2013-12-31 /Palgrave

预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内

¥950.00

书之源外文图书

Khemani,Deepak /2024-12-19 /Cambridge University Press

【预订】Analytical Methods for Energy Diversity and Security: Po 美国库房发货，通常付款后3-5周到货！

¥2239

中国进口图书旗舰店

Bazilian, Morgan /1988-08-08 /Elsevier SciencePublishing Company

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

Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语

¥1095

中国进口图书旗舰店

Dimov /2003-01-31 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection

¥1095

中国进口图书旗舰店

Christian Constanda The University o... /2018-08-10 /Birkhaeuser Verlag Basel

【3-6周达】New Methods of Source Reconstruction for Magnetoencep 【全球购】进口原版图书，一般3-6周左右到国内

¥1048

书之源外文图书

Kan, Jing /2000-01-01 /LAP Lambert Academic Publishing

【3-6周达】Methods for recognizing multispectral images based on 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Peleshchak, Roman ; Peleshchak, Ivan ; V /2020-12-22 /LAP Lambert Academic Publishing

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

¥1202

书之源外文图书

McGuckin Michael A. /2016-08-23 /Humana

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

¥623.00

书之源外文图书

Antonio Cerone /2023-11-05 /Springer International Publishing

3-6周达 Inverse Methods in Global Biogeochemical Cycles [ISBN: 【全球购】进口原版图书，预计3-6周左右到国内

¥848.00

书之源外文图书

2000-01-10 /American Geophysical Union

预订Research Methods In Psychology: A Guide For Students and P 【全球购】进口原版图书，约3-6周到达国内后发出

¥834.00

书之源外文图书

2017-01-01 /Think Doctor Publications

预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，约3-6周到达国内后发出

¥1043

书之源外文图书

1999-11-30 /Springer

【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of

¥548.00

中国进口图书旗舰店

Gilles Barthe /2008-05-29 /Springer Berlin Heidelberg

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

Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal

¥548.00

中国进口图书旗舰店

Robert M. Hierons /2008-04-08 /Springer Berlin Heidelberg

【预订】Visual Methods of Inquiry: Images as Research 9780367250 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367250485 Author 作者 Freedman Kerry Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Routledge Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）

¥527.00

中国进口图书旗舰店

Freedman Kerry /Routledge

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

Product Details 基本信息 ISBN-13 书号 9783031071737 Author 作者 Christian Constanda Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Birkh?user Science Publication Date 出版日期 2023-10-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.78 Shipping Weight 商品重量 568 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. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electri

¥1753

中国进口图书旗舰店

Christian Constanda /2023-10-14 /Birkh?user Science

预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1346

书之源外文图书

Ray, Pradeep Kumar, Liaw, Siaw-Teng, Ser /2021-12-24 /Institution of Engineering & Technology

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

¥868.00

书之源外文图书

Markus Roggenbach; Antonio Cerone; Bernd /2022-06-23 /Springer International Publishing

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

¥786.00

书之源外文图书

Shapiro, Eric; Mackmin, David; Sams, Gar /2019-01-30 /Estates Gazette

【3-6周达】Lie Methods in Deformation Theory [ISBN:9789811911842 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Manetti, Marco /2022-06-26 /Springer

【3-6周达】Lie Methods in Optics: Proceedings of the Cifmo-CIO W 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sanchez Mondragon, Javier, Wolf, Kurt B. /2014-08-23 /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

¥949.00

中国进口图书旗舰店

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

【3-6周达】Research Methods for Criminology and Criminal Justice 【全球购】进口原版图书，预计3-6周左右到国内

¥660.00

书之源外文图书

Hartley,Richard D.;Ellis,Lee;Walsh,Antho /2020-07-22 /Rowman & Littlefield Publishers

预订 Inverse Methods in Electromagnetic Imaging 国外库房发货，通常付款后3-5周到货

¥548.00

中国进口图书旗舰店

2013-11-20 /Springer

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

¥985.00

中国进口图书旗舰店

McCall, Kimberly /Humana Press

【预订】Modern Methods of Construction Design 9783319052021 美国库房发货，通常付款后3-5周到货！

¥3285

中国进口图书旗舰店

Dangl, Oskar /2014-04-15 /Springer International Publishing

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

¥1643

中国进口图书旗舰店

Kielanowski /2012-11-15 /Birkhaeuser Verlag Basel

【预订】Numerical Methods for the Life Scientist: Binding and En 美国库房发货，通常付款后3-5周到货！

¥1643

中国进口图书旗舰店

Prinz, Heino /Springer

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

¥548.00

中国进口图书旗舰店

Mitropolsky /2012-10-13 /暂无出版社信息

【预订】Theories, Methods and Numerical Technology of Sheet Meta 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

Hu /2014-08-15 /Springer London

【预订】Advanced Methods of Structural Analysis 9783030443962 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030443962 Author 作者 Igor A. Karnovsky Format 版本 平装-胶订 Pages Number 页数 795页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-17 Product Dimensions 商品尺寸 11.00 x 8.25 x 1.67 Shipping Weight 商品重量 4.08 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into

¥2190

中国进口图书旗舰店

Igor A. Karnovsky /2022-03-17 /Springer Berlin Heidelberg

预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥704.00

书之源外文图书

Stegmaier,Johannes /2020-10-09 /Saint Philip Street Press

【3-6周达】Exact Methods in the Study of Language and Text: Dedi 【全球购】进口原版图书，一般3-6周左右到国内

¥3787

书之源外文图书

Grzybek,Peter;K'Ohler,Reinhard;Kahler,Re /2007-05-09 /Verlag Walter de Gruyter Gmbh & Co. Kg

【3-6周达】Optical Methods in Dynamics of Fluids and Solids: Pro 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Pichal,M. /2011-12-16 /Springer

【3-6周达】Formal Methods: An Introduction to Symbolic Logic and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Beth, E. W. /2011-10-12 /Springer

【3-6周达】Research Methods in Social Studies Education: Contemp 【全球购】进口原版图书，一般3-6周左右到国内

¥816.00

书之源外文图书

Barton,Keith Keith /2006-01-01 /Information Age Publishing

【预订】Numerical Methods in Geotechnical Engineering IX, Volume 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138332034 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-06-19 Language 语种 其它（含多语） Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences. This work is the second volume of NUMGE 2018.

¥2780

中国进口图书旗舰店

Edited by Manuel de Matos Fernandes /2018-06-19 /CRC Press

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

¥1899

中国进口图书旗舰店

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

【预订】Numerical Methods with Worked Examples: MATLAB Edition 9 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Lancester, Cora /2014-11-21 /暂无出版社信息

【预订】Stochastic Methods in Fluid Mechanics 9783709116210 美国库房发货，通常付款后3-5周到货！

¥1516

中国进口图书旗舰店

Solar Physics Observatory (Great Britai /2013-08-15 /Springer Wien

【预订】Stochastic Methods in the Dynamics of Satellites: Course 美国库房发货，通常付款后3-5周到货！

¥758.00

中国进口图书旗舰店

Carrera, Adrian M. /1980-12-31 /暂无出版社信息

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

¥1625

中国进口图书旗舰店

David V. Thiel /2014-09-11 /Cambridge University Press