【预订】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
海外直订Modern Methods in Analytical Morphology 现代分析形态学方法
¥639.00
海外直订Numerical Methods, International Edition 数值方法，国际版
¥1398
【预订】Separation Methods in Drug Synthesis and Purification, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444640703 Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2020-06-01 Product Dimensions 商品尺寸 9 x 5.9 x 1.5 cm Shipping Weight 商品重量 2290g Language 语种 英语
¥3198
预售 按需印刷Methods for the Summation of Series
¥2102.05
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
【预订】I. Schur Methods in Operator Theory and Signal Processin 美国库房发货，通常付款后3-5周到货！
¥512.00
【预订】Operator Methods in Mathematical Physics: Conference on 美国库房发货，通常付款后3-5周到货！
¥1095
海外直订医药图书Methods for Analysing and Reporting EQ-5D Data EQ-5D
¥481.00
海外直订Sumo: Methods and Protocols 相扑：方法和协议
¥1104
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥862.00
【预订】Numerical Methods for Grid Equations: Volume II Iterativ 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1789
海外直订piRNA: Methods and Protocols 方法和协议
¥2116
【预订】Formal Methods and Software Engineering: 21st Internatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324087 Author 作者 Ait-Ameur Format 版本 平装-胶订 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 1680g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.
¥548.00
海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1550
海外直订Mixed Methods Research in the Movement Sciences: Case St
¥623.00
海外直订Maize: Methods and Protocols 玉米：方法和协议
¥1476
【预售 按需印刷】Formal Methods in Automated Design Debugg 北京发货，付款后10天内发货
¥1008
【预订】Modern Methods for Musicology 9780754673026 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780754673026 Author 作者 Tim Crawford Format 版本 精装 Pages Number 页数 216页 Publication Date 出版日期 2009-07-28 Shipping Weight 商品重量 550g 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.
¥2110
【预订】Modeling Methods for Business Information Systems Analys 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522555223 Author 作者 Selin Erben Format 版本 精装 Pages Number 页数 280页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2018-11-30 Language 语种 英语 Book Contents 内容简介 The field of information systems analysis and design includes numerous evolving modelling methods and notations. Even with some attempts to standardize, new modelling methods are constantly being introduced that significantly impact the way information systems are analyzed and designed in practice. Modeling Methods for Business Information Systems Analysis and Design is a collection of innovative research on the methods and applications of knowledge systems and their applications within organizational settings. While highlighting topics including finance, operational planning, and enterprise models, this book is ideally designed for academicians, professionals, and organizational r
¥1840
【预订】Dynamic Methods and Process Advancements in Mechanical, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466618671 Author 作者 J. Paulo Davim Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2012-07-31 Language 语种 英语 Book Contents 内容简介 Engineering and design are often a necessary steps for an industry to become effective. Industry modeling can help to bridge the communication gap among engineers and system designers.Dynamic Methods and Process Advancements in Mechanical, Manufacturing, and Materials Engineering examines the principles of physics and materials science for analysis, design, manufacturing and maintenance of mechanical equipments and systems. Targeting researchers, practitioners, and academicians, this volume promotes innovative findings in mechanical, manufacturing and materials engineering.
¥1669
【预订】Research Methods in Physical Activity and Health 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138067684 Format 版本 平装-胶订 Publisher 出版社 Routledge Publication Date 出版日期 2018-12-31 Language 语种 英语 Book Contents 内容简介 This is the first book to present the issues associated with physical activity and health research and introduce students to the methods available. The book works through the full research process, from;devising a proposal, through selecting a research methodology and quantifying physical activity and outcome measures, to disseminating findings.
¥707.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
【预订】Problems, Methods and Tools in Experimental and Behavior 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319991863 Author 作者 Nermend Format 版本 精装 Publication Date 出版日期 2018-09-19 Language 语种 英语 Book Contents 内容简介 These proceedings highlight research on the latest trends and methods in experimental and behavioral economics. Featuring contributions presented at the 2017 Computational Methods in Experimental Economics (CMEE) conference, which was held in Lublin, Poland, it merges findings from various domains to present deep insights into topics such as game theory, decision theory, cognitive neuroscience and artificial intelligence.The fields of experimental economics and behavioral economics are rapidly evolving. Modern applications of experimental economics require the integration of know-how from disciplines including economics, computer science, psychology and neuroscience. The use of computer technology enhances researchers’ ability to generate and analyze large
¥1643
海外直订Mixed Methods Research: A Guide to the Field 混合方法研究：领域指南
¥769.00
【预订】Numerical Methods For Solving Partial Differential Equat 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119316114 Author 作者 George Pinder Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2017-12-22 Language 语种 英语
¥1706
【预售 按需印刷】Research Methods in Usability and Interac 北京发货，付款后10天内发货
¥818.00
【3-6周达】New Methods of Food Preservation [ISBN:9781461358763] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Stochastic Models for Performance 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Boolean Methods in Operations Research and Related Ar 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
海外直订Formal Methods: Foundations and Applications: 15th Brazi
¥588.00
【预售 按需印刷】Research Methods in Language P
¥1037.85
Research Methods 研究方法 精装第9版 心理学教材 英文原版
¥739.00
预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内
¥2259
预订 Resrch Methods: Procss& SPSS Win 11.0 CD Pk [ISBN:9780205 【全球购】进口原版图书，约3-6周到达国内后发出
¥1417
预订 SUMO: Methods and Protocols 小泛素样修饰蛋白：方法与协议: 9781071647097 国外库房发货，通常付款后3-5周到货
¥1861
预订 Mining Methods: 9786207842537 国外库房发货，通常付款后3-5周到货
¥798.00
3-6周达 Novel Methods of Diagnostics of Thyroid and Parathyroi 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥555.00
【3-6周达】Formal Methods for Analyzing Privacy Policies [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1052
海外直订Formal Methods in Standards: A Report from the BCS Worki
¥553.00
预订 Applied Methods in Design and Construction of Bridges, Hi 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1253
【3-6周达】Formal Methods and Software Engineering: 11th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】英文原版 Methods for Preclinical Research in Addiction (N 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Geometric Methods in Physics XXXVII 9783030340711 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340711 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 The book consists of articles based on the XXXVII Biaowie?a Workshop on Geometric Methods in Physics, 2018. 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. This edition of the workshop featured a special session dedicatedto Professor Daniel Sternheimer on the occasion of his 80thbirthday.The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past sev
¥1643
海外直订Formal Methods for Open Object-Based Distributed Systems
¥2067
海外直订医药图书Methods in Medicine: A Descriptive Study of Physicia
¥553.00
【3-6周达】Methods in Neurobiology: Volume 2 [ISBN:9781468438116 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Lymphoma: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
预订 Formal Methods and Software Engineering 预订商品
¥1095
3-6周达 Sieve Methods, Exponential Sums, and Their Application 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥722.00
【预订】Advanced Methods for Processing and Visualizing the Rene 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586057 Format 版本 精装 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-12-27 Language 语种 英语 Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a single axis and a fixed axis solar tracker, seismic inversion enhanced oil recovery, viability of a PV system and constr
¥1753
【预订】NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS - P 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789810209292 Format 版本 精装 Publisher 出版社 World Scientific Publication Date 出版日期 1992-01-01 Language 语种 其它（含多语）
¥909.00
预订 Delphi Methods In The Social And Health Sciences 预订商品
¥608.00
【预订】Sampling Methods in Soybean Entomology 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Grid Equations: Volume I Direct Me 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Practical Methods for Successful Classroom Teaching 美国库房发货，通常付款后3-5周到货！
¥1012
【预订】Formal Methods for Executable Software Models: 14th Inte 美国库房发货，通常付款后3-5周到货！
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车