【预订】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
【3-6周达】Serpins: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【3-6周达】Mtor: Methods and Protocols (2012) [ISBN:978161779429 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥563.00
【3-6周达】Formal Methods in the Methodology of Empirical Scienc 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，约3-6周到达国内后发出
¥2075
预订 String Methods for Beginners [ISBN:9780367226862] 【全球购】进口原版图书，一般5-8周左右到国内
¥600.00
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑和直
¥2651
海外直订Formal Methods: Foundations and Applications: 25th Brazi
¥728.00
3-6周达 高被引Methods in Consumer Research, Volume 2: Alternative 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2269
【预订】Research Methods for Engineers 美国库房发货，通常付款后3-5周到货！
¥502.00
【预订】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
3-6周达 New Methods and Approaches for Studying Child Developm 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1157
【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书，一般3-6周左右到国内
¥2534
海外直订Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体
¥611.00
海外直订Design Methods for Digital Systems 数字系统设计方法“，
¥659.00
海外直订Formal Methods and Stochastic Models for Performance Eva
¥662.00
【预售 按需印刷】Models and methods used in the analysis o 北京发货，付款后10天内发货
¥1239
【预订】Diagnostic Methods for Cirrhosis and Portal Hypertension 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030102395 Author 作者 Annalisa Berzigotti UVCM DMLL Hepatology Inselspital Uni Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-02-08 Language 语种 英语 Book Contents 内容简介 This book provides a unique up-to-date and comprehensive overview of the most important diagnostic methods available for assessing liver cirrhosis and portal hypertension.? The book covers all the significant advances ?made?in the last 10 years?in HVPG and biopsy interpretation, imaging and elastography.?This is a unique and well structured book authored by senior experts in the field aimed at providing updated knowledge to the hepatology specialist and to the physicians interested in chronic liver disease.?? The book starts by giving an overview of the disease, outlining the clinical needs in this field; this is f
¥876.00
【预订】Computer Methods and Advances in Geomechanics, Volume 1 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061911906 Author 作者 Beer Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 1991-01-01 Shipping Weight 商品重量 1610g Language 语种 其它（含多语）
¥3578
【预订】Functional Methods in Quantum Field Theory and Statistic 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789056990350 Author 作者 A.N. Vasiliev Format 版本 精装 Pages Number 页数 320页 Publisher 出版社 CRC Press Publication Date 出版日期 1998-07-28 Shipping Weight 商品重量 696g Language 语种 其它（含多语） Book Contents 内容简介 This text pays special attention to the use of those techniques which are fundamental to quantum field theory, in a wide variety of areas, including ordinary quantum mechanics, Euclidean field theory and quantum statistics at finite temperature.
¥2561
Numerical Methods in Economics
¥681.70
【预订】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
【预订】Formal Methods in Architecture 9783030575113 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030575113 Author 作者 Sara Eloy Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-05 Product Dimensions 商品尺寸 11.00 x 8.25 x 0.72 Shipping Weight 商品重量 1.73 Language 语种 其它（含多语） Book Contents 内容简介 This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in
¥1698
海外直订Design Methods of Safety-Critical Electronic Automotive
¥829.00
海外直订Simple Methods to Study Pedology and Edaphology of India
¥986.00
【预订】Research Methods 9780750689533 美国库房发货，通常付款后3-5周到货！
¥558.00
【预订】Modern Methods for Affordable Clinical Gait Analysis 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323852456 Author 作者 Nandy Anup Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-07-30 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.41 Shipping Weight 商品重量 0.76 Language 语种 其它（含多语）
¥1066
【预订】Numerical Methods in Geotechnical Engineering: (Numge 20 美国库房发货，通常付款后3-5周到货！
¥5085
【预订】Research Methods in Sport Studies and Sport Management: 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Regression Methods in Biostatistics 9781461413523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461413523 Author 作者 Vittinghoff Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-09-01 Product Dimensions 商品尺寸 23.9 x 16.3 x 3.8 cm Shipping Weight 商品重量 0.9 kg Language 语种 其它（含多语） Book Contents 内容简介 This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes. Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimati
¥1205
海外直订Modern Methods of Analytical Mechanics and Their Applica
¥662.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1988
海外直订医药图书Methods and Applications of Artificial Intelligence:
¥662.00
【预订】Numerical Methods for Optimal Control Problems with Stat 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662143 Author 作者 Pytlak Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-08-19 Language 语种 英语 Book Contents 内容简介 While optimality conditions for optimal control problems with state constraints have been extensively investigated in the literature the results pertaining to numerical methods are relatively scarce. This book fills the gap by providing a family of new methods. Among others, a novel convergence analysis of optimal control algorithms is introduced. The analysis refers to the topology of relaxed controls only to a limited degree and makes little use of Lagrange multipliers corresponding to state constraints. This approach enables the author to provide global convergence analysis of first order and superlinearly convergent second order methods. Further, the implementatio
¥548.00
【预订】Numerical Methods in Geomechanics: Proceedings of 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Hybrid Methods in Pattern Recognition 美国库房发货，通常付款后3-5周到货！
¥1296
【预订】Asymptotic Methods in the Buckling Theor 美国库房发货，通常付款后3-5周到货！
¥1440
【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods: 25th International Symposium, FM 2023 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
海外直订医药图书Methods In Field Epidemiology 现场流行病学方法
¥2504
预订 Nuclear Methods in Science and Technology [ISBN:978036745 【全球购】进口原版图书，一般5-8周左右到国内
¥622.00
【预订】Modern Methods in Crop Protection Research 美国库房发货，通常付款后3-5周到货！
¥2015
【预订】Analytical Methods for Food Additives 美国库房发货，通常付款后3-5周到货！
¥2607
【预订】Geometric Methods in Bio-Medical Image Processing 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Analytical Methods for Heat Transfer and Fluid Flow 美国库房发货，通常付款后3-5周到货！
¥1417
【3-6周达】高被引NMR Methods for the Investigation of Structure and 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods for Evaluating Interactive Information Retrie 【全球购】进口原版图书，一般3-6周左右到国内
¥1215
【3-6周达】Design Methods in Architecture & Planning. "Design is 【全球购】进口原版图书，一般3-6周左右到国内
¥530.00
【3-6周达】Formal Methods and Stochastic Models for Performance 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Research Methods for Rural Criminologists 9780367632885 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367632885 Author 作者 Edited by Ralph A. Weisheit Format 版本 精装 Pages Number 页数 264页 Publisher 出版社 Routledge Publication Date 出版日期 2022-04-29 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Conducting rural criminological research exposes researchers to concerns such as absence or inadequate official data about crime and superficial rural-urban comparisons, rural isolation and distance from the researchers’ office to the study site, and lack of services or access to justice. This distinct cultural context means that studying rural crime requires creatively adapting existing research methods. Conducting research about or in rural settings requires unique researcher preparation, as everything from defining the space at the conception of a project, to collecting and analyzing data
¥1958
预订 Mixed Methods Social Networks Research 预订商品
¥833.00
按需印刷Mixed Methods Research for Improved Scientific Study 预订，预计下单后2-3周左右发货！
¥2483
【预订】Advanced Methods for Groundwater Pollution Control 97832 美国库房发货，通常付款后3-5周到货！
¥1516
【预订】Formal Methods in Manufacturing 9781466561557 美国库房发货，通常付款后3-5周到货！
¥2577
【预订】Geometric Methods in Bio-Medical Image Processing 978364 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Analytical Methods in Rotor Dynamics, 2/e 9789400759046 美国库房发货，通常付款后3-5周到货！
¥1095
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车