【预订】Formal Methods for Distributed System Development 978079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780792379683 Author 作者 Bolognesi Format 版本 精装 Pages Number 页数 412页 Publisher 出版社 Springer US Publication Date 出版日期 2000-09-30 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), with their conflicts between evangelistic and agnostic attitudes, with their over? optimistic applications t
¥2190
按需印刷DGYT Methods in Empirical Prosody Research 预订，预计下单后3-6周左右发货！
¥1552
【预订】Formal Methods: Applications and Technology 978354070951 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540709510 Author 作者 Lubos Brim Format 版本 平装-胶订 Pages Number 页数 366页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-20 Language 语种 英语 Book Contents 内容简介 These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency Theory that was or- nized in Bonn, August 2006. The FMICS workshop continued successfully the aim of the FMICS working group – to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. The emphasis in these workshops is on the exchange of ideas
¥548.00
【预订】Separation Methods In Microanalytical Systems 9780367578 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367578039 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Focusing on what has been one of the driving forces behind the development of lab-on-a-chip devices, Separation Methods in Microanalytical Systems explores the implementation, realization, and operation of separation techniques and related complex workflows on microfabricated devices. The book details the design, manufacture, and integration of diverse components needed to perform an entire analytical procedure on a single miniaturized device. The content applies to a diversity of disciplines including chemical analysis, biomedical diagnostics, environmental monitoring, and drug discovery. Separation Methods in Microanalytical Systems lays its theoretical background in a
¥611.00
【预订】Numerical Methods in Electromagnetics 9780444513755 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444513755 Author 作者 SCHILDERS Format 版本 精装 Pages Number 页数 928页 Publisher 出版社 North-Holland Publishing Co. Publication Date 出版日期 2005-05-01 Shipping Weight 商品重量 1630g Language 语种 英语 Book Contents 内容简介 Electromagnetics, Signal Processing and Communications; Numerical Methods in Engineering
¥4158
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内
¥1501
【3-6周达】Modern Methods for Epidemiology [ISBN:9789400794061] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
Numerical Methods for Delay Differential Equations 英文原版 时滞微分
¥675.40
【3-6周达】Formal Methods and Software Engineering: 7th Internat 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Research Methods: A Process of Inquiry (Revised) [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2499
【3-6周达】Proof Methods for Modal and Intuitionistic Logics [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
按需印刷Modern Methods in Phytomedicine 预订，预计下单后2-3周左右发货！
¥1408
【预售 按需印刷】Research Methods for Pedagogy
¥1203.6
【预售 按需印刷】Data-Based Methods for Materials Design a
¥1140.7
【预订】Numerical Methods with Worked Examples: Matlab Edition 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789400713659 Author 作者 C. Woodford University of Newcastle Department of Computing Format 版本 精装 Pages Number 页数 256页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2011-09-10 Shipping Weight 商品重量 567g Language 语种 英语 Book Contents 内容简介 This book is for students following an introductory course in numerical methods, numerical techniques or numerical analysis. It introduces MATLAB as a computing environment for experimenting with numerical methods. It approaches the subject from a pragmatic viewpoint; theory is kept at a minimum commensurate with comprehensive coverage of the subject and it contains abundant worked examples which provide easy understanding through a clear and concise theoretical treatment. This edition places even greater emphasis on ‘learning by doing’ than the previous edition.?Fully documented MATL
¥603.00
【3-6周达】Novel methods in visual quality assessment and pedest 【全球购】进口原版图书，一般3-6周左右到国内
¥952.00
【3-6周达】高被引PCR: Methods and Protocols [ISBN:9781493970 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【3-6周达】Applied Methods of Cost-Effectiveness Analysis in Hea 【全球购】进口原版图书，一般3-6周左右到国内
¥884.00
【3-6周达】Novel Methods for the Visualization of Gene Expressio 【全球购】进口原版图书，一般3-6周左右到国内
¥903.00
【3-6周达】Kernel Methods in Analysis of Genetic Markers and DNA 【全球购】进口原版图书，一般3-6周左右到国内
¥1192
【3-6周达】New Methods of Concurrent Checking [ISBN:978904817876 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Physical Methods for Materials Characterisation, Third E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781482245233 Author 作者 Peter E. J. Flewitt and Robert K. Wild Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-02-01 Language 语种 英语 Book Contents 内容简介 This completely revised and expanded new edition covers the full range of techniques now available for the investigation of materials structure and accurate quantitative determination of microstructural features within materials. It continues to provide the best introductory resource for understanding the interrelationship between microstructure and physical, mechanical, and chemical properties, as well as selection and application of techniques for both basic and applied studies. In particular, changes have been made to reflect developments in analysis of nanoscale and biological materials.
¥1424
【预订】Numerical Methods for Pdes: State of the Art Techniques 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030068967 Format 版本 平装-胶订 Publisher 出版社 Wiley Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1095
【3-6周达】Formal Methods for Eternal Networked Software Systems 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Numerical Methods for Bifurcation Problems and Large-Sca 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461270447 Author 作者 Doedel Format 版本 平装-胶订 Pages Number 页数 481页 Publication Date 出版日期 2012-10-30 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1520g Language 语种 英语
¥548.00
【预订】Research Methods in Language and Education 9789048194001 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048194001 Author 作者 King Format 版本 平装-胶订 Pages Number 页数 443页 Publication Date 出版日期 2010-07-31 Shipping Weight 商品重量 1440g Language 语种 英语 Book Contents 内容简介 This volume, Research Methods in Language, offers an overview of the wide range of methodological approaches to language and education across the axes of micro and macro-linguistic and social levels of analysis, as well as the multiple connections between them.The four sections each offer ?Several reviews of different broad areas or subfields?Articles with a more narrow focus or demonstrating the application of an approach?International scope ?Diversity of scholarly perspectivesThe resultant breadth and depth of theoretical and methodological research perspective makes this a unique and highly valuable resource.This is one of ten volumes of the Encyclopedia of Language and Educatio
¥1314
【预订】Antibody Methods and Protocols 9781617799303 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617799303 Author 作者 Proetzel Format 版本 精装 Pages Number 页数 325页 Publication Date 出版日期 2012-06-23 Shipping Weight 商品重量 826g 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 selects a range of specific areas with the aim of providing guides for the overall process of antibody isolation and characterization as well as protoc
¥1095
【预订】Clinical Methods in Medical Family Therapy 9783030098537 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030098537 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-12-19 Language 语种 英语
¥932.00
【预订】Numerical Methods for Optimal Control Problems 978303001 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030019587 Author 作者 Falcone Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2019-01-20 Language 语种 英语 Book Contents 内容简介 This work presents recent mathematical methods in the area of optimal control with a particular emphasis on the computational aspects and applications. Optimal control theory concerns the determination of control strategies for complex dynamical systems, in order to optimize some measure of their performance. Started in the 60’s under the pressure of the "space race" between the US and the former USSR, the field now has a far wider scope, and embraces a variety of areas ranging from process control to traffic flow optimization, renewable resources exploitation and management of financial markets. These emerging applications require more and more efficient numerical methods for their solution, a very difficult task due the h
¥1205
【预订】Interval Methods for Solving Nonlinear Constraint Satisf 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030137946 Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2019-03-19 Language 语种 英语 Book Contents 内容简介 This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.
¥1095
【预订】Subspace Methods for System Identification 9781852339814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852339814 Author 作者 Katayama Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2005-06-15 Language 语种 英语 Book Contents 内容简介 An in-depth introduction to subspace methods for system identification in discrete-time linear systems thoroughly augmented with advanced and novel results, this text is structured into three parts. Part I deals with the mathematical preliminaries: numerical linear algebra; system theory; stochastic processes; and Kalman filtering. Part II explains realization theory as applied to subspace identification. Stochastic realization results based on spectral factorization and Riccati equations, and on canonical correlation analysis for stationary processes are included. Part III demonstrates the closed-loop application of subspace identification methods. Subspace Methods for System Identification is an excellent reference
¥1643
【预订】Polynomial Methods for Control Systems Design 9783540760 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540760771 Author 作者 Grimble Format 版本 平装-胶订 Pages Number 页数 255页 Publication Date 出版日期 1996-09-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 This monograph was motivated by a very successful workshop held before the 3rd IEEE Conference on Decision and Control held at the Buena Vista Hotel, lake Buena Vista, Florida, USA. The workshop was held to provide an overview of polynomial system methods in LQG (or H ) and Hoo optimal control and 2 estimation. The speakers at the workshop were chosen to reflect the important contributions polynomial techniques have made to systems theory and also to show the potential benefits which should arise in real applications. An introduction to H2 control theory for continuous-time systems is included in chapter 1. Three different approaches are considered covering state
¥1095
【预订】The Latest Methods of Construction Design 9783319794204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319794204 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-03-28 Language 语种 英语 Book Contents 内容简介 This book is based on the 55th International Conference of Machine Design Departments 2014 (ICMD 2014) which was hosted by the Czech Technical University in September 2014. It features scientific articles which solve progressive themes from the field of machine design. The book addresses a broad range of themes including tribology, hydraulics, materials science, product innovation and experimental methods. It presents the latest interdisciplinary high-tech work. People with an interest in the latest research results in the field of machine design and manufacturing engineering will value this book with contributions of leading academic scientists and experts from all around the world.
¥1643
【3-6周达】Design Methods and Applications for Distributed Embed 【全球购】进口原版图书，一般3-6周左右到国内
¥1254
3-6周达 Formal Methods for Protocol Engineering and Distribute 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥2767
【3-6周达】Modern Methods of Construction Design: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内
¥3212
预订 Design Methods and Practices for Research of Project Mana 【全球购】进口原版图书，一般5-8周左右到国内
¥2589
【3-6周达】Material Methods: Researching and Thinking with Thing 【全球购】进口原版图书，预计3-6周左右到国内
¥596.00
【预订】Formal Methods and Software Engineering 9783540474609 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540474609 Author 作者 Liu Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-24 Language 语种 英语
¥1095
【预订】Assessment Methods for Soil Carbon 9781566704618 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566704618 Format 版本 精装 Pages Number 页数 696页 Publication Date 出版日期 2000-12-28 Shipping Weight 商品重量 1365g Language 语种 英语 Book Contents 内容简介 The Kyoto Protocols heightened interest in soil carbon pools and their effect on carbon fluxes. In Assessment Methods for Soil Carbon, leading researchers show that the technology exists to measure, monitor, and verify changes to soil carbon. The book establishes the need for standardized methods, and sheds light on the link between the pedosphere (soils) and the atmosphere. It shows the importance of developing links between the economics of carbon sequestration and the amounts sequestered and highlights the need for scientists and policy makers to interact to ensure that policies fit within the scope of present technologies.
¥2561
【预订】Practical Methods for Improving the Motion Performance o 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780530005720 Author 作者 Wegerif Format 版本 平装-胶订 Pages Number 页数 226页 Publisher 出版社 Dissertation Discovery Company Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11 x 8.5 x 0.4 cm Shipping Weight 商品重量 1180g Language 语种 英语
¥1166
预订Research Methods and Statistics in Psychology [ISBN:978110 【全球购】进口原版图书，约3-6周到达国内后发出
¥1436
预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出
¥1303
【预订】Numerical Methods for Processes in Fractured Porous Medi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030269401 Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2019-08-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1170g Language 语种 英语 Book Contents 内容简介 This volume collects state-of-the-art contributions on the numerical simulation of fractured porous media, focusing on flow and geomechanics. First appearing in issues of the International Journal on Geomathematics, these articles are now conveniently packaged in one volume. Of particular interest to readers will be the potential applications of modern numerical methods to the problem of processes in fractured porous media. This book is ideal for computational scientists and numerical analysts interested in recent developments of numerical discretization techniques for underground flow and g
¥932.00
【预订】Computer Methods and Advances in Geomechanics, Volume 2 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061911913 Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 1991-01-01 Shipping Weight 商品重量 1655g Language 语种 其它（含多语） Book Contents 内容简介 .
¥3583
【预订】Scaling Methods 9781138143029 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138143029 Author 作者 Peter Dunn-Rankin Format 版本 精装 Pages Number 页数 254页 Publisher 出版社 Psychology Press Publication Date 出版日期 2016-04-11 Shipping Weight 商品重量 370g Language 语种 英语 Book Contents 内容简介 This is a comprehensive collection of scaling methods appropriate for either self-guided study or references.
¥1958
【预订】Formal Methods and Software Engineering 9783540766483 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540766483 Author 作者 Michael Butler University of Southampton School of Electron Format 版本 平装-胶订 Pages Number 页数 387页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-11-07 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
¥548.00
【预订】Analytical Methods in Petroleum Upstream Applications 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498739719 Format 版本 精装 Pages Number 页数 315页 Publisher 出版社 CRC Press Publication Date 出版日期 2015-04-21 Language 语种 英语
¥1288
【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.
¥1643
【预订】Formal Methods and Stochastic Models for Performance Eva 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540752103 Author 作者 Katinka Wolter Format 版本 平装-胶订 Pages Number 页数 304页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-17 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
¥548.00
【预订】Numerical Methods and Software Tools in Industrial Mathe 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461273677 Author 作者 Tveito Format 版本 平装-胶订 Pages Number 页数 400页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2013-03-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Language 语种 英语 Book Contents 内容简介 13. 2 Abstract Saddle Point Problems . 282 13. 3 Preconditioned Iterative Methods . 283 13. 4 Examples of Saddle Point Problems 286 13. 5 Discretizations of Saddle Point Problems. 290 13. 6 Numerical Results . . . . . . . . . . . . . 295 III GEOMETRIC MODELLING 299 14 Surface Modelling from Scattered Geological Data 301 N. P. Fremming, @. Hjelle, C. Tarrou 14. 1 Introduction. . . . . . . . . . . 301 14. 2 Deion of Geological Data 302 14. 3 Triangulations . . . . . . . . 304 14. 4 Regular Grid Models . . . . . 306 14. 5 A Composite Surface Model. 307 14. 6 Examples . . . . . . 312 14. 7 Concluding Remarks. . . . . 314 15
¥548.00
预订 Tableau Methods for Propositional Logic and Term Logic 命题 国外库房发货，通常付款后3-5周到货
¥1252
【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Training Methods to Improve Sports Performance and Hea 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥559.00
【3-6周达】Formal Methods: Foundations and Applications: 21st Br 【全球购】进口原版图书，一般3-6周左右到国内
¥674.00
【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内
¥1940
【3-6周达】Mixed Methods Research for Social Work: Integrating M 【全球购】进口原版图书，一般3-6周左右到国内
¥1319
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1789
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车