
【预订】Advanced Methods of Solid Oxide Fuel Cell Modeling Y9781 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Research Methods for the Behavioral Sciences Y9781412975 美国库房发货,通常付款后3-5周到货!
¥921.00

【预订】Research Methods and Applications in Chemical and Biolog 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781774634479 Author 作者 Edited by Ali Pourhashemi Format 版本 平装-胶订 Pages Number 页数 354页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2021-03-31 Product Dimensions 商品尺寸 6 x 9 Language 语种 其它(含多语) Book Contents 内容简介 This research-oriented book presents up-to-date experimental methods currently used in research for many branches of chemical and biological engineering. The book surveys essential ideas and research methodologies, concentrating on experiments used in applications rather than on the fine points of rigorous mathematics. Examples of important applications are reviewed in sufficient detail to provide the reader with a critical understanding of context and research methodology. The volume presents a broad spectrum of chapters in the various branches of chemical and biological engineering that demonstr
¥1251

【3-6周达】Methods for Risk Assessment of Transgenic Plants: I. 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00
![【3-6周达】Xylem: Methods and Protocols [ISBN:9781493982820]](images/model/guan/url_none.png)
【3-6周达】Xylem: Methods and Protocols [ISBN:9781493982820] 【全球购】进口原版图书,一般3-6周左右到国内
¥1298

3-6周达 Research Methods: Concepts, Methodologies, Tools, and 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥6020

【预订】Research Methods in Applied Behavior Analysis 9781138685 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138685260 Author 作者 Jon S. Bailey and Mary R. Burch Format 版本 平装-胶订 Pages Number 页数 256页 Publisher 出版社 Routledge Publication Date 出版日期 2017-10-06 Language 语种 英语 Book Contents 内容简介 Research Methods in Applied Behavior Analysis, 2nd Edition, is a practical text that provides the beginning researcher with a clear de*ion of how behavior analysts conduct applied research and submit it for publication.
¥707.00

【预订】Digital Methods 9780262528245 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780262528245 Author 作者 ROGERS Format 版本 平装-胶订 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2015-08-28 Product Dimensions 商品尺寸 9 x 7 x 0.5 cm Language 语种 英语
¥751.00

Research Methods in Second Language Acquisition - a Practic. 现货图书
Product Details 基本信息 ISBN-13 书号 9781444334272 Author 作者 Alison Mackey Format 版本 平装-胶订 Pages Number 页数 334页 Publication Date 出版日期 2011-12-02 Language 语种 英语 Book Contents 内容简介 "Research Methods in Second Language Acquisition: A Practical Guide"is an informative guide to research design and methodology for graduate students and scholars. Each chapter of this volume offers background, step-by-step guidance, and relevant studies t
¥576.00

【预订】Asymptotic Methods in Electromagnetics 9783642644405 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642644405 Author 作者 Bouche Format 版本 平装-胶订 Pages Number 页数 526页 Publication Date 出版日期 2011-09-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Language 语种 英语 Book Contents 内容简介 Numerically rigorous techniques for the computation of electromagnetic fields diffracted by an object become computationally intensive, if not impractical to handle, at high frequencies and one must resort to asymptotic methods to solve the scattering problem at short wavelengths. The asymptotic methods provide closed form expansions for the diffracted fields and are also useful for eliciting physical interpretations of the various diffraction phenomena. One of the principal objectives of this book is to discuss the different asymptotic methods in a unified manner. Although the book contains explicit formulas for computing the field diffracted by conducting or die
¥1314

【预订】Automated Methods in Cryptographic Fault Analysis 978303 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030113322 Author 作者 Breier Format 版本 精装 Pages Number 页数 320页 Publication Date 出版日期 2019-04-14 Language 语种 英语 Book Contents 内容简介 This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
¥1095

【预订】Spectral Methods for Incompressible Viscous Flow 9781441 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441929136 Author 作者 Peyret Format 版本 平装-胶订 Pages Number 页数 434页 Publication Date 出版日期 2010-12-03 Language 语种 英语 Book Contents 内容简介 The objective of this book is to provide a comprehensive discussion of Fourier and Chebyshev spectral methods for the computation of incom? pressible viscous flows, based on the Navier-Stokes equations. and confidence in the numerical results, the re? For reasons of efficiency searchers and practitioners involved in computational fluid dynamics must be able to master the numerical methods they use. Therefore, in writing this book, beyond the de*ion of the algorithms, I have also tried to provide information on the mathematical and computational, as well as implementational characteristics of the methods. The book contains three parts. The first is intended to present the fun? damentals of the Fourier and Chebyshev metho
¥810.00

