【预订】Numerical Methods for Exterior Problems 9789812705266 美国库房发货，通常付款后3-5周到货！
¥659.00
【预订】Scattering Methods and the Properties of Polymer Materia 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642064616 Author 作者 Stribeck Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-11 Language 语种 英语 Book Contents 内容简介 Nanostructure is in the focus of science, and advanced scattering methods are significantly contributing to the solution of related questions. This volume includes 19 contributions to the field of polymers and scattering, collected on the occasion of Wilhelm Ruland’s 80th anniversary in October 2005. The contributions from leading scientists cover a wide range of topics concerning -Advanced polymer materials -Studies of nanostructure: From bone to nanotubes -Modern data evaluation methods for isotropic and anisotropic scattering data. The book is an excellent source of information with respect to recent developments and future applications related to this importan
¥1643
【预订】Numerical Methods for Structured Matrices and Applicatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764389956 Author 作者 Bini Format 版本 精装 Pages Number 页数 439页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2010-03-12 Shipping Weight 商品重量 917g Language 语种 英语 Book Contents 内容简介 This cross-disciplinary volume brings together theoretical mathematicians, engineers and numerical analysts and publishes surveys and research articles related to topics such as fast algorithms, in which the late Georg Heinig made outstanding achievements.
¥1643
【预订】Numerical Methods with Algorithms and Programs 美国库房发货，通常付款后3-5周到货！
¥756.00
预订 Jets Methods of Cutting Carbide and Super Hard Materials: 国外库房发货，通常付款后3-5周到货
¥675.00
【预订】Modern Methods of Reflector Antenna Analysis and 美国库房发货，通常付款后3-5周到货！
¥1613
【预订】Sol-Gel Methods for Materials Processing: Focusing 美国库房发货，通常付款后3-5周到货！
¥2409
【预订】Models & Methods for Project Selection 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Direct Methods for Solving Macromolecular 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Unified Methods for VLSI Simulation and Test 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Bayesian Methods: An Analysis for Statisticians and 美国库房发货，通常付款后3-5周到货！
¥648.00
【预订】Theory and Methods of Economic Evaluation of Health 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Tools and Methods of Program Analysis 9783030714710 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030714710 Format 版本 平装-胶订 Pages Number 页数 209页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-17 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 690g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5thInternational Conference onTools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and
¥548.00
预订 Hybrid Methods for Modeling and Optimizing Complex System 国外库房发货，通常付款后3-5周到货
¥2409
预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货
¥868.00
3-6周达 Kras: Methods and Protocols [ISBN:9781071638217] 【全球购】进口原版图书，预计3-6周左右到国内
¥2276
【预订】Numerical Methods for Electromagnetic Scattering by 美国库房发货，通常付款后3-5周到货！
¥1325
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】Numerical Methods for Nonlinear Engineering Models 美国库房发货，通常付款后3-5周到货！
¥2738
按需印刷Modern Methods of Construction 预订，预计下单后2-3周左右发货！
¥907.00
【预订】Sampling Methods in Soybean Entomology 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods for Executable Software Models: 14th Inte 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Grid Equations: Volume I Direct Me 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Practical Methods for Successful Classroom Teaching 美国库房发货，通常付款后3-5周到货！
¥1012
【3-6周达】Research Methods in the Social Sciences [ISBN:9781429 【全球购】进口原版图书，一般3-6周左右到国内
¥4758
【预订】Analytic Methods of Sound Field Synthesis 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Numerical Methods for the Life Scientist: Binding 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Modern Methods of Construction 美国库房发货，通常付款后3-5周到货！
¥1013
【3-6周达】Testing Methods and Reliability - Power [ISBN:9781349 【全球购】进口原版图书，一般3-6周左右到国内
¥1362
【预订】Research Methods for Education 9780273775102 美国库房发货，通常付款后3-5周到货！
¥783.00
【预订】Research Methods for Sports Performance Analysis 9780415 美国库房发货，通常付款后3-5周到货！
¥2637
预订Research Methods for Counseling: An Introduction [ISBN:978 【全球购】进口原版图书，约3-6周到达国内后发出
¥918.00
预订Optical Methods for Solid Mechanics: A Full-Field Approach 预订，预计下单后4-6周左右发货
¥2455
【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预售 按需印刷】Topics and Methods in q-Series
¥1581
【预订】Models and Methods in Social Network Analysis 9780521600 美国库房发货，通常付款后3-5周到货！
¥581.00
【预订】Modern Methods in Orchid Conservation 9780521372947 美国库房发货，通常付款后3-5周到货！
¥1454
【预订】Numerical Methods in Finance with C++ 9780521177160 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Formal Methods: Foundations and Applications 97830300304 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030030438 Author 作者 Massoni Format 版本 平装-胶订 Pages Number 页数 271页 Publication Date 出版日期 2018-10-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st BrazilianSymposium on Formal Methods, SBMF 2018, which took place in Salvador,Brazil, in November 2018.The 16 regular papers presented in this book were carefullyreviewed and selected from 30 submissions. The papers are organized in topical sections such as:techniques and methodologies; specification and modeling languages; theoretical foundations;verification and validation; experience reports regarding teaching formal methods; and applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
¥635.00
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
预订 SNAREs: Methods and Protocols 可溶解的N-乙基马来酰亚胺敏感因子附着蛋白受体：方法与 国外库房发货，通常付款后3-5周到货
¥2190
【3-6周达】Lie Methods in Optics II: Proceedings of the Se [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Cast Methods in Modelling: Computer Aided Systems The 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】TALENs: Methods and Protocols [ISBN:9781493949052] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Silac: Methods and Protocols [ISBN:9781071628652] 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
【3-6周达】Formal Methods for Discrete-Time Dynamical Systems [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【预订】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
【预订】Numerical Methods in Sensitivity Analysis and Shape 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Formal Methods for Distributed Processing: A Survey 美国库房发货，通常付款后3-5周到货！
¥1783
【3-6周达】Research Methods in Social Studies Education: Contemp 【全球购】进口原版图书，一般3-6周左右到国内
¥816.00
【3-6周达】Mucins: Methods and Protocols [ISBN:9781493958863 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Bayesian Methods for Real-Time Pitch Tracking 美国库房发货，通常付款后3-5周到货！
¥965.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
【预订】Multiscale Methods in Computational Mechanics 9789048198 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048198085 Author 作者 de Borst Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-25 Shipping Weight 商品重量 1820g Language 语种 英语 Book Contents 内容简介 This work gives a modern, up-to-date account of recent developments in computational multiscale mechanics. Both upscaling and concurrent computing methodologies will be addressed for a range of application areas in computational solid and fluid mechanics: Scale transitions in materials, turbulence in fluid-structure interaction problems, multiscale/multilevel optimization, multiscale poromechanics.A Dutch-German research group that consists of qualified and well-known researchers in the field has worked for six years on the topic of computational multiscale mechanics. This text provides a unique opportunity to consolidate and disseminate
¥1095
【预订】Formal Methods: Foundations and Applications 97836421045 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642104510 Author 作者 Marcel Vinícius Medeiros Oliveira Lagoa Nova Natal Brazil Format 版本 平装-胶订 Pages Number 页数 351页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-09 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational sys
¥548.00
【预订】Formal Methods: Foundations and Applications 97836422503 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642250316 Author 作者 Simao Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥548.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 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 like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥548.00
【预订】Relational Methods in Computer Science 9783211829714 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211829714 Author 作者 Brink Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Wien Publication Date 出版日期 1997-04-23 Language 语种 英语 Book Contents 内容简介 The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathe
¥548.00
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车