【预订】Empirical Methods and Studies in Software Engineering 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540406723 Author 作者 Conradi Format 版本 平装-胶订 Pages Number 页数 284页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-08-21 Language 语种 英语 Book Contents 内容简介 Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose. For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering. Thus there is an unquestioned need for developing improved and better-qualified empirical methods, for their application in practice and for dissemination of the results. This book describes different kinds of empirical studies and methods for
¥548.00
【预订】Apoptosis Methods in Pharmacology and Toxicology: Y97816 美国库房发货，通常付款后3-5周到货！
¥1095
【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
【预订】Algebraic Methods in General Rough Sets 9783030011611 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030011611 Author 作者 Mani Format 版本 精装 Pages Number 页数 747页 Publication Date 出版日期 2019-01-25 Language 语种 英语 Book Contents 内容简介 This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approx
¥1424
海外直订Action Methods in Group Psychotherapy: Practical Aspects
¥717.00
海外直订Formal Methods Teaching: 5th International Workshop, Fmt
¥728.00
按需印刷DGYT Methods of Noncommutative Analysis 预订，预计下单后3-6周左右发货！
¥1862
【预订】Formal Methods in Computer-Aided Design 9783540651918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540651918 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 538页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-10-21 Language 语种 英语
¥548.00
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764371333 Author 作者 Jas Format 版本 精装 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2004-10-25 Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204916 Author 作者 jm Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-10 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in th
¥548.00
【预订】Modern Methods for Multidimensional Dynamics Computation 美国库房发货，通常付款后3-5周到货！
¥2707
【3-6周达】Formal Methods for Components and Objects [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
¥2981
海外直订New Methods of Food Preservation 食品保鲜新方法
¥1988
【3-6周达】Maize: Methods and Protocols [ISBN:9781493973149 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内
¥842.00
3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥551.00
【预订】Numerical Methods and Analysis of Multiscale Problems 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319508641 Author 作者 Madureira Format 版本 平装-胶订 Pages Number 页数 123页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-23 Shipping Weight 商品重量 263g Language 语种 英语 Book Contents 内容简介 This book is about numerical modeling of multiscale problems, and introduces several asymptotic analysis and numerical techniques which are necessary for a proper approximation of equations that depend on different physical scales. ?Aimed at advanced undergraduate and graduate students in mathematics, engineering and physics – or researchers seeking a no-nonsense approach –, it discusses ?examples in their simplest possible settings, removing mathematical hurdles that might hinder a clear understanding of the methods.The problems considered are given by singular perturbed reaction advection diffusion equations in o
¥548.00
海外直订医药图书Methods, Models, and Computation for Medical Informa
¥3787
【预订】Classical Methods in Ordinary Differential Equations 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821846940 Author 作者 Stuart P. Hastings Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2011-12-15 Language 语种 英语 Book Contents 内容简介 This text emphasizes rigorous mathematical techniques for the analysis of boundary value problems for ODEs arising in applications. The emphasis is on proving existence of solutions, but there is also a substantial chapter on uniqueness and multiplicity questions and several chapters which deal with the asymptotic behavior of solutions with respect to either the independent variable or some parameter. These equations may give special solutions of important PDEs, such as steady state or traveling wave solutions. Often two, or even three, approaches to the same problem are described. The advantages and disadvantages of different methods are discu
¥1118
【预订】Homotopy Methods in Algebraic Topology 9780821826218 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821826218 Author 作者 J. P. C. Greenlees Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2001-04-25 Language 语种 英语 Book Contents 内容简介 This volume presents the proceedings from the AMS-IMS-SIAM Summer Research Conference on Homotopy Methods in Algebraic Topology held at the University of Colorado (Boulder). The conference coincided with the sixtieth birthday of J. Peter May. An article is included reflecting his wide-ranging and influential contributions to the subject area. Other articles in the book discuss the ordinary, elliptic and real-oriented Adams spectral sequences, mapping class groups, configuration spaces, extended powers, operads, the telescope conjecture, \(p\)-compact groups, algebraic K theory, stable and unstable splittings, the calculus of functors, t
¥1314
海外直订New Methods of Concurrent Checking 并行检查的新方法
¥1325
预订Research Methods and Statistics in Psychology [ISBN:978110 【全球购】进口原版图书，约3-6周到达国内后发出
¥728.00
海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析
¥2220
海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析
¥2377
【预订】Research Methods for Public Administrators 9781138381933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138381933 Format 版本 平装-胶订 Publisher 出版社 Taylor & Francis Ltd Publication Date 出版日期 1800-01-01 Language 语种 英语
¥2438
【预订】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
预订 按需印刷 Methods in Cellular Immunology
¥1881.9
【预售 按需印刷】Research Methods in Social Studies Educat
¥549.95
【预售 按需印刷】Analytical Methods for Drinking Water
¥2463.3
【预售 按需印刷】Optical methods for the estimation of phy 北京发货，付款后10天内发货
¥1412
【3-6周达】Genetic Methods and Tools for Managing Crop Pests [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Direct Methods for Limit States in Structures and Mat 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Wavelet Methods for Time Series Analysis [ISBN:9780521685 【全球购】进口原版图书，约3-6周到达国内后发出
¥761.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
【预订】Numerical Methods for Laplace Transform Inversion 978144 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441939319 Author 作者 Alan M. Cohen Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Springer US Publication Date 出版日期 2010-11-23 Language 语种 英语 Book Contents 内容简介 Operational methods have been used for over a century to solve problems such as ordinary and partial differential equations. When solving such problems, in many cases it is fairly easy to obtain the Laplace transform, while it is very demanding to determine the inverse Laplace transform that is the solution of a given problem. Sometimes, after some difficult contour integration, we may find that a series solution results, but this may be quite difficult to evaluate in order to get an answer at a particular time value. The advent of computers has given an impetus to developing numerical methods for the determination of the inverse Laplace transform. This book gives background
¥1424
【3-6周达】Research Methods for Cultural Studies [ISBN:978074862 【全球购】进口原版图书，预计3-6周左右到国内
¥1019
预订 Research Methods and Global Online Communities: A Case St 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【预订】Concepts, Methods and Applications of Quantum Systems in 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319745817 Author 作者 Wang Format 版本 精装 Pages Number 页数 446页 Publication Date 出版日期 2018-05-05 Language 语种 英语 Book Contents 内容简介 This edited, multi-author volume contains selected, peerreviewed contributions based on the presentations given at the 21th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP-XXI), held in?Vancouver, Canada, in July 2016.?This book is primarily aimed at scholars, researchers and graduate students working at universities and scientific laboratories and interested in the structure, properties, dynamics and spectroscopy of atoms, molecules, biological systems and condensed matter.
¥1643
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥851.00
【预订】Effective Methods for Software Engineering 9780367458386 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367458386 Author 作者 Boyd L. Summers Format 版本 精装 Pages Number 页数 166页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2020-06-03 Language 语种 英语 Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book helps software engineers to:Understand the basic concepts, standards, and requirements
¥1130
【预订】Structural Methods in the Study of Complex Systems 97830 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030185749 Author 作者 Zattoni Format 版本 平装-胶订 Pages Number 页数 279页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-13 Language 语种 英语 Book Contents 内容简介 Structural Methods in the Study of Complex Systems helps the reader respond to the challenge of mastering complexity in systems and control. The book details the fundamental control problems arising from complex dynamical systems and shows how they can be tackled effectively by means of methods developed from graph theory, differential algebra and geometric approaches. These “structural methods” produce abstractions that fit a wide variety of applications by taking advantage of their intrinsic focus on the essential characteristics of dynamical systems, their geometric perspective and visual representation, and their algebraic formalization and ability to generat
¥1095
【预订】Computer Methods in Biomechanics and Biomedical Engineer 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866963 Author 作者 Amit Gefen Tel Aviv University Tel Aviv Israel Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-08-03 Language 语种 英语 Book Contents 内容简介 This edited volume collects the research results presented at the 14th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Tel Aviv, Israel, 2016. The topical focus includes, but is not limited to, cardiovascular fluid dynamics, computer modeling of tissue engineering, skin and spine biomechanics, as well as biomedical image analysis and processing. The target audience primarily comprises research experts in the field of bioengineering, but the book may also be beneficial for graduate students alike.
¥1643
【预订】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
【3-6周达】Novel Methods and Technologies for Enterprise Informa 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 New Methods in Reading Comprehension Research [ISBN:97811 【全球购】进口原版图书，一般5-8周左右到国内
¥1841
【3-6周达】The Methods of Contemporary Thought [ISBN:97894010358 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Exact Methods in Low-Dimensional Statistical Physics 【全球购】进口原版图书，一般3-6周左右到国内
¥716.00
【3-6周达】Methods for Risk Assessment of Transgenic Plants: III 【全球购】进口原版图书，一般3-6周左右到国内
¥1517
【3-6周达】Simple Methods for Identification of Plastics [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥593.00
预订 HYBRID METHODS IN PATTERN RECOGNITION [ISBN:9789810248321 【全球购】进口原版图书，一般5-8周左右到国内
¥973.00
【3-6周达】New methods for generating significance levels from m 【全球购】进口原版图书，一般3-6周左右到国内
¥798.00
【3-6周达】Snares: Methods and Protocols (Softcover Reprint of t 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
预订 New Methods of Literacy Research [ISBN:9780415624428] 【全球购】进口原版图书，一般5-8周左右到国内
¥2045
预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi
¥553.35
按需印刷Diary Methods 预订，预计下单后2-3周左右发货！
¥832.00
3-6周达 Kernel Methods in Computer Vision [ISBN:9781601982681] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥679.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车