【预订】Modern Methods in Neurosurgery 9783540187080 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540187080 Author 作者 Walter Format 版本 平装-胶订 Pages Number 页数 303页 Publisher 出版社 Springer Publication Date 出版日期 1988-04-29 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.6 cm Language 语种 英语 Book Contents 内容简介 This 16th volume of Advances in Neurosurgery contains a selection of pa? pers presented at the 38th Annual Meeting of the German Society of Neurosurgery, held in Munster on 3-6 May 1987. The program committee had to choose these contributions from a total of 161 presentations. I am very much obliged to the members of the committee who contributed their experience and effort to the organization of the scientific pro? gram: Prof. Dr. R.A. Frowein, Prof. Dr. W.J. Bock, Prof. Dr. E. Kazner, Prof. Dr. G. Lausberg, Prof. Dr. M. Klinger, and Prof. Dr. M. Brandt. The aim of the Meeting was to exchange experiences regarding modern diagnos
¥1095

【预订】Liposome Methods and Protocols 9781617372179 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781617372179 Author 作者 Basu Format 版本 平装-胶订 Pages Number 页数 252页 Publication Date 出版日期 2010-11-10 Language 语种 英语 Book Contents 内容简介 In vitro utilization of liposomes is now recognized as a powerful tool in many bioscience investigations and their associated clinical studies, e.g., liposomes in drug targeting; liposomes in gene transport across plasma and nuclear membranes; liposomes in enzyme therapy in patients with genetic disorders. However, before these areas can be effectively explored, many basic areas in liposome research require elucidation, including: (a) attachment of liposomes to cell surfaces; (b) permeation of liposomes through the plasma membranes; and (c) stability of liposomes in cell or nuclear matrices. None of these areas have been exhaustively explored and liposome researchers have ample opportunities to contribute to our knowledge
¥1095

【预订】Management Methods and Tools 9783834903839 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783834903839 Author 作者 Grabinski Format 版本 平装-胶订 Pages Number 页数 260页 Publication Date 出版日期 2007-04-12 Language 语种 英语 Book Contents 内容简介 Preface The idea to write this book dates back many years. When I was a young management consultant, from time to time my colleagues and I would be assigned to prepare a “toolbox. ” Just as a handyman needs proper tools, so do managers and consultants. Corporate managers often assume that good consultancies have excellent toolboxes enabling them to achieve awesome success in operational and strategic projects. Arguably, top management consultancies are successful in managing their projects. To my knowledge, however, such magic toolboxes do not exist. My colleagues and I never managed to complete any assignment to create a toolbox, because it was always more important for us to be working in the field in order to
¥492.00

【预订】Clustering Methods for Big Data Analytics: Techniques, T 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030074197 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1643

预售 按需印刷 Methods for estimating the counterfeiting 北京发货,付款后10天内发货
¥868.00

【预订】Research Methods for Educational Dialogue 9781350060074 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781350060074 Author 作者 Ruth Kershner Format 版本 精装 Pages Number 页数 256页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2020-01-09 Language 语种 英语 Book Contents 内容简介 Research Methods for Educational Dialogue provides an overview of the range of possibilities for researching various forms of educational dialogue, underpinned by a coherent theoretical foundation. The authors, Kershner, Hennessy, Wegerif and Ahmed offer an integrated understanding of different methodological approaches in this fast-growing area of education. The book includes critical discussion of a variety of methods for investigating the characteristics and quality of dialogues for individuals and groups of participants in different educational contexts. These include student-student, teacher-student and wider professional dialogues, conducted face-to-face, online or med
¥895.00

【预订】Formal Methods for Hardware Verification 9783540343042 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540343042 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-05-15 Language 语种 英语 Book Contents 内容简介 This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
¥548.00

按需印刷Modern Methods in Phytomedicine 预订,预计下单后2-3周左右发货!
¥1408

