【预订】Formal Methods at the Crossroads. From Panacea to Founda 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540205272 Author 作者 Aichernig Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-18 Language 语种 英语 Book Contents 内容简介 This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.
¥548.00
【预订】Relational Methods in Computer Science 9783540333395 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540333395 Author 作者 MacCaull Format 版本 平装-胶订 Pages Number 页数 262页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-04-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274.
¥548.00
【预订】Many-Body Methods for Atoms, Molecules and Clusters 9783 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319936017 Author 作者 Schirmer Format 版本 精装 Pages Number 页数 359页 Publication Date 出版日期 2018-08-28 Language 语种 英语 Book Contents 内容简介 This book provides an introduction to many-body methods for applications in quantum chemistry. These methods, originating in field-theory, offer an alternative to conventional quantum-chemical approaches to the treatment of the many-electron problem in molecules. Starting with a general introduction to the atomic and molecular many-electron problem, the book then develops a stringent formalism of field-theoretical many-body theory, culminating in the diagrammatic perturbation expansions of many-body Green’s functions or propagators in terms of Feynman diagrams. It also introduces and analyzes practical computational methods, such as the field-tested algebraic-diagrammatic construction (ADC) schemes. The ADC concept can als
¥1861
【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319896496 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 473页 Publication Date 出版日期 2018-11-14 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions.In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥1095
【预订】Formal Methods for Nonmonotonic and Related Logics 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319896526 Author 作者 Schlechta Format 版本 精装 Pages Number 页数 335页 Publication Date 出版日期 2018-11-12 Language 语种 英语 Book Contents 内容简介 The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate
¥932.00
预订 【】Spectral Methods of Automorphic Forms 9781470466220 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781470466220 Author 作者 Henryk Iwaniec Format 版本 平装-胶订 Pages Number 页数 220页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2002-01-30 Language 语种 其它（含多语） Book Contents 内容简介 Automorphic forms are one of the central topics of analytic number theory. In fact, they sit at the confluence of analysis, algebra, geometry, and number theory. In this book, Henryk Iwaniec once again displays his penetrating insight, powerful analytic techniques, and lucid writing style. The first edition of this book was an underground classic, both as a textbook and as a respected source for results, ideas, and references. Iwaniec treats the spectral theory of automorphic forms as the study of the space of $L^2$ functions on the upper half plane modulo a discrete subgroup. Key topics include Eisenstein series, estimates of Fourier c
¥949.00
海外直订New Methods of Polymer Synthesis: Volume 2 高分子合成新方法：第2卷
¥2651
【3-6周达】Kernel Methods for Machine Learning with Math and R: 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【预订】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
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
【预订】Control Methods for Electrical Machines 9781848210936 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848210936 Author 作者 Rene Husson Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2009-05-11 Shipping Weight 商品重量 710g Language 语种 英语 Book Contents 内容简介 The type of control system used for electrical machines depends on the use (nature of the load, operating states, etc.) to which the machine will be put. The precise type of use determines the control laws which apply. Mechanics are also very important because they affect performance. Another factor of essential importance in industrial applications is operating safety. Finally, the problem of how to control a number of different machines, whose interactions and outputs must be coordinated, is addressed and solutions are presented
¥2315
【预订】Research Methods in Accounting 9781526401076 美国库房发货，通常付款后3-5周到货！
¥583.00
【预订】Research Methods for Cyber Security 9780128053492 美国库房发货，通常付款后3-5周到货！
¥959.00
3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1518
【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内
¥820.00
预订 Key Methods in Geography [ISBN:9781529772098] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥919.00
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1550
海外直订Novel Methods and Technologies for Enterprise Informatio
¥1203
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】Numerical Methods for Nonlinear Engineering Models 美国库房发货，通常付款后3-5周到货！
¥2738
海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析
¥2377
【预订】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
【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Numerical Methods for Partial Differential Equations - a 美国库房发货，通常付款后3-5周到货！
¥1170
【预订】Lattice Methods for Quantum Chromodynamics 9789812567277 美国库房发货，通常付款后3-5周到货！
¥1471
【预订】Matrix Methods 9789812836014 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】Laboratory Methods in Cell Biology 9780124072398 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780124072398 Author 作者 Conn Format 版本 精装 Pages Number 页数 464页 Publisher 出版社 Academic Press Publication Date 出版日期 2013-01-01 Shipping Weight 商品重量 920g Language 语种 英语 Book Contents 内容简介 Life Sciences (General); Cellular Biology
¥1822
【3-6周达】New Methods of Polymer Synthesis [ISBN:9789401095549] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货，付款后10天内发货
¥1400
【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析
¥2220
【预订】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
【3-6周达】Formal Methods for Industrial Critical Systems: 20th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Graphic Methods for Presenting Facts 9781169333932 美国库房发货，通常付款后3-5周到货！
¥702.00
【3-6周达】Formal Methods: Foundations and Applications: 21st Br 【全球购】进口原版图书，一般3-6周左右到国内
¥674.00
【3-6周达】Formal Methods in Architecture: Proceedings of the 6t 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【3-6周达】Formal Methods: 24th International Symposium, FM 2021 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】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
海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方
¥605.00
【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
【3-6周达】Formal Methods for Computational Systems Biology: 8th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods: Foundations and Applications: 19th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Physical Methods for Microorganisms Detection 9781315896 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781315896496 Format 版本 平装-胶订 Publication Date 出版日期 2019-01-01 Language 语种 英语
¥1288
【预订】Numerical Methods and Stochastics 9780821819944 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821819944 Author 作者 T. J. Lyons Format 版本 精装 Pages Number 页数 121页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2002-11-30 Language 语种 其它（含多语） Book Contents 内容简介 This volume represents the proceedings of the Workshop on Numerical Methods and Stochastics held at The Fields Institute in April 1999. The goal of the workshop was to identify emerging ideas in probability theory that influence future work in both probability and numerical computation. The book focuses on new results and gives novel approaches to computational problems based on the latest techniques from the theory of probability and stochastic processes. Three papers discuss particle system approximations to solutions of the stochastic filtering problem. Two papers treat particle system equations. The paper on "rough paths" describes
¥767.00
【3-6周达】Modern Methods in Forest Genetics, 普通生物学 [ISBN:978366 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1432
【预订】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
【预订】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
【预订】Geometric Methods in Physics: XXXIV Workshop, Bialowie&# 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319811109 Format 版本 平装-胶订 Publisher 出版社 Birkhauser Publication Date 出版日期 2018-05-30 Language 语种 英语
¥1643
按需印刷Novel Methods for Solving Linear and Nonlinear Integral 预订，预计下单后2-3周左右发货！
¥1449
【预订】Integrated Methods in Protein Biochemistry 9780443185922 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780443185922 Format 版本 精装 Pages Number 页数 494页 Publisher 出版社 Academic Press Publication Date 出版日期 2023-03-20 Product Dimensions 商品尺寸 9.00 x 6.00 x 1.06 Shipping Weight 商品重量 1.82 Language 语种 其它（含多语） Book Contents 内容简介 Integrated Methods in Protein Biochemistry: Part C, Volume 679 in the Methods in Enzymology series, highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including NanoBiT-based methods to monitor the activation and modulation of RTKs, The interplay of G-protein ss subunit and PLC-ss enzyme in PIP2 hydrolysis and downstream signaling, Biochemical Analysis of Protein-Protein Interfaces underlying the regulation of Bacterial Secretion Systems, Probing the structure and function of N-acetylmannosamine-6-phosphate 2-epimerase, Spectroscopic analysi
¥2122
3-6周达 Training Methods to Improve Sports Performance and Hea 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥559.00
多项式方法和关联理论 英文原版 Polynomial Methods and Incidence Theory 剑桥高等
¥679.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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车