【预订】Numerical Methods in Multidimensional Radiative 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Formal Methods for Industrial Critical Systems: 15th 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Formal Methods for Industrial Critical Systems: 14th 美国库房发货，通常付款后3-5周到货！
¥548.00
【3-6周达】Formal Methods – Fun for Everybody [ISBN:978303071373 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Comparison Methods and Stability Theory 9781138413320 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138413320 Author 作者 Liu Format 版本 精装 Pages Number 页数 383页 Publication Date 出版日期 2017-08-02 Language 语种 英语 Book Contents 内容简介 Based on the International Symposium on Comparison Methods and Stability Theory held in Waterloo, Ontario, Canada, this title presents advances in comparison methods and stability theory in a wide range of nonlinear problems, covering a variety of topics such as ordinary, functional, integro-, partial, and uncertain differential equations.
¥1560
【3-6周达】Mining Methods: Engineering Fundamentals [ISBN:978168 【全球购】进口原版图书，一般3-6周左右到国内
¥1465
【3-6周达】Models, Methods, and Tools for Complex Chip Design: S 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Standard Methods for Thermal Comfort Assessment of Clothi 【全球购】进口原版图书，一般5-8周左右到国内
¥3269
【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319033396 Author 作者 Klempous Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 This book offers an excellent presentation of intelligent engineering and informatics foundations for researchers in this field as well as many examples with industrial application. It contains extended versions of?selected papers presented at the inaugural ACASE 2012 Conference dedicated to the Applications of Systems Engineering. This conference was held from the 6th to the 8th of February 2012, at the University of Technology, Sydney, Australia, organized by the University of Technology, Sydney (Australia), Wroclaw University of Technology (Poland) and the?Univ
¥1643
【预订】Formal Methods and Software Engineering 9783030634056 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030634056 Format 版本 平装-胶订 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1070g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
¥548.00
【预订】Modern Methods in Operator Theory and Harmonic Analysis 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267506 Format 版本 平装-胶订 Pages Number 页数 475页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语 Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for sol
¥1643
【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货
¥952.00
预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货
¥868.00
预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书，一般5-8周左右到国内
¥820.00
海外直订Formal Methods for Multicore Programming: 15th Internati
¥490.00
海外直订Modern Methods of Optimization: Proceedings of the Summe
¥553.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
海外直订Modern Methods in Collisional-Radiative Modeling of Plas
¥1033
¥504.05
【预订】Diagnostic Methods, Chemical, Bacteriological and Micros 美国库房发货，通常付款后3-5周到货！
¥563.00
【预订】Formal Methods in Computer-Aided Design: Third 美国库房发货，通常付款后3-5周到货！
¥1095
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
【预订】Integral Methods in Science and Engineering, Volume 2: C 美国库房发货，通常付款后3-5周到货！
¥1095
海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方
¥1688
【预订】Somatic Methods for Affect Regulation 9781138284432 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138284432 Author 作者 Kimberley L. Shilson Format 版本 平装-胶订 Pages Number 页数 242页 Publisher 出版社 Routledge Publication Date 出版日期 2019-04-09 Language 语种 英语 Book Contents 内容简介 This unique resource presents a variety of approaches for working somatically with youth. The somatic techniques showcased in the book are evidence-based and illustrated with case studies showing their impact.
¥527.00
预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内
¥1916
【预订】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
【预订】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.
¥2712
【预订】Iterative Methods for Approximate Solution of Inverse Pr 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048167982 Author 作者 Bakushinsky Format 版本 平装-胶订 Pages Number 页数 291页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-08 Language 语种 英语 Book Contents 内容简介 This volume presents a unified approach to constructing iterative methods for solving irregular operator equations and provides rigorous theoretical analysis for several classes of these methods. The analysis of methods includes convergence theorems as well as necessary and sufficient conditions for their convergence at a given rate. The principal groups of methods studied in the book are iterative processes based on the technique of universal linear approximations, stable gradient-type processes, and methods of stable continuous approximations. Compared to existing monographs and textbooks on ill-posed problems, the main distinguishing feature of the presented approac
¥548.00
【预订】Models and Methods of Magnetotellurics 9783642096587 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642096587 Author 作者 Mark N. Berdichevsky Lomonosov Moscow State University Dept Format 版本 平装-胶订 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-13 Shipping Weight 商品重量 896g Language 语种 英语 Book Contents 内容简介 Magnetotelluric methods are finding increasing applications for imaging electrically conductive structures below the Earth`s surface in both industrial and academic research. In Models and Methods of Magnetotellurics, the authors provide a systematic approach to understanding the modern theory of ill-posed problems which is essential to making confident meaningful interpretation of magnetotelluric and magnetovariational soundings. The interpretation is conducted out in an interactive way, including the hypotheses tests and successive partial inversions with priority of the ti
¥2190
【预订】Modern Methods for Theoretical Physical Chemistry of Bio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444522207 Author 作者 Starikov Format 版本 精装 Pages Number 页数 604页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2006-09-01 Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 Physical and Theoretical Chemistry; Biophysical Chemistry
¥3624
【预订】Neurons: Methods and Applications for the Cell Biologist 美国库房发货，通常付款后3-5周到货！
¥2026
【预订】Antibody Methods and Protocols 9781493959303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493959303 Author 作者 Gabriele Proetzel The Jackson Laboratory Bar Harbor ME U Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 10 x 7 x 0.7 cm Shipping Weight 商品重量 647g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it
¥1588
【预订】Numerical Methods in Mechanics of Materials, 3rd ed 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138719163 Author 作者 Ken P. Chong, Arthur P. Boresi, Sunil Saigal and James D. Le Format 版本 精装 Pages Number 页数 340页 Publication Date 出版日期 2017-12-04 Language 语种 英语 Book Contents 内容简介 Although software can be used to model and analyze complex systems, the solution of an engineering problem and the accurate use of numerical results require some physical modeling and an understanding of the assumptions employed. This book provides the grounding in numerical methods necessary to avoid the blind acceptance of results.
¥1492
【预订】Research Methods in Human-Computer Interaction 978012805 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128053904 Author 作者 Lazar, Jonathan Format 版本 平装-胶订 Pages Number 页数 560页 Publication Date 出版日期 2017-04-19 Shipping Weight 商品重量 1160g Language 语种 英语 Book Contents 内容简介 Computer-Human Interaction
¥959.00
【预订】Geometric Methods in Group Theory 9780821833629 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821833629 Author 作者 José Burillo Format 版本 平装-胶订 Pages Number 页数 230页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2005-04-04 Language 语种 英语 Book Contents 内容简介 This volume presents articles by speakers and participants in two AMS special sessions, Geometric Group Theory and Geometric Methods in Group Theory, held respectively at Northeastern University (Boston, MA) and at Universidad de Sevilla (Spain). The expository and survey articles in the book cover a wide range of topics, making it suitable for researchers and graduate students interested in group theory.
¥1467
【3-6周达】The Methods of the Synthesis of Finite Element Model 【全球购】进口原版图书，一般3-6周左右到国内
¥821.00
【预订】Advanced Methods and Technologies in Metallurgy in Russi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319663531 Author 作者 Syngellakis Format 版本 精装 Pages Number 页数 214页 Publisher 出版社 Springer Publication Date 出版日期 2018-01-04 Product Dimensions 商品尺寸 9.6 x 6.4 x 0.6 cm Shipping Weight 商品重量 509g Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive overview of the most recent and advanced work on metallurgy sciences and technologies--including material characterization of complicated alloys, heat and surface treatment, ferrous metals metallurgy, and energy savings in pyrometallurgy--in the important Ural industrial region of Russia. Until recently, research into scientific and engineering problems within Russia developed along different lines than those in Europe and North America, but nevertheless resulted in remarkable achievements utilizing different tools and methodologies than those used in the West. Many of these ach
¥1095
【预订】Advanced Methods of Continuum Mechanics for Materials an 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811092947 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-06-03 Language 语种 英语
¥1643
【预订】Interval Methods for Circuit Analysis 美国库房发货，通常付款后3-5周到货！
¥1381
【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00
【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2035
【预订】Modern Methods for Business Research 9780805826777 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780805826777 Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Psychology Press Publication Date 出版日期 1998-03-01 Shipping Weight 商品重量 874g Language 语种 英语 Book Contents 内容简介 The puropse of the volume is is to introduce a selection of the latest popular methods for conducting business research. The goal is to provide an understanding and working knowledge of each method.
¥1958
海外直订HPLC Methods for Clinical Pharmaceutical Analysis - A Us
¥688.00
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥642.00
【预订】Integral Methods in Science and Engineering: Theoretical 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Web-Based Methods for Visualizing Automobile Traffic 美国库房发货，通常付款后3-5周到货！
¥760.00
【预订】Formal Methods for Components and Objects 9783540747918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540747918 Author 作者 Frank S. de Boer Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-18 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software
¥548.00
【预订】Emerging Methods in Psychology 9781138509504 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138509504 Format 版本 平装-胶订 Publisher 出版社 Routledge Publication Date 出版日期 2017-09-28 Language 语种 英语
¥783.00
【3-6周达】Agile Methods [ISBN:9783031256479] 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥713.00
【预订】Spectral Methods and Their Applications 9789810233334 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810233334 Author 作者 Guo Ben-Yu Format 版本 精装 Pages Number 页数 360页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1998-05-05 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book presents the basic algorithms, the main theoretical results, and some applications of spectral methods. Particular attention is paid to the applications of spectral methods to nonlinear problems arising in fluid dynamics, quantum mechanics, weather prediction, heat conduct
¥1372
海外直订Formal Methods for Executable Software Models: 14th Inte
¥553.00
【3-6周达】Formal Methods and Hybrid Real-Time Systems [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Ordinal Methods for Behavioral Data Analysis 美国库房发货，通常付款后3-5周到货！
¥1958
【预订】Formal Methods for Industrial Critical Systems 978364203 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642032394 Author 作者 Darren Cofer Honeywell Technology Center Minneapolis MN Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicit
¥548.00
【预订】Direct Methods in the Calculus of Variations 97814419225 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441922595 Author 作者 Bernard Dacorogna Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-29 Shipping Weight 商品重量 961g Language 语种 英语 Book Contents 内容简介 This book is developed for the study of vectorial problems in the calculus of variations. It is a new edition of the earlier book published in 1989. Almost half of the book consists of new material and there are added examples.
¥1861
【预订】Linking Methods in Critical Point Theory 9781461272106 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461272106 Author 作者 Schechter Format 版本 平装-胶订 Pages Number 页数 294页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 980g Language 语种 英语 Book Contents 内容简介 As is well known, The Great Divide (a.k.a. The Continental Divide) is formed by the Rocky Mountains stretching from north to south across North America. It creates a virtual ’stone wall’ so high that wind, rain, snow, etc. cannot cross it. This keeps the weather distinct on both sides. Since railroad trains cannot climb steep grades and tunnels through these mountains are almost formidable, the Canadian Pacific Railroad searched for a mountain pass providing the lowest grade for its tracks. Employees discovered a suitable mountain pass, called the Kicking Horse Pass, el. 54
¥1095
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车