海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
¥534.00
【预订】Microwave Methods in Organic Synthesis 9783540367574 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540367574 Author 作者 Larhed Format 版本 精装 Pages Number 页数 290页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-09 Language 语种 英语 Book Contents 内容简介 This book presents critical reviews of the present position and future trends in modern chemical research. The book is still valid and useful after 5 or 10 years. The book will interest scientists and practitioners in the mentioned fields and in industry.
¥3833
【预订】Difference Methods for Singular Perturbation Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367386825 Author 作者 Grigory I. Shishkin and Lidia P. Shishkina Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 This book presents a systematic, detailed development of approaches to construct uniformly convergent finite difference schemes for wide classes of singularly perturbed boundary value problems. The first part of the book explores boundary value problems for elliptic and parabolic reaction-diffusion and convection-diffusion equations in n-dimensional domains with smooth and piecewise-smooth boundaries. Containing material published mainly in the last four years, the second section focuses on problems with boundary layers and additional singularities generated by nonsmooth data, unboundedness of the domain, and the perturbation vector par
¥813.00
预订 The Methods of Measuring the National Sustainable Develop 国外库房发货，通常付款后3-5周到货
¥1314
【预订】Meshless Methods in Solid Mechanics 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Combining Methods in Educational and Social 美国库房发货，通常付款后3-5周到货！
¥525.00
【预订】Matrix Methods for Advanced Structural Analysis 97801281 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128117088 Author 作者 Papadrakakis, Manolis Format 版本 平装-胶订 Pages Number 页数 512页 Publication Date 出版日期 2017-11-13 Language 语种 英语 Book Contents 内容简介 Analysis and Design (Structures)
¥1919
【预订】Numerical Methods 9781108716000 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108716000 Author 作者 Rajesh Kumar Gupta Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2019-04-30 Language 语种 英语 Book Contents 内容简介 Written in an easy-to-understand manner, this comprehensive textbook brings together both basic and advanced concepts of numerical methods in a single volume. Important topics including error analysis, nonlinear equations, systems of linear equations, interpolation and interpolation for Equal intervals and bivariate interpolation are discussed comprehensively. The textbook is written to cater to the needs of undergraduate students of mathematics, computer science, mechanical engineering, civil engineering and information technology for a course on numerical methods/numerical analysis. The text simplifies the understanding of the concepts through exercises
¥966.00
【预订】Semi-Field Methods for the Environmental Risk Assessment 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138117969 Format 版本 平装-胶订 Pages Number 页数 144页 Publication Date 出版日期 2017-06-14 Language 语种 英语
¥949.00
预订 New Methods and Theory on Immigrant Integration: Insights 国外库房发货，通常付款后3-5周到货
¥1356
【预订】Spectral Methods for Non-Standard Eigenvalue Problems: F 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1033
预订 Visual Methods For Digital Research - An Introduction 国外库房发货，通常付款后3-5周到货
¥819.00
【预订】Research Methods in Dentistry 9783030980306 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030980306 Author 作者 Tabatabaei Fahimeh Format 版本 平装-胶订 Pages Number 页数 165页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.57 Language 语种 其它（含多语）
¥658.00
预订 Kernel Methods for Omics Data Mining: Theory and Applicat 国外库房发货，通常付款后3-5周到货
¥1494
【预订】Research Methods for Engineers 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Direct Methods of Solving Crystal Structures Y9781489936 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Models, Methods, Concepts & Applications of the Analytic 美国库房发货，通常付款后3-5周到货！
¥2519
【预订】Effective Methods in Algebraic Geometry 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Algebraic Methods in Operator Theory Y9781461266839 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Geometric Methods and Optimization Problems Y97814613742 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Formal Methods for the Analysis of Biomedical Ontologies 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031121302 Author 作者 Zhang Guo-Qiang Format 版本 精装 Pages Number 页数 245页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥711.00
【预订】Nuclear Methods in Mineralogy and Geology: Techniques an 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Research Methods in Neurochemistry: Volume 4 美国库房发货，通常付款后3-5周到货！
¥548.00
预售 按需印刷Methods for Assessing Brand Value. A Compar 北京发货，付款后10天内发货
¥777.00
【预订】Research Methods in Language and Education 9783319022482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319022482 Author 作者 Kendall A. King University of Minnesota Minneapolis MN U Format 版本 精装 Pages Number 页数 555页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-06-07 Shipping Weight 商品重量 1140g Language 语种 英语 Book Contents 内容简介 In this third, fully revised edition, the 10 volume Encyclopedia of Language and Education offers the newest developments, including an entirely new volume of research and scholarly content, essential to the field of language teaching and learning in the age of globalization. In the selection of topics and contributors, the Encyclopedia reflects the depth of disciplinary knowledge, breadth of interdisciplinary perspective, and diversity of socio-geographic experience in the language and education field. Throughout, there is an inclusion of contributions from non-English speaking an
¥4380
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2067
【预订】Research Methods for Public Health 9780826182050 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780826182050 Author 作者 Eyler Format 版本 平装-胶订 Pages Number 页数 284页 Publisher 出版社 Springer Publishing Company Publication Date 出版日期 2020-11-03 Product Dimensions 商品尺寸 10.00 x 7.00 x 0.60 Shipping Weight 商品重量 1.10 Language 语种 其它（含多语）
¥1209
【预订】Numerical Methods for Fluid Dynamics V 美国库房发货，通常付款后3-5周到货！
¥637.00
【预订】Interferon Methods and Protocols Y9781588294180 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Nuclease Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】General Methods and Overviews, Lung Carcinoma and 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Asymptotic Methods for Elastic Structures 美国库房发货，通常付款后3-5周到货！
¥1337
【预订】Diagnostic Methods of Anca 美国库房发货，通常付款后3-5周到货！
¥790.00
【预订】Multigrid Methods IV: Proceedings of the Fourth European 美国库房发货，通常付款后3-5周到货！
¥548.00
按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！
¥862.00
预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内
¥950.00
按需印刷Merged Methods 预订，预计下单后2-3周左右发货！
¥1379
【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the
¥603.00
【预订】Research Methods in Practice: Strategies for De*ion and 美国库房发货，通常付款后3-5周到货！
¥763.00
海外直订Formal Methods and Testing: An Outcome of the Fortest Ne
¥553.00
【预订】Research Methods for Public Administrators 9781138381933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138381933 Format 版本 平装-胶订 Publisher 出版社 Taylor & Francis Ltd Publication Date 出版日期 1800-01-01 Language 语种 英语
¥2438
海外直订Mixed Methods in Criminology 犯罪学中的混合方法
¥1920
【预订】Research Methods in Sports Coaching 美国库房发货，通常付款后3-5周到货！
¥2412
【预订】Neutrophil Methods and Protocols 9781617377792 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Energy Methods in Continuum Mechanics: Proceedings of th 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Oogenesis: Methods and Protocols 9781493937936 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Abstract Methods in Information Theory, 2/e 978981475923 美国库房发货，通常付款后3-5周到货！
¥1660
【预订】Nuclease Methods and Protocols 9781617371301 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Advanced Methods in Material Forming 9783642089237 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642089237 Author 作者 Dorel Banabic Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-15 Language 语种 英语 Book Contents 内容简介 This book contains the most relevant papers presented in the International Conference on Materials Forming, ESAFORM 2005.
¥1643
【预订】Formal Methods for Distributed System Development 978147 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752649 Author 作者 Bolognesi Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer US Publication Date 出版日期 2013-02-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1310g Language 语种 英语 Book Contents 内容简介 th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --’Fonna! Methods? Implementation Under Test’ --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM’s), wit
¥2190
【预订】Numerical Methods for Fractional Calculus 9780367658793 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367658793 Author 作者 Changpin Li and Fanhai Zeng Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-09-30 Shipping Weight 商品重量 560g Language 语种 英语 Book Contents 内容简介 Numerical Methods for Fractional Calculus presents numerical methods for fractional integrals and fractional derivatives, finite difference methods for fractional ordinary differential equations (FODEs) and fractional partial differential equations (FPDEs), and finite element methods for FPDEs.The book introduces the basic definitions and properties of fractional integrals and derivatives before covering numerical methods for fractional integrals and derivatives. It then discusses finite difference methods for both FODEs and FPDEs, including the Euler and linear multistep methods. The final chapter shows how to so
¥611.00
【预订】Research Methods for Interior Design 9780367139490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139490 Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Routledge Publication Date 出版日期 2020-07-30 Product Dimensions 商品尺寸 7-1/2 x 10 Language 语种 其它（含多语） Book Contents 内容简介 Through four distinct sections, the authors not only lay out the theory of interiority—a subjective sense a person feels in his or her relation to a physical environment, which results in positive attachments of communal belonging—but also how designers can access interiority through a variety of research methodologies.
¥603.00
【预订】Formal Methods Teaching 9783031275333 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031275333 Author 作者 Catherine Dubois Format 版本 平装-胶订 Pages Number 页数 107页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-21 Language 语种 其它（含多语）
¥603.00
预订 序列求和方法 Methods for the Summation of Series [ISBN:97810321 【全球购】进口原版图书，一般5-8周左右到国内
¥820.00
预订Research Methods: A Tool for Life [ISBN:9781108470841] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1184
【预订】Modern Methods for Musicology 9780754673026 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780754673026 Author 作者 Tim Crawford Format 版本 精装 Pages Number 页数 216页 Publication Date 出版日期 2009-07-28 Shipping Weight 商品重量 550g Language 语种 英语 Book Contents 内容简介 Written by leading experts, this volume provides a picture of the realities of current ICT use in musicology as well as prospects and proposals for how it could be fruitfully used in the future. This volume highlights the breadth and inter-disciplinary nature of the subject, providing a valuable resource to technologists, musicologists, musicians and music educators.
¥2110
【预订】Modeling Methods for Business Information Systems Analys 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522555223 Author 作者 Selin Erben Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2018-11-30 Language 语种 英语 Book Contents 内容简介 The field of information systems analysis and design includes numerous evolving modelling methods and notations. Even with some attempts to standardize, new modelling methods are constantly being introduced that significantly impact the way information systems are analyzed and designed in practice. Modeling Methods for Business Information Systems Analysis and Design is a collection of innovative research on the methods and applications of knowledge systems and their applications within organizational settings. While highlighting topics including finance, operational planning, and enterprise models, this book is ideally designed for academicians, professionals, and organizational r
¥1840
【预订】Dynamic Methods and Process Advancements in Mechanical, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466618671 Author 作者 J. Paulo Davim Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2012-07-31 Language 语种 英语 Book Contents 内容简介 Engineering and design are often a necessary steps for an industry to become effective. Industry modeling can help to bridge the communication gap among engineers and system designers.Dynamic Methods and Process Advancements in Mechanical, Manufacturing, and Materials Engineering examines the principles of physics and materials science for analysis, design, manufacturing and maintenance of mechanical equipments and systems. Targeting researchers, practitioners, and academicians, this volume promotes innovative findings in mechanical, manufacturing and materials engineering.
¥1669
【预订】Research Methods in Physical Activity and Health 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138067684 Format 版本 平装-胶订 Publisher 出版社 Routledge Publication Date 出版日期 2018-12-31 Language 语种 英语 Book Contents 内容简介 This is the first book to present the issues associated with physical activity and health research and introduce students to the methods available. The book works through the full research process, from;devising a proposal, through selecting a research methodology and quantifying physical activity and outcome measures, to disseminating findings.
¥707.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车