【预订】Formal Methods and Software Engineering 9783540881933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540881933 Author 作者 Shaoying Liu Hosei University Dept. Computer Science Kogan Format 版本 平装-胶订 Pages Number 页数 397页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are intended to oer e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must
¥548.00
【预订】Research Methods in International Business 9783030221157 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030221157 Format 版本 平装-胶订 Pages Number 页数 511页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2020-12-08 Product Dimensions 商品尺寸 8.2 x 5.8 x 1 cm Shipping Weight 商品重量 1370g Language 语种 其它（含多语） Book Contents 内容简介 Showcasing methodological rigour and state-of-the-art methods as hallmarks of modern international business (IB) research, this book offers a collection of the most relevant and highly cited research methods articles from the Journal of International Business Studies (JIBS). Each piece is accompanied by a new Commentary written by experts in the field; some also include Further Reflections by the original authors. Encompassing both qualitative and quantitative approaches, this comprehensive volume explores research design, testing and reporting, as well as specific methodological issues such a
¥2359
【3-6周达】Research Methods in Criminal Justice and Criminology 【全球购】进口原版图书，一般3-6周左右到国内
¥1804
【3-6周达】Formal Methods – Fun for Everybody [ISBN:978303071373 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！
¥1194
【3-6周达】Emerging Methods in Family Research [ISBN:97833193769 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预订】Numerical Methods for Solving Discrete Event Systems: Wi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031100840 Author 作者 Grassmann Winfried Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Publication Date 出版日期 2023-11-19 Language 语种 其它（含多语）
¥658.00
【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the
¥603.00
按需印刷Fuzzy Methods for Customer Relationship Management and M 预订，预计下单后2-3周左右发货！
¥2355
海外直订New Methods in Cognitive Psychology 认知心理学新方法
¥2369
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Kernel Methods in Computer Vision [ISBN:9781601982681] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥679.00
【3-6周达】Some Methods for ECG Signal Analysis for Arrhythmia D 【全球购】进口原版图书，一般3-6周左右到国内
¥598.00
【3-6周达】Simple Methods for Identification of Plastics [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥593.00
【预订】Social, Methods, and Microeconomics - Contributions to D 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781444350326 Author 作者 Frederic S. Lee Format 版本 精装 Pages Number 页数 274页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2011-07-27 Language 语种 英语 Book Contents 内容简介 This book consists of ten essays which speak to doing economics better. Has an essay on social ecological economics--perhaps the first such essayHas an essay on the creation of money that arises not from markets but from holy debts to deities--a very provocative essayHas an essay on Emily Balch, the first and only economist to get a Nobel prize (all other economists have received the Swedish Bank Prize978144435033300414This book consists of ten essays which speak to doing economics better. Has an essay on social ecol
¥1402
【预售 按需印刷】Formal Methods for Analyzing Privacy Policies
¥1111.8
【预订】Modern Methods in Carbohydrate Synthesis 9783718657858 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783718657858 Author 作者 Shaheer H. Khan Format 版本 精装 Pages Number 页数 576页 Publisher 出版社 CRC Press Publication Date 出版日期 1996-03-01 Shipping Weight 商品重量 1424g Language 语种 英语 Book Contents 内容简介 Presenting a sequence of chapters leading from classical methods through to the technology for oligosaccharide synthesis, this book places particular emphasis on the breakthroughs in the field, including emerging technologies for both oligosaccharide and glycoconjugate synthesis.
¥5274
海外直订Symmetry Methods for Differential Equations: A Beginner'
¥821.00
【预订】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
【预订】Modern Methods for Business Research 美国库房发货，通常付款后3-5周到货！
¥1055
【预订】Physical Methods in Food Analysis 美国库房发货，通常付款后3-5周到货！
¥1576
预订 Complex Methods for Partial Differential Equations 978079 国外库房发货，通常付款后3-5周到货
¥1149
预订 Numerical Methods for Stochastic Computations 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780691142128 Author 作者 Dongbin Xiu Format 版本 精装 Pages Number 页数 125页 Publication Date 出版日期 2010-07-21 Product Dimensions 商品尺寸 23.6 x 15.5 x 1.5 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它（含多语） Book Contents 内容简介 The@ first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). These fast, efficient, and accurate methods are an extension of the classical spectral methods of high-dimensional random spaces. Designed to simulate complex systems subject to random inputs, these methods are widely used in many areas of computer science and engineering. The book introduces polynomial approximation theory and probability theory; describes the basic theory of gPC methods through n
¥695.00
【3-6周达】Formal Methods: Foundations and Applications: 14th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Passive Methods as a Solution for Improving Indoor En 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Research Methods in Performance Studies 9781138486737 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138486737 Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Routledge Publication Date 出版日期 2023-05-05 Product Dimensions 商品尺寸 246x174 mm Language 语种 其它（含多语） Book Contents 内容简介 This Handbook provides an overview of research and methods in performance studies. It examines ways of making performance, researching performance cultures, researching performers who themselves are engaged in research, and conducting research in the context of enduring and emergent themes of performance studies inquiry. The volume covers practice and research in four key areas of performance studies: 1) Critical examination of a conspicuous performance as an artefact, 2) Metaphoric extension of "performance" as a heuristic for analyzing dimensions in everyday life, 3) Using performance as a mode of inquiry into a given phenomenon, and 4) Construct
¥603.00
【预订】Numerical Methods in Physics with Python 9781009303859 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009303859 Author 作者 Alex Gezerlis Format 版本 精装 Pages Number 页数 700页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-04-01 Language 语种 其它（含多语） Book Contents 内容简介 Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. The second edition of this introductory book features several new codes and 140 new problems (many on physics applications), as well as new sections on the singular-value decomposition, derivative-free optimization, Bayesian linear regression, neural network
¥1454
【预订】Integral Methods in Science and Engineering 978303107170 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031071706 Author 作者 Constanda Format 版本 精装 Pages Number 页数 498页 Publisher 出版社 Birkh?user Publication Date 出版日期 2022-08-22 Language 语种 其它（含多语） Book Contents 内容简介 This contributed volume contains a collection of articles on state-of-the-art developments on the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Symposium on the Theory and Applications of Integral Methods in Science and Engineering, held virtually in July 2021, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines and other professionals for whom integration is an ess
¥1753
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Padé Methods for Painlevé Equations (2021) [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
预订 New Methods for Chaotic Dynamics [ISBN:9789812568175] 【全球购】进口原版图书，一般5-8周左右到国内
¥1036
【预订】Formal Methods for Industrial Critical Systems 978364224 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642244308 Author 作者 Salaün Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-19 Shipping Weight 商品重量 396g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
¥548.00
【预订】Matrix Methods for Advanced Structural Analysis 97801281 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128117088 Author 作者 Papadrakakis, Manolis Format 版本 平装-胶订 Pages Number 页数 512页 Publication Date 出版日期 2017-11-13 Language 语种 英语 Book Contents 内容简介 Analysis and Design (Structures)
¥1919
海外直订医药图书Methods in Pharmacology: Molecular and Cellular Biol
¥1988
【预售 按需印刷】Efficient methods for the CELP speech cod 北京发货，付款后10天内发货
¥905.00
预订 Pulse methods of control alternative voltage 控制交流电压的脉冲方法: 国外库房发货，通常付款后3-5周到货
¥641.00
【预订】Energy Methods and Finite Element Techniques 97803238866 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323886666 Author 作者 Jweeg Muhsin Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Publication Date 出版日期 2021-09-28 Product Dimensions 商品尺寸 9.25 x 7.50 x 1.19 Shipping Weight 商品重量 2.20 Language 语种 其它（含多语）
¥2559
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2638
【3-6周达】Novel Methods in Computational Finance [ISBN:97833198 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预售 按需印刷】Counting Methods for Nowhere-Zero Flows 北京发货，付款后10天内发货
¥882.00
预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，约3-6周到达国内后发出
¥2075
按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订，预计下单后2-3周左右发货！
¥1449
【预订】Formal Methods and Software Engineering 9783319254227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
¥548.00
【预订】Stochastic Methods in Asset Pricing 9780262036559 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780262036559 Author 作者 Lyasoff Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2017-08-25 Product Dimensions 商品尺寸 9 x 6.2 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 A comprehensive overview of the theory of stochastic processes and its connections to asset pricing, accompanied by some concrete applications. This book presents a self-contained, comprehensive, and yet concise and condensed overview of the theory and methods of probability, integration, stochastic processes, optimal control, and their connections to the principles of asset pricing. The book is broader in scope than other introductory-level graduate texts on the subject, requires fewer prerequisites, and covers the relevant material at greater depth, mainly without rigorous techni
¥537.00
【预售 按需印刷】DIRECT METHODS IN THE CALCULUS OF VARIATIONS 北京发货，付款后10天内发货
¥1559.88
3-6周达 New Methods and Approaches for Studying Child Developm 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1157
【预订】Chemical Methods for Processing Nanomaterials 9780367085 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367085889 Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-16 Language 语种 英语 Book Contents 内容简介 This book discusses the latest advancements in the processing of various types of nanomaterials. The main objective of the book is to provide the reader with a comprehensive review of the latest advances in synthesis as well as processing of almost all kinds of nanomaterials using various physical and chemical methods.
¥2305
海外直订Modern Methods of Reflector Antenna Analysis and Design
¥1631
按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！
¥593.00
【预订】Research Methods for Therapists 9781565932074 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781565932074 Author 作者 Avril Drummond Format 版本 平装-胶订 Pages Number 页数 172页 Publisher 出版社 Springer US Publication Date 出版日期 1996-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 610g Language 语种 英语 Book Contents 内容简介 This book is aimed at beginners. If you are totally confused and dismayed at the prospect of undertaking a research project, read on. If you are an expert in research, this is not the book for you unless you merely wish to revise your existing knowledge. Above all this book is intended as an outline and a guide. It does not provide a definitive recipe on how to conduct a research project. You will learn by your own studies which methods and techniques suit you best and how to modify ideas to meet your own requirements. NB Therapist is referred to as she in the text for simplicity
¥548.00
海外直订Formal Methods for Multicore Programming: 15th Internati
¥556.00
海外直订Modern Methods of Optimization: Proceedings of the Summe
¥662.00
【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货，通常付款后3-5周到货！
¥2190
海外直订Modern Methods in Collisional-Radiative Modeling of Plas
¥1197
预订 Mixed Methods in Criminology Routledge 舞蹈研究读本: 9781138309 国外库房发货，通常付款后3-5周到货
¥1958
【预售 按需印刷】Methods of Optimization in Operations Res
¥749.70
预订 Research Methods for Forensic Psychologists: A Guide to C 【全球购】进口原版图书，一般5-8周左右到国内
¥2385
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥967.00
【3-6周达】Agile Methods: 10th Brazilian Workshop, Wbma 2019, Be 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Design Methods of Safety-Critical Electronic Automoti 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车