【3-6周达】Formal Methods at the Crossroads. From Panacea to Fou 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden D 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Seismic Methods and Applications: A Guide for the Detecti 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1017
【3-6周达】Formal Methods for Embedded Distributed Systems: How 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Linguistic Methods Under Fuzzy Information in System Saf 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030933548 Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-12 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.46 Shipping Weight 商品重量 0.68 Language 语种 其它（含多语） Book Contents 内容简介 This book reviews and presents a number of approaches to Fuzzy-based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, which will enable readers to implement them into their own risk analysis process. The book begins by giving a review of using linguistic terms in system safety and reliability analysis methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the 2-tuple fuzzy-based linguistic term set approach, fuzzy bow-tie analys
¥1533
【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Matrix Methods in the Design Analysis of Mechanisms and 国外库房发货, 通常付款后12-16周到货
¥899.00
【预订】General Methods in Biomarker Research and their Applicat 美国库房发货，通常付款后3-5周到货！
¥5476
海外直订Formal Methods - The Next 30 Years: Third World Congress
¥662.00
【预售 按需印刷】Processing methods for mandarin (Citrus r
¥1125.4
预订 按需印刷 Methods of Research on Teaching the English Language
This text makes available in a concise format the chapters comprising the research methodology section of the "Handbook of Research on Teaching the English Language Arts, Second Edition." An introduction, designed to give K-12 teachers an understanding of the basic categories and functions of research in teaching, is followed by chapters addressing teacher professionalism and the rise of multiple literacies; empirical research; longitudinal studies; case studies; ethnography; teacher research; teacher inquiry into literacy, social justice, and power; synthesis research; fictive representation; and contemporary methodological issues and future direction in research on the teaching of English. "Methods of Research on Teaching the English Language Arts" is well-suited for use in upper-level undergraduate and graduate-level literacy research methods courses.
¥631.55
【预订】Molecular Methods in Plant Pathology 美国库房发货，通常付款后3-5周到货！
¥3970
海外直订医药图书Methods in Medicine: A Descriptive Study of Physicia
¥662.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2651
【预订】Numerical Methods for Engineers and Scientists, Second E 美国库房发货，通常付款后3-5周到货！
¥1916
海外直订Formal Methods: Foundations and Applications: 15th Brazi
¥609.00
海外直订String Methods for Beginners 面向初学者的字符串方法
¥2353
【预订】Geometric Methods in Physics XXXV 9783319635934 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319635934 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2018-02-11 Shipping Weight 商品重量 613g Language 语种 英语 Book Contents 内容简介 This book features a selection of articles based on the XXXV Biaowie?a Workshop on Geometric Methods in Physics, 2016. The series of Bia?owie?a workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. The works in this book, based on presentations given at the workshop, are previously unpublished, at the cutting edge of current research, typically grounded in geometry and analysis, and with applications to classical and quantum physics. In 2016 the special session? ’Integrability and Geometry’ in particular attracted pioneers and leading specialists in the field. Traditionally, the Bia?owie?a Workshop is fo
¥1095
预订 【】Formal Methods for Discrete-Time Dynamical Systems (Sof 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9783319844855 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-21 Language 语种 英语
¥1954
【预订】Rank-Based Methods for Shrinkage and Selection 978111962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119625391 Author 作者 A.K. Md. Ehsanes Saleh Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-28 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 The book aims to accumulate the different theory and methods for selection and shrinkage estimation based on rank order. These theories are intended to be systematically organized to serve as a guide for researchers in this field. Ridge regression and LASSO are at the center of all penalty estimators in a range of standard models that are used in many applied statistical analysis and machine learning. Written by noted experts in this field, this book contains a through introduction to robust rank-based penalty and shrinkage estimations and explores role of ridge, LASSO and Elastic Net play in the computer intu
¥1589
海外直订Toyota Methods and Operating Models: Achieve Business Su
¥719.00
预订 Models, Methods and Applications of Econometrics 97815578 国外库房发货，通常付款后3-5周到货
¥1010
海外直订Modern Methods in Operator Theory and Harmonic Analysis:
¥1739
海外直订Pade Methods for Painleve Equations 疼痛级方程的分页方法
¥735.00
海外直订New Methods of Computing Radial Distribution Functions o
¥859.00
预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥1172
【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.
¥2380
预订 Ray Methods for Nonlinear Waves in Fluids and Plasmas 流体和 国外库房发货，通常付款后3-5周到货
¥2863
【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection
¥1095
3-6周达 Modern Methods for Theoretical Physical Chemistry of B 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥3422
预订 New Methods for Evaluating One-Loop Corrections of Multi- 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥626.00
【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内
¥619.00
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1816
【3-6周达】Formal Methods for Components and Objects: 10th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Scaling Methods in Soil Physics [ISBN:9780849313745] 【全球购】进口原版图书，一般5-8周左右到国内
¥2997
海外直订New Methods of Thought and Procedure: Contributions to t
¥1325
海外直订医药图书Methods in Pain Research 疼痛研究方法
¥971.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥738.00
海外直订Robust Methods for Dense Monocular Non-Rigid 3D ... 点云密集
¥1070
按需印刷Modern Methods in Phytomedicine 预订，预计下单后2-3周左右发货！
¥1408
【预订】Hybrid Methods for Modeling and Optimizing Complex Syste 【全球购】进口原版图书，约10-12周到达国内后发出
¥2444
预订 Formal Methods and Software Engineering 26th Internationa 国外库房发货，通常付款后3-5周到货
¥850.00
预订 Borel’s Methods of Summability Theory and Applications Bo 国外库房发货，通常付款后3-5周到货
¥1243
海外直订Formal Methods in Programming and Their Applications: In
¥662.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥591.00
【预售 按需印刷】Research Methods in Human Resource Management
¥2006
【预订】Direct Methods in Control Problems 9780817647223 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780817647223 Author 作者 Peter L. Falb Format 版本 精装 Pages Number 页数 311页 Publisher 出版社 Birkh?user Publication Date 出版日期 2020-01-31 Language 语种 英语 Book Contents 内容简介 The primary focus of this book is on explicating the direct method approach. Historically, direct methods have not been fully exploited in control problems. The key is constructing convergent minimizing families. Integration methods (for example the gradient method) and representation methods (such as the Ritz-Galerkin and Finite Element methods) are examined in this text in an abstract (with concrete examples) functional analytic way. The aim is to consider direct methods from a unified general point of view and to provide a stimulus for future research. Explicitly, implicitly and by example, potential areas of research interest are indicated.The book is a suitable reference for gra
¥932.00
海外直订Formal Methods for Web Services: 9th International Schoo
¥609.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2353
预订 PCR: Methods and Protocols: 9781071633601 国外库房发货，通常付款后3-5周到货
¥1533
【中商原版】Asymptotic Methods In The Theory Of Plates With Mixed IgorAndrianov
¥1673
预订 KRAS: Methods and Protocols: 9781071638248 国外库房发货，通常付款后3-5周到货
¥1753
海外直订Simple Methods to Study Pedology and Edaphology of India
¥986.00
【预售 按需印刷】Advanced Methods for Complex Network Analysis 北京发货，付款后10天内发货
¥2193.42
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
【3-6周达】Modern Methods of Geochemical Analysis, 地质学 [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Methods in Membrane Biology [ISBN:9781475758191] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783540 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订Research Methods: A Practical Guide for Students and Resea 【全球购】进口原版图书，一般5-8周左右到国内
¥526.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车