【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549961 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 575页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
【预订】Applied Methods of Cost-Benefit Analysis in Health Care 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780199237128 Author 作者 McIntosh Emma Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2010-06-24 Shipping Weight 商品重量 452g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive set of instructions and examples of how to perform a cost-benefit analysis (CBA) of a health intervention, with a particular focus on the use of stated preference survey methods to identify consumer preference data and the use of recent developments in cost-effectiveness analysis within a CBA framework.
¥1035
【预订】Research Methods for Early Childhood Education 978135001 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781350015401 Author 作者 Flewitt Rosie Format 版本 精装 Pages Number 页数 224页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2020-01-23 Language 语种 英语 Book Contents 内容简介 Research Methods for Early Childhood Education takes an international perspective on research design and illustrates how research methods are inextricably linked to cultural and theoretical understandings of early childhood, young children’s competences and the purposes of education. The book offers a critical and reflective approach to established and innovative research methods in early childhood education, making links between diverse methodologies, methods and theory, with illustrative examples of research in practice. Each chapter addresses a specific methodological approach, linking the methodology to early childhood education with vignettes as examples of research
¥895.00
【预订】Formal Methods and Software Engineering 9783540238416 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540238416 Author 作者 Davies Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-28 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, specication, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make t
¥1095
【预订】Algebraic Methods in Physics 9781461265283 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461265283 Author 作者 Saint-Aubin Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer New York Publication Date 出版日期 2012-10-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 880g Language 语种 英语 Book Contents 内容简介 This book pays tribute to two pioneers in the field of Mathematical physics, Jiri Patera and Pavel Winternitz of the CRM. Each has contributed more than forty years to the subject of mathematical physics, particularly to the study of algebraic methods.
¥548.00
【预订】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 for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program
¥985.00
【预订】Formal Methods 9783031274800 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094
【预订】Analytical Methods for Risk Management 9781032477763 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032477763 Author 作者 Paul R. Garvey Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 A Text on the Foundation Processes, Analytical Principles, and Implementation Practices of Engineering Risk Management Drawing from the author’s many years of hands-on experience in the field, Analytical Methods for Risk Management: A Systems Engineering Perspectivepresents the foundation processes and analytical practices for identifying, analyzing, measuring, and managing risk in traditional systems, systems-of-systems, and enterprise systems. Balances Risk and Decision Theory with Case Studies and Exercises After an introduction to engineering risk management, the book covers the fundamental ax
¥583.00
预订Research Methods and Statistics in Psychology [ISBN:978110 【全球购】进口原版图书，约3-6周到达国内后发出
¥1436
预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出
¥1303
【预订】Numerical Methods in Geotechnical Engineering IX 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138544468 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 1800页 Publication Date 出版日期 2018-06-01 Language 语种 英语 Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences.
¥4747
【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La
¥548.00
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥740.00
海外直订Formal Methods and Software Engineering: 6th Internation
¥1325
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥662.00
【预订】Research Methods and Data Analysis for Business Decision 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030844202 Author 作者 James E. Sallis Format 版本 精装 Pages Number 页数 190页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-18 Language 语种 其它（含多语） Book Contents 内容简介 This introductory textbook presents research methods and data analysis tools in non-technical language. It explains the research process and the basics of qualitative and quantitative data analysis, including procedures and methods, analysis, interpretation, and applications using hands-on data examples in QDA Miner Lite and IBM SPSS Statistics software. The book is divided into four parts that address study and research design; data collection, qualitative methods and surveys; statistical methods, including hypothesis testing, regression, cluster and factor analysis; and reporting. The intended audience is business and social science students learnin
¥1095
【预订】Analytical Methods and Concepts in Chemistry 97816398904 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781639890477 Author 作者 Taylor Spencer Format 版本 精装 Pages Number 页数 250页 Publisher 出版社 States Academic Press Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 0.63 Shipping Weight 商品重量 1.93 Language 语种 其它（含多语） Book Contents 内容简介 Chemistry is a natural science, which is involved with the study of elements and compounds, their structures, properties, composition, behavior and reactions with other substances. The branch of chemistry that deals with the separation, identification and quantification of matter is known as analytical chemistry. Such analyses of material samples help in understanding of chemical structure and composition. This can be performed through various classical or wet chemical methods as well as modern or instrumental methods. Separation of materials is possible throug
¥1829
【预订】New Methods and Approaches for Studying Child Developmen 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323915878 Format 版本 精装 Pages Number 页数 310页 Publisher 出版社 Academic Press Publication Date 出版日期 1944-06-28 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.75 Shipping Weight 商品重量 1.29 Language 语种 其它（含多语）
¥1216
预售 按需印刷Methods for the Summation of Series
¥2102.05
【预订】Computer Methods in Chemical Engineering 9781138434530 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138434530 Author 作者 Nayef Ghasem Format 版本 精装 Pages Number 页数 524页 Publisher 出版社 CRC Press Publication Date 出版日期 2017-07-27 Language 语种 其它（含多语）
¥2336
【预订】Modern Methods for Musicology 9781138257733 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138257733 Format 版本 平装-胶订 Pages Number 页数 216页 Publication Date 出版日期 1800-01-01 Shipping Weight 商品重量 380g Language 语种 英语 Book Contents 内容简介 Written by leading experts, this volume provides a picture of the realities of current ICT use in musicology as well as prospects and proposals for how it could be fruitfully used in the future. This volume highlights the breadth and inter-disciplinary nature of the subject, providing a valuable resource to technologists, musicologists, musicians and music educators.
¥738.00
【预订】Robust Methods for Dense Monocular Non-Rigid 3D Reconstr 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783658305666 Author 作者 Golyanik Format 版本 平装-胶订 Pages Number 页数 352页 Publisher 出版社 Vieweg+Teubner / Springer Fachmedien Wiesbaden Publication Date 出版日期 2020-06-05 Product Dimensions 商品尺寸 8.2 x 5.8 x 0.7 cm Shipping Weight 商品重量 990g Language 语种 英语 Book Contents 内容简介 Vladislav Golyanik proposes several new methods for dense non-rigid structure from motion (NRSfM) as well as alignment of point clouds. The introduced methods improve the state of the art in various aspects, i.e. in the ability to handle inaccurate point tracks and 3D data with contaminations. NRSfM with shape priors obtained on-the-fly from several unoccluded frames of the sequence and the new gravitational class of methods for point set alignment represent the primary contributions of this book.About the Author:Vladislav Golyanik is currently a post
¥985.00
3-6周达 Kras: Methods and Protocols [ISBN:9781071638217] 【全球购】进口原版图书，预计3-6周左右到国内
¥2276
【3-6周达】Research Methods for Community Change: A Project-Base 【全球购】进口原版图书，预计3-6周左右到国内
¥519.00
【预订】Numerical Methods in Geotechnical Engineering IX, Volume 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138331983 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-06-19 Language 语种 其它（含多语） Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences. This work is the first volume of NUMGE 2018.
¥2780
【预订】Likelihood Methods In Biology And Ecology 9781584887881 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781584887881 Author 作者 Michael Brimacombe Format 版本 精装 Pages Number 页数 306页 Publication Date 出版日期 2018-12-24 Language 语种 英语 Book Contents 内容简介 Bayesian Likelihood Methods in Ecology and Biology provides a clear guide to the development, application, and interpretation of Bayesian statistical methods to real-world scientific problems in ecology and biology. The book presents an overview of likelihood-based statistical models and offers a modern Bayesian interpretation.
¥800.00
预售 按需印刷 Methods and Algorithms for Molecular Docki分子对接的药物设计和 北京发货，付款后10天内发货
¥1802.25
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988
海外直订Novel Methods and Technologies for Enterprise Informatio
¥1197
【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货，付款后10天内发货
¥1400
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1597
【预订】DIRECT METHODS, MACROMOLECULAR CRYSTALLOGRAPHY AND CRYST 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789971502126 Format 版本 精装 Publisher 出版社 World Scientific Publication Date 出版日期 1987-02-01 Language 语种 其它（含多语）
¥1804
【预订】Numerical Methods in Approximation Theory, Vol. 9 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Research Methods 9781466674561 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466674561 Author 作者 Information Resources Management Association Format 版本 精装 Pages Number 页数 2072页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2015-06-30 Language 语种 英语 Book Contents 内容简介 Across a variety of disciplines, data and statistics form the backbone of knowledge. To ensure the reliability and validity of data, appropriate measures must be taken in conducting studies and reporting findings.Research Methods: Concepts, Methodologies, Tools, and Applications compiles chapters on key considerations in the management, development, and distribution of data. With its focus on both fundamental concepts and advanced topics, this multi-volume reference work will be a valuable addition to researchers, scholars, and students of science, mathematics, and engineering.
¥20101
预订Research Methods:The Essential Knowledge Base 预订，预计下单后2-3周左右发货！
¥1049
【预订】Standard Methods Of Chemical Analysis; Volume 1 97810204 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781020422348 Author 作者 Anonymous(作者) Format 版本 精装 Pages Number 页数 770页 Publisher 出版社 Legare Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.63 Shipping Weight 商品重量 2.74磅 Language 语种 其它（含多语）
¥648.00
【预订】Neutron Methods for Archaeology and Cultural Heritage 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319814438 Author 作者 Nikolay Kardjilov Helmholtz Zentrum Berlin Berlin Germany Format 版本 平装-胶订 Pages Number 页数 349页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-07-07 Language 语种 英语 Book Contents 内容简介 This book provides an extensive overview of the application of neutron characterization techniques in cultural heritage to a broad audience and will be of interest to both scientists and non-scientists in the field. Archaeologists, paleontologists, restaurateurs and conservators, historians and collectors will be fascinated by the wealth of information that can be obtained using neutron techniques, while material scientists and engineers will find details of the experimental techniques and materials properties that can be determined. Neutrons, due to their weak interactions with materials, provide a penetrating, bu
¥2409
【预订】Arts-based Methods and Organizational Learning 978331987 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319876412 Author 作者 Tatiana Chemi Aalborg University Aalborg Denmark Format 版本 平装-胶订 Pages Number 页数 338页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2018-08-24 Language 语种 英语 Book Contents 内容简介 This thematic volume explores the relationship between the arts and learning in various educational contexts and across cultures, but with a focus on higher education and organizational learning. Arts-based interventions are at the heart of this volume, which addresses how they are conceived, designed, carried out, and assessed in different higher educational and cultural contexts. Readers will discover diverse perspectives of the contributing authors from across the world and from a variety of settings: formal education, informal learning for adults and organisational learning. A necessary introductory conceptualisation sets the s
¥1651
【预订】Bayesian Methods for Repeated Measures 9781138894044 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138894044 Author 作者 Lyle D. Broemeling Format 版本 平装-胶订 Publication Date 出版日期 2017-08-01 Language 语种 英语 Book Contents 内容简介 This practical book presents the main ideas for the analysis of repeated measures and associated designs from a Bayesian viewpoint. It describes many inferential methods for analyzing repeated measures in various scientific areas, especially biostatistics. The author bases all the computing and analysis on the WinBUGS package, which provides readers with a platform that efficiently uses prior information. The book includes the WinBUGS code needed to implement posterior analysis and offers the code for download online.
¥773.00
海外直订Design Methods of Safety-Critical Electronic Automotive
¥829.00
海外直订Cd95: Methods and Protocols Cd95:方法和方案
¥1233
【预订】Research Methods: A Framework for Evidence-Based Clinica 美国库房发货，通常付款后3-5周到货！
¥1289
【预订】Research Methods and Design in Sport Management 2E W/WR 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781492574910 Author 作者 Andrew Format 版本 平装-胶订 Pages Number 页数 376页 Publisher 出版社 Human Kinetics Publication Date 出版日期 2019-10-16 Product Dimensions 商品尺寸 8.5 x 11 Shipping Weight 商品重量 0.01 Language 语种 其它（含多语） Book Contents 内容简介 Research methods and design in sport management, second edition, explains research design, implementation, and assessment criteria with a focus on procedures unique to the discipline of sport management.
¥1087
【预订】Computer Methods, Imaging and Visualization in Biomechan 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031100147 Author 作者 Jo?o Manuel R. S. Tavares Format 版本 精装 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-01 Language 语种 其它（含多语） Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 17th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering and the 5th Conference on Imaging and Visualization (CMBBE 2021), held online on September 7-9, 2021, from Bonn, Germany. It reports on cutting-edge models, algorithms and imaging techniques for studying cells, tissues and organs in normal and pathological conditions. It covers numerical and machine learning methods, finite element modeling and virtual reality techniques, applied to understand biomechanics of movement, fluid and soft tissue biomechanics. It also reports on related a
¥1533
【预订】Courageous Methods in Cultural Psychology 9783030935375 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030935375 Format 版本 平装-胶订 Pages Number 页数 281页 Publisher 出版社 Springer Publication Date 出版日期 2023-06-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.63 Shipping Weight 商品重量 0.93 Language 语种 其它（含多语）
¥1205
【预订】Tensorial Methods and Renormalization in Group Field The 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods of Construction Design: Proceedings of IC 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Modern Methods of Food Analysis 9789401173810 美国库房发货，通常付款后3-5周到货！
¥548.00
Analytical Methods in Economics 经济学分析方法: 9780472081356
¥613.00
Numerical Methods of Approximation Theory/Numerische Method. 现货图书
¥508.00
【预订】Glycomics: Methods and Protocols 9781617377693 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods. FM 2019 International Workshops 97830305 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030549930 Author 作者 Sekerinski Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2
¥548.00
海外直订Moment Methods in Antennas and Scattering 天线和散射中的矩量法
¥2268
海外直订医药图书Methods In Field Epidemiology 现场流行病学方法
¥2504
【预售 按需印刷】Practical Methods for Improving the Motion Performa
¥697.85
【预订】Martingale Methods in Statistics 9781466582811 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466582811 Author 作者 Yoichi Nishiyama Format 版本 精装 Pages Number 页数 260页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 This gives a comprehensive introduction to the (standard) statistical analysis based on the theory of martingales and develops entropy methods in order to treat dependent data in the framework of martingales. The author starts a summary of the martingale theory, and then proceeds to give full proofs of the martingale central limit theorems. In addition, the book presents some general theories for semiparametric Z-estimation and semiparametric change point problem, with new examples.
¥1356
【预订】Efficient Methods for Preparing Silicon Compounds 978012 美国库房发货，通常付款后3-5周到货！
¥2132
【预订】Research Methods in Neurochemistry: Volume 6 97814615776 美国库房发货，通常付款后3-5周到货！
¥1095
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车