【预订】Numerical Methods and Applications 9783540709404 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540709404 Author 作者 Todor Boyanov Format 版本 平装-胶订 Pages Number 页数 732页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-20 Language 语种 英语
¥1095
【预订】Formal Methods and Software Engineering 9783642342806 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642342806 Author 作者 Aoki Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 801g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, tempor
¥548.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
【预订】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
【预订】Dynamic Methods for Damage Detection in Structures 美国库房发货，通常付款后3-5周到货！
¥2274
按需印刷New Methods and Paradigms for Modeling Dynamic Processes 预订，预计下单后2-3周左右发货！
¥2693
预订 Novel Methods for Near Lossless Compression for Medical I 国外库房发货，通常付款后3-5周到货
¥1336
【预订】Formal Methods in Computer Science 9780367225704 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
¥2035
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥548.00
【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1751
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥704.00
【3-6周达】Methods for studying nonlinear boundary value problem 【全球购】进口原版图书，一般3-6周左右到国内
¥676.00
【预订】Visual Methods in Psychology 9781138491793 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138491793 Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Routledge Publication Date 出版日期 2020-05-01 Language 语种 英语 Book Contents 内容简介 This comprehensive volume explores the set of theoretical, methodological, ethical and analytical issues that shape the ways in which visual qualitative research is conducted in psychology. Using visual data such as film-making, social-media analyses, photography and model making, the book uniquely uses visual qualitative methods to broaden our understanding of experience and subjectivity.In recent years, visual research has seen a growing emphasis on the importance of culture in experience based qualitative methods. Featuring contributors from diverse research backgrounds including narrative psychology, personal construct theory and psychoanalysis, the book examines the potential for visual methods in psychology. In
¥3013
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367235482 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 322页 Publisher 出版社 CRC Press Publication Date 出版日期 2019-09-20 Language 语种 英语 Book Contents 内容简介 The book provides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2035
海外直订Formal Methods: Foundations and Applications: 25th Brazi
¥728.00
【预订】Tensorial Methods and Renormalization in Group Field The 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319058665 Author 作者 Carrozza Format 版本 精装 Pages Number 页数 226页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-04-25 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 532g Language 语种 英语 Book Contents 内容简介 The main focus of this thesis is the mathematical structure of Group Field Theories (GFTs) from the point of view of renormalization theory. Such quantum field theories are found in approaches to quantum gravity related, on the one hand, to Loop Quantum Gravity (LQG) and on the other, to matrix- and tensor models. Background material on these topics, including conceptual and technical aspects, are introduced in the first chapters. The work then goes on to explain how the standard tools of Quantum Field Theory can be generalized to GFTs and exploited to study the large cu
¥1095
【预订】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周达】Malaria Methods and Protocols [ISBN:9780896038233] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Key Methods in Geography [ISBN:9781529772081] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2354
【3-6周达】Pirna: Methods and Protocols [ISBN:9781071623824] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Direct Methods for Limit State of Materials and Struc 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【3-6周达】Design Methods for Reducing Failure Probabilities wit 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订New Methods of Thought and Procedure: Contributions to t
¥1318
海外直订医药图书Methods in Pain Research 疼痛研究方法
¥892.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥696.00
海外直订Robust Methods for Dense Monocular Non-Rigid 3D ... 点云密集
¥1065
【预订】Policy and Methods in German and American Antitrust 美国库房发货，通常付款后3-5周到货！
¥1024
按需印刷Fuzzy Methods for Customer Relationship Management and M 预订，预计下单后2-3周左右发货！
¥2355
【3-6周达】Formal Methods for Components and Objects: 7th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Prions: Methods and Protocols [ISBN:9781493972425 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】piRNA: Methods and Protocols [ISBN:9781071623794] 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内
¥1273
【3-6周达】Formal Methods: Applications and Technology: 11th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Aging Methods and Protocols [ISBN:9780896035829] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Research Methods for Engineers 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】Research Methods in Indigenous Contexts 9783319892061 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319892061 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-06-06 Language 语种 其它（含多语）
¥548.00
【预订】Newton Methods for Nonlinear Problems 9783540210993 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540210993 Author 作者 Deuflhard Format 版本 精装 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-04-26 Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance approach leads to shorter theorems and proofs and permits
¥1205
【预订】Analytic Methods for Coagulation-Fragmentation Models, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498772655 Author 作者 Jacek Banasiak Format 版本 精装 Pages Number 页数 376页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-09-02 Language 语种 英语 Book Contents 内容简介 The bookprovides an in-depth survey of coagulation-fragmentation models, followed by a detailed presentation of relevant earlier results in the field.
¥2035
【预订】Geometric Methods In Elastic Theory Of Membranes In Liqu 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813227729 Author 作者 Tu Zhanchun et Al Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2017-12-01 Language 语种 英语 Book Contents 内容简介 This is the second edition of the book Geometric Methods in Elastic Theory of Membranes in Liquid Crystal Phases published by World Scientific in 1999. This book gives a comprehensive treatment of the conditions of mechanical equilibrium and the deformation of membranes as a surface problem in differential geometry. It is aimed at readers engaging in the field of investigation of the shape formation of membranes in liquid crystalline state with differential geometry. The material chosen in this book is mainly limited to analytical results. The main changes in this second edition are: we add a chapter (Chapter 4) to explain how to calculate variational problems on
¥1433
【预订】Meshfree Methods 9781138372702 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138372702 Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-09-28 Language 语种 其它（含多语） Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2Dc is freely available for download online.
¥773.00
【预订】Research Methods in Language Policy and Planning 9781118 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781118308387 Author 作者 Francis Hult Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2015-05-11 Shipping Weight 商品重量 590g Language 语种 英语 Book Contents 内容简介 Language policy and planning (LPP) is one of the fastest growing sub-disciplines of applied linguistics. This book is the first volume that is exclusively devoted to research methods in language policy and planning. As in other areas of applied linguistic
¥1342
【预订】Analytic Methods in Sports 9780367469382 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367469382 Author 作者 Thomas A. Severini Format 版本 平装-胶订 Pages Number 页数 356页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 This book provides a concise yet thorough introduction to the analytic and statistical methods that are useful in studying sports. It explains how to apply the methods to sports data and interpret the results, demonstrating that the analysis of sports data is often different from standard statistical analyses.
¥773.00
【预订】Resampling Methods: A Practical Guide to Data 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】Numerical Methods for Controlled Stochastic Delay 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Agile Methods: 9th Brazilian Workshop, Wbma 2018, Cam 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Advanced Methods for Complex Network Analysis 9781466699 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466699649 Author 作者 Natarajan Meghanathan Format 版本 精装 Pages Number 页数 461页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2016-04-30 Product Dimensions 商品尺寸 11 x 8.5 x 1 cm Shipping Weight 商品重量 3090g Language 语种 英语 Book Contents 内容简介 As network science and technology continues to gain popularity, it becomes imperative to develop procedures to examine emergent network domains, as well as classical networks, to help ensure their overall optimization. Advanced Methods for Complex Network Analysis features the latest research on the algorithms and analysis measures being employed in the field of network science. Highlighting the application of graph models, advanced computation, and analytical procedures, this publication is a pivotal resource for students, faculty, industry practitioners, and business professio
¥1840
【预订】Formal Methods for Mobile Computing 9783540256977 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540256977 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-04-13 Language 语种 英语
¥548.00
【预订】Formal Methods for Real-Time and Probabilistic Systems 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540660101 Author 作者 Katoen Format 版本 平装-胶订 Pages Number 页数 353页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-05-12 Language 语种 英语
¥548.00
海外直订Ford Methods and the Ford Shops 福特方法和福特商店
¥581.00
【预订】Control Methods in PDE-Dynamical Systems 9780821837665 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821837665 Author 作者 Fabio Ancona Format 版本 平装-胶订 Pages Number 页数 404页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2007-03-21 Language 语种 英语 Book Contents 内容简介 While rooted in controlled PDE systems, this 2005 AMS-IMS-SIAM Summer Research Conference sought to reach out to a rather distinct, yet scientifically related, research community in mathematics interested in PDE-based dynamical systems. Indeed, this community is also involved in the study of dynamical properties and asymptotic long-time behavior (in particular, stability) of PDE-mixed problems. It was the editors’ conviction that the time had become ripe and the circumstances propitious for these two mathematical communities--that of PDE control and optimization theorists and that of dynamical specialists--to come together in order to share
¥1183
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑和直
¥2651
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥998.00
预订 Key Methods in Geography 地理方面的主要研究方法 9780761974918 国外库房发货，通常付款后3-5周到货
¥1362
【预订】Numerical Methods 9781138413177 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138413177 Author 作者 Wolfgang Boehm Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 A K Peters/CRC Press Publication Date 出版日期 2020-12-18 Language 语种 英语 Book Contents 内容简介 This book is written for engineers and other practitioners using numerical methods in their work and serves as a textbook for courses in applied mathematics and numerical analysis.
¥2305
【预售 按需印刷】Models and methods used in the analysis o 北京发货，付款后10天内发货
¥1239
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车