【预订】Logical Methods: In Honor of Anil Nerode S Sixtieth Birt 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Multiscale Methods in Quantum Mechanics: Theory and Expe 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Galectins: Methods and Protocols 美国库房发货,通常付款后3-5周到货!
¥1643

【预订】Models and Methods of University Technology Transfer 美国库房发货,通常付款后3-5周到货!
¥811.00

【3-6周达】Research Methods in the Social Sciences [ISBN:9781429 【全球购】进口原版图书,一般3-6周左右到国内
¥4758

海外直订Agile Methods: 9th Brazilian Workshop, Wbma 2018, Campin
¥662.00

海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2651

海外直订Formal Methods and Models for System Design: A System Le
¥2120

【预订】Modern Methods in Phytomedicine 美国库房发货,通常付款后3-5周到货!
¥1594

【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它(含多语)
¥1560

【预订】Research Methods for Sports Studies 9780415749329 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780415749329 Author 作者 Ian Jones Format 版本 精装 Pages Number 页数 364页 Publisher 出版社 Routledge Publication Date 出版日期 2014-12-17 Shipping Weight 商品重量 738g Language 语种 英语 Book Contents 内容简介 This leading textbook provides a complete grounding in both qualitative and quantitative research methods. Guiding the reader step-by-step through the research process, it is illustrated throughout with sport-related case-studies and examples from around the world. Now in a fully revised and expanded third edition, the book includes new chapters on using social media and conducting on-line research, and researching special populations, as well as expanded coverage of topics such as action research, the literature review, statistics, research ethics, and health-related research into physical activity. A new companion website offers additional resourc
¥1962

【预订】Numerical Methods for Grid Equations: Volume II Iterativ 美国库房发货,通常付款后3-5周到货!
¥548.00

3-6周达 Vortex Methods: Theory and Practice [ISBN:978052162186 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥1298

【3-6周达】Maize: Methods and Protocols [ISBN:9781493984503 【全球购】进口原版图书,一般3-6周左右到国内
¥1202

【3-6周达】Formal Methods for Industrial Critical Systems: 27th 【全球购】进口原版图书,一般3-6周左右到国内
¥819.00

预订 Visual Methods in Marketing and Consumer Research 国外库房发货,通常付款后3-5周到货
¥2034

【预订】Formal Methods in Architecture 9789819922161 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789819922161 Author 作者 Plácido Lizancos Mora Format 版本 精装 Pages Number 页数 532页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-13 Language 语种 其它(含多语) Book Contents 内容简介 This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coru?a 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from 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 the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the
¥2409

【预订】Research Methods In Psycholinguistics And The Neurobiolo 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119109853 Author 作者 Annette de Groot Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语
¥671.00

【预订】Research Methods in Psychology, 10/e 9780077825362 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780077825362 Author 作者 Shaughnessy Format 版本 精装 Pages Number 页数 512页 Publisher 出版社 McGraw-Hill Education Publication Date 出版日期 2014-02-21 Product Dimensions 商品尺寸 0.00 x 0.00 x 0.00 Language 语种 其它(含多语) Book Contents 内容简介 Psychologists use a variety of research methods and tools to learn about behavior and mental processes. The goal of this book is to introduce students to the “multimethod approach” to research in psychology, including observational, survey, and experimental methods. Students learn the strengths and weaknesses of each method, as well as ethical dilemmas when using them, so that they can become competent practitioners and thoughtful consumers of psychological research. Our approach is to engage students in the research process by describing contemporary research in psychology. Students learn about rece
¥2072

预订 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

【预订】Meshfree Methods for Partial Differential Equations VII 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Design Methods and Applications for Distributed Embedded 美国库房发货,通常付款后3-5周到货!
¥548.00

【预订】Formal Methods for Open Object-Based Distributed Systems 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Operator Methods in Ordinary and Partial Differential Eq 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Iterative Methods for Nonlinear Ill-Posed Problems 美国库房发货,通常付款后3-5周到货!
¥927.00

【预订】Advanced Methods in Family Therapy Research: A Focus on 美国库房发货,通常付款后3-5周到货!
¥2637

【预订】Models and Methods for Quantum Condensation and Fluids 9 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811266041 Author 作者 Bao Weizhu et al Format 版本 精装 Pages Number 页数 360 pp页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2023-01-09 Language 语种 其它(含多语) Book Contents 内容简介 The Institute for Mathematical Sciences at the National University of Singapore hosted a thematic program on Quantum and Kinetic Problems: Modeling, Analysis, Numerics and Applications from September 2019 to March 2020. As an important part of the program, tutorials and special lectures were given by leading experts in the fields for participating graduate students and junior researchers. This invaluable volume collects six expanded lecture notes with each self-contained tutorials. The coverage includes mathematical models and numerical methods for multidimensional solitons in linear and nonlinear potentials; Bose – Einstein condensation (BEC)
¥1546

【预订】Physical Methods in Chemistry and Nano Science. Volume 1 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781838008543 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 198页 Publisher 出版社 Midas Green Innovations, Ltd Publication Date 出版日期 2020-05-30 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.51 Shipping Weight 商品重量 0.82 Language 语种 其它(含多语)
¥878.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

【预订】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

【预订】Modern Methods in Analytical Morphology 9780306448386 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780306448386 Author 作者 Gu Jiong Format 版本 精装 Pages Number 页数 460页 Publisher 出版社 Kluwer Academic Publishers Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10.00 x 7.00 x 1.00 Shipping Weight 商品重量 2.22 Language 语种 其它(含多语)
¥1475

【预订】Advanced Methods for Human Biometrics 9783030819811 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030819811 Author 作者 Nabil Derbel Format 版本 精装 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-29 Language 语种 其它(含多语) Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry methods for students, engineers, designers, and technicians.
¥1314

【预订】Analytical Methods for the Assessment of Maillard Reacti 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319769226 Author 作者 Singla Format 版本 平装-胶订 Pages Number 页数 54页 Publication Date 出版日期 2018-03-19 Shipping Weight 商品重量 113g Language 语种 英语 Book Contents 内容简介 This Brief provides an overview of different analytical methods and techniques for the qualitative and quantitative evaluation of Maillard Reactions and their reaction products in foods during processing and storage. Reliable methodology for the investigation of Maillard Reactions and their products are of utmost importance in food analysis: since Maillard Reactions can on the one hand be desirable and advantageous, influencing the colors, flavors and odors of food products, they can on the other hand also produce detrimental compounds afflicting the consumers’ health (e.g. furfurals, furosine, or acrylamide). This Brief introduces different analytical methods, which can be
¥548.00

【预订】Formal Methods 9783030908690 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030908690 Author 作者 Marieke Huisman Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 2480g Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited
¥1205

【预订】Matrix Methods And Fractional Calculus 9789813227521 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789813227521 Author 作者 Mathai Arak M et Al Format 版本 精装 Pages Number 页数 220页 Publication Date 出版日期 2017-11-13 Language 语种 英语 Book Contents 内容简介 Fractional calculus in terms of mathematics and statistics and its applications to problems in natural sciences is NOT yet part of university teaching curricula. This book is one attempt to provide an approach to include topics of fractional calculus into university curricula. Additionally the material is useful for people who do research work in the areas of special functions, fractional calculus, applications of fractional calculus, and mathematical statistics.
¥1175

【预订】Models and Methods for Interval-Valued Cooperative Games 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319804705 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-03-30 Language 语种 英语
¥985.00

现货 Practical Methods for Analysis and Design of HV Installat
Product Details 基本信息 ISBN-13 书号 9780128144602 Author 作者 Popovic, Ljubivoje M. Format 版本 平装-胶订 Pages Number 页数 450页 Publication Date 出版日期 2018-02-22 Language 语种 英语 Book Contents 内容简介 We now have computer programs that allow engineers to simulate, analyze, and optimize the grounding systems of distribution substations. These programs are very powerful, but, without a good understanding of the mutual relationship between the relevant parameters of a complex grounding system, the engineers using these programs can easily make serous errors in their designs procedures. This book helps to prevent these errors. It gives readers a basic understanding of the modeling characteristics of the major components of a complex grounding system. One by one, the author develops and analyses each component as a stand-alone element, then puts them all together and takes into consideration their mutual d
¥1760

【预订】Geometric Methods in Physics: XXXIV Workshop, Bialowie 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319811109 Format 版本 平装-胶订 Publisher 出版社 Birkhauser Publication Date 出版日期 2018-05-30 Language 语种 英语
¥1643