![预订 New Methods of Literacy Research [ISBN:9780415624435]](http://img3m0.ddimg.cn/83/9/11840790440-1_b_1729688336.jpg)
预订 New Methods of Literacy Research [ISBN:9780415624435] 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1325
海外直订New Methods of Concurrent Checking 并行检查的新方法
¥1033
预订 Applied Methods Of Regional Analysis: The Spatial Dimensi 国外库房发货，通常付款后3-5周到货
¥603.00
海外直订The Methods of Ethics 伦理学的方法
¥810.00
海外直订Tracer Methods in Hormone Research 激素研究中的示踪方法
¥1033
预订 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
【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643
【预订】Histones: Methods and Protocols (Softcover Reprint of th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493982547 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-27 Language 语种 英语
¥1205
【预订】Numerical Methods for Engineers 9780367390662 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367390662 Author 作者 D. Vaughan Griffiths and I.M. Smith Format 版本 平装-胶订 Pages Number 页数 492页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-08-30 Language 语种 英语 Book Contents 内容简介 Focusing on techniques useful for solving a range of practical engineering problems, this book provides an introduction to numerical methods, incorporating theory with practical computing exercises and programmed examples of the techniques presented. This second edition features coding upgraded to the new Fortran 90/95 for all programs. The authors offer all source code for download along with a free Fortran 90 compiler for PC users. The book contains new programs and associated subroutines that are highly portable and will run on any computer platform, from PCs to mainframes. It also includes additional exercises and engineering examples.
¥813.00
【预订】Numerical Methods in Multibody Dynamics 9783663098300 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783663098300 Author 作者 Eich-Soellner Format 版本 平装-胶订 Pages Number 页数 290页 Publisher 出版社 Vieweg+Teubner / Springer Fachmedien Wiesbaden Publication Date 出版日期 2013-11-13 Product Dimensions 商品尺寸 9.6 x 6.6 x 0.6 cm Shipping Weight 商品重量 1030g Language 语种 英语 Book Contents 内容简介 Numerical Analysis is an interdisciplinary topic which develops its strength only when viewed in close connection with applications. Nowadays, mechanical engineers having computer simulation as a daily engineering tool have to learn more and more techniques from that field. Mathematicians, on the other hand, are increasingly confronted with the need for developing special purpose methods and codes. This requires a broad interdisciplinary understanding and a sense for model-method interactions. With this monograph we give an introduction to selec
¥548.00
【预订】Numerical Methods for Fractional Differentiation 9789811 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811501005 Author 作者 Owolabi Kolade M. Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Singapore Publication Date 出版日期 2020-10-24 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses numerical methods for solving partial differential and integral equations, as well as ordinary differential and integral equations, involving fractional differential and integral operators. Differential and integral operators presented in the book include those with exponential decay law, known as Caputo–Fabrizio differential and integral operators, those with power law, known as Riemann–Liouville fractional operators, and those for the generalized Mittag–Leffler function, known as the Atangana–Baleanu fractional operators.The book reviews existing numerical schemes associated with fractional operators including those wit
¥1035
【预订】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
按需印刷Modern Methods of Construction 预订，预计下单后2-3周左右发货！
¥907.00
海外直订Cilia: Methods and Protocols 纤毛：方法和协议
¥556.00
【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030618780 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-02 Language 语种 英语 Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls its physiological functions. In taking part in enzymatic reactions and protecting the cell against free radicals, selenium shows immunomodulative, antiphlogistic, an
¥2190
【预订】Research Methods: A Tool for Life 9781108436236 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108436236 Author 作者 Beins, Bernard C Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-09-19 Language 语种 英语
¥855.00
海外直订Formal Methods for Distributed Processing: A Survey of O
¥1649
【预订】Formal Methods for Discrete-Time Dynamical Systems 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319507620 Author 作者 Gol, Ebru Aydin Format 版本 精装 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is
¥1861
海外直订Modern Methods in Analytical Acoustics: Lecture Notes 分析
¥1635
海外直订医药图书Methods in Proteome and Protein Analysis 蛋白质组学和蛋白质分析
¥2377
海外直订Formal Methods for Components and Objects: 10th Internat
¥553.00
【3-6周达】Proof Methods for Modal and Intuitionistic Logics [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
海外直订医药图书Methods of Nursing Care in Respiratory Diseases 呼吸系统
¥484.00
预售 按需印刷 Methods for Diseases Diagnostic with Appli 北京发货，付款后10天内发货
¥638.00
按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！
¥668.00
海外直订Formal Methods in Programming and Their Applications: In
¥553.00
【预订】Numerical Methods for Nonsmooth Dynamical Systems: 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Biomarker Methods in Drug Discovery and Development 9781 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781934115237 Author 作者 Feng Wang Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Humana Press Publication Date 出版日期 2008-03-11 Language 语种 英语 Book Contents 内容简介 The pharmaceutical industry has faced many significant challenges since the early 1990s. The fundamental issue that needs to be addressed is how to improve the efficiency of drug discovery and development. The current research and development (R&D) cost for developing a new therapeutic drug is greater than $800 million. Additionally, it takes an average of 12 years to get a new drug to market with an attrition rate greater than 90%. Reviewing the overall pharmaceutical R&D process, it has become clear that many of the drug failures are due to our lack of knowledge in population diversity, which is responsible for differences in drug efficacy and toxicity. In fact, not a single approved
¥1643
【预订】Iterative Methods for Queuing and Manufacturing Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852334161 Author 作者 Ching Format 版本 精装 Pages Number 页数 160页 Publisher 出版社 Springer London Publication Date 出版日期 2001-02-26 Language 语种 英语 Book Contents 内容简介 Iterative Methods for Queuing and Manufacturing Systems introduces the recent advances and developments in iterative methods for solving Markovian queuing and manufacturing problems.Key highlights include:- an introduction to simulation and simulation software packages;- Markovian models with applications in inventory control and supply chains; future research directions.With numerous exercises and fully-worked examples, this book will be essential reading for anyone interested in the formulation and computation of queuing and manufacturing systems but it will be of particular interest to students, practitioners and researchers in Applied Mathematics, Scientific Computing and Operationa
¥548.00
【预订】Research Methods for Understanding Professional Learning 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781474274616 Author 作者 Vivienne Baumfield Format 版本 精装 Pages Number 页数 240页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2018-10-18 Language 语种 英语 Book Contents 内容简介 Practitioners are experts in their field and this book introduces research methods that help to make that expertise explicit. There is worldwide recognition of the importance of high quality, reflective practice that both engages with existing research evidence and engages in the production of new evidence. Research Methods for Understanding Professional Learning demonstrates how the knowledge about what happens in a practice context and the skills used to succeed there can be used as the building blocks for developing research methods and tools to best investigate practice. The experienced author team introduce a framework for understanding practice and for design
¥1013
【预订】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
【预订】Evaluation Methods in Biomedical and Health Informatics 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030864552 Author 作者 Charles P. Friedman Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.14 Shipping Weight 商品重量 1.71 Language 语种 其它（含多语） Book Contents 内容简介 This 3rd edition of Evaluation Methods in Biomedical and Health Informatics has been extensively revised and expanded. It builds on a solid foundation of evaluation theory to explain methods and techniques within health informatics, using many examples, real-world case studies and numerous self-tests with answers. Expanded to 20 rather than 12 chapters, new chapters have been added on qualitative methods, ethics, mixed methods, evidence-based informatics and how to conduct evaluation studies using routine, real-world data. Designed as a practic
¥658.00
预订Advanced Methods and Mathematical Modeling of Biofilms:App 预订，预计下单后2-3周左右发货！
¥1637
海外直订Modern Methods of Analytical Mechanics and Their Applica
¥576.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1789
海外直订医药图书Methods and Applications of Artificial Intelligence:
¥553.00
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103220 【全球购】进口原版图书，一般5-8周左右到国内
¥1501
【预订】Few-Body Methods: Principles and Applications - Proceedi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789971501266 Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥3640
【预订】Analytical Methods in Software Engineering Economics 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642777974 Author 作者 Gulledge Format 版本 平装-胶订 Pages Number 页数 252页 Publication Date 出版日期 2011-12-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at The MITRE Corporation in McLean, Virginia. The papers are representative of the issues that are of interest to researchers in the economics of information systems and software engineering economics. The 1990s are presenting software economists with a particularly difficult set of challenges. Because of budget considerations, the number of large new software development efforts is declining. The primary focus has shifted to issues relating to upgrading and migrating existing systems. In this environment, productivi
¥1205
【预订】Analytical Methods for Agricultural Contaminants 9780128 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128159408 Format 版本 平装-胶订 Pages Number 页数 350页 Publication Date 出版日期 2018-09-19 Language 语种 英语 Book Contents 内容简介 Analytical Methods for Agricultural Contaminants provides proven laboratory practices and methods necessary to control contaminants and residues in food and water. This reference provides insight into good laboratory practices and examples of methods used in individual specialist laboratories, thus enabling stakeholders in the agri-food industry to appreciate the importance of proven, reliable data and the associated quality assurance approaches for end product testing for toxic levels of contaminants and contaminant residues in food. The book offers standard operating procedures and tools for researchers, practitioners and students to confidently engage in using research methods with the aim to control contaminants. Users in a laboratory sett
¥2666
【预订】Numerical Methods in Finance 9781441937735 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441937735 Author 作者 Breton Format 版本 平装-胶订 Pages Number 页数 258页 Publication Date 出版日期 2010-10-29 Language 语种 英语 Book Contents 内容简介 GERAD celebrates this year its 25th anniversary. The Center was created in 1980 by a small group of professors and researchers of HEC Montreal, McGill University and of the Ecole Polytechnique de Montreal. GERAD’s activities achieved sufficient scope to justify its conversion in June 1988 into a Joint Research Centre of HEC Montreal, the Ecole Polytechnique de Montreal and McGill University. In 1996, the U- versite du Quebec a Montreal joined these three institutions. GERAD has fifty members (professors), more than twenty research associates and post doctoral students and more than two hundreds master and Ph.D. students. GERAD is a multi-university center and a vital forum for the devel- ment of operations research. I
¥1095
【预订】Allergy Methods and Protocols 9781617372438 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617372438 Author 作者 Jones Format 版本 平装-胶订 Pages Number 页数 352页 Publication Date 出版日期 2010-11-09 Shipping Weight 商品重量 538g Language 语种 英语 Book Contents 内容简介 In recent years, allergy research has focused on the causes and mechanisms of allergy. In parallel, there is also an impetus to try to understand mechanisms of natural tolerance and immunotherapy where allergy is being dampened. In Allergy: Methods and Protocols a groundbreaking new title from the Methods in Molecular Medicine series, leaders in the field provide assistance for researchers to gain insight into the molecular mechanisms involved in allergy by featuring an array of protocols. These cover a range of disciplines including allergy, immunology, cell biology and histology and include methods to investigate the cellular response to allergens, cytokine profile, MHC restricti
¥1205
【预订】Resampling Methods for Dependent Data 9781441918482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441918482 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 374页 Publication Date 出版日期 2010-11-29 Language 语种 英语 Book Contents 内容简介 This is a book on bootstrap and related resampling methods for temporal and spatial data exhibiting various forms of dependence. Like the resam? pling methods for independent data, these methods provide tools for sta? tistical analysis of dependent data without requiring stringent structural assumptions. This is an important aspect of the resampling methods in the dependent case, as the problem of model misspecification is more preva? lent under dependence and traditional statistical methods are often very sensitive to deviations from model assumptions. Following the tremendous success of Efron’s (1979) bootstrap to provide answers to many complex problems involving independent data and following Singh’s (1981) exam
¥2519
【预订】Computer Methods in Mechanics 9783642262340 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642262340 Author 作者 Kuczma Format 版本 平装-胶订 Pages Number 页数 528页 Publication Date 出版日期 2012-05-04 Product Dimensions 商品尺寸 9 x 6 x 1.2 cm Shipping Weight 商品重量 848g Language 语种 英语 Book Contents 内容简介 Prominent scientists present the latest achievements in computational methods and mechanics in this book. These lectures were held at the CMM 2009 conference.
¥2190
【预订】Integral Methods in Science and Engineering, Volume 2 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593869 Author 作者 Constanda Format 版本 精装 Pages Number 页数 312页 Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 666g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. The second of two volumes, this work focuses on the applications of integral methods to specific problems in science and engineering. Written by internationally recognized researchers, the chapters in this book are based on talks given at the Fourteenth International Conference on Integral Methods in Science and Engineering, held July 25-29, 2016, in Padova, Italy. A broad range of topics is addressed, such as: ? Boundary elements ? Transport problems ? Option pricing ? Gas reservoirs ? Electromagnetic scattering This collection will be of interest to researchers in ap
¥1095
【预订】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
【预订】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
海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C
¥1438
Bayesian Methods for Data Analysis 数据分析中的贝叶斯方法 精装
¥881.00
【预订】Advanced Methods in Computer Graphics: With Examples in 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Research Methods in Africana Studies 美国库房发货，通常付款后3-5周到货！
¥851.00
【预订】Regression Methods for Medical Research 美国库房发货，通常付款后3-5周到货！
¥828.00
【预订】Research Methods in Interpreting: A Practical Resource 美国库房发货，通常付款后3-5周到货！
¥1669
【预订】Research Methods: Designing and Conducting Research with 美国库房发货，通常付款后3-5周到货！
¥1525
【预订】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
【预订】Formal Methods and Object Technology 9783540199779 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540199779 Author 作者 Goldsack Format 版本 平装-胶订 Pages Number 页数 368页 Publication Date 出版日期 1996-04-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Language 语种 英语 Book Contents 内容简介 Rationale Software engineering aims to develop software by using approaches which en? able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program? ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular c
¥1095
【预订】Tasks and Methods in Applied Artificial Intelligence 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540645740 Author 作者 Pobil Format 版本 平装-胶订 Pages Number 页数 950页 Publication Date 出版日期 1998-05-20 Language 语种 英语 Book Contents 内容简介 This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.The two volumes present a total of 187 revised full papers selected from 291 submissions. In accordance with the conference, the books are devoted to new methodologies, knowledge modeling and hybrid techniques. The papers explore applications from virtually all subareas of AI including knowledge-based systems, fuzzyness and uncertainty, formal reasoning, neural information processing, multiagent systems, perception, robotics, natural language processing, machine learning, superv
¥1095
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车