海外直订Formal Methods and Models for System Design: A System Le
¥1908
【预订】The Mixed Methods Reader 9781412951456 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781412951456 Author 作者 Vicki L Plano Clark and John W Creswell Format 版本 平装-胶订 Pages Number 页数 640页 Publication Date 出版日期 2008-02-12 Shipping Weight 商品重量 737g Language 语种 英语 Book Contents 内容简介 "It premieres the most adept researchers in the field who have bravely and soundly followed mixed methodology approaches."-NACADA (National ACademic ADvising Association)In recent years, researchers have begun to combine quantitative and qualitative approaches within single study research designs. As such, the literature on mixed methods research has grown at a rapid pace. While more methodological books addressing mixed methods are becoming available, the foundational writings of this field are still scattered across diverse d
¥1791
【预订】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
【预订】Models and Methods for Interval-Valued Cooperative Games 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319289960 Author 作者 Li Format 版本 精装 Pages Number 页数 137页 Publication Date 出版日期 2016-02-10 Shipping Weight 商品重量 403g Language 语种 英语 Book Contents 内容简介 This book proposes several commonly used interval-valued solution concepts of interval-valued cooperative games with transferable utility. It thoroughly investigates these solutions, thereby establishing the properties, models, methods, and applications. The first chapter proposes the interval-valued least square solutions and quadratic programming models, methods, and properties. Next, the satisfactory-degree-based non-linear programming models for computing interval-valued cores and corresponding bisection algorithm are explained. ?Finally, the book explores several simplification methods of interval-valued solutions: ?the interval-valued equal division and equal surplus division values; t
¥985.00
【预订】Numerical Methods in Sensitivity Analysis and Shape 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Research Methods Y9780415340755 美国库房发货，通常付款后3-5周到货！
¥2864
【预订】Zebrafish: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods For Ordinary Differential Systems 美国库房发货，通常付款后3-5周到货！
¥1714
【预订】Modern Methods in Complex Analysis: The Princeton 美国库房发货，通常付款后3-5周到货！
¥1112
【预订】Research Methods for English Language Teachers 美国库房发货，通常付款后3-5周到货！
¥707.00
【预订】Electrical Methods in Geophysical Exploration of 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Physical Methods of Chemistry, Supplement and 美国库房发货，通常付款后3-5周到货！
¥8605
【预订】Algebraic Methods in Philosophical Logic 美国库房发货，通常付款后3-5周到货！
¥2799
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
【预订】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
【预订】Biomarker Methods in Drug Discovery and Development 9781 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617379253 Author 作者 Wang Format 版本 平装-胶订 Pages Number 页数 396页 Publication Date 出版日期 2010-11-09 Shipping Weight 商品重量 646g 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 appro
¥1643
【预订】Physical Methods to Characterize Pharmaceutical 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Nuclear Methods of Dating 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Models and Methods in Social Network Analysis 美国库房发货，通常付款后3-5周到货！
¥1309
【预订】Sampling Methods For Multiresource Forest Inventory 美国库房发货，通常付款后3-5周到货！
¥4053
【预订】Integral Methods in Science and Engineering, Volume 1 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319593838 Author 作者 Constanda Format 版本 精装 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2017-09-18 Shipping Weight 商品重量 707g Language 语种 英语 Book Contents 内容简介 This contributed volume contains a collection of articles on the most recent advances in integral methods. ?The first of two volumes, this work focuses on the construction of theoretical integral methods. 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: ? Integral equations ? Homogenization ? Duality methods ? Optimal design ? Conformal techniques This collection will be of interest to researcher
¥1095
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥548.00
【预订】Ultrasonic Methods of Non-Destructive Testing 美国库房发货，通常付款后3-5周到货！
¥4380
【预订】Protein Methods, 2Nd Edition 美国库房发货，通常付款后3-5周到货！
¥2292
【预订】Apoptosis Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1067
【预订】Sampling Methods: Exercises and Solutions 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Bayesian Methods For Nonlinear Classification 美国库房发货，通常付款后3-5周到货！
¥1963
【预订】Formal Methods for Distributed Processing: A Survey 美国库房发货，通常付款后3-5周到货！
¥1783
【预订】Moment Methods in Antennas and Scattering 美国库房发货，通常付款后3-5周到货！
¥2274
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥566.00
海外直订Formal Methods and Software Engineering: 6th Internation
¥1033
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥553.00
【预订】Direct Methods of Solving Crystal Structures Y9781489936 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Research Methods 9789811256936 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811256936 Author 作者 Tan Willie Format 版本 精装 Pages Number 页数 328 pp页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 Research Methods: A Practical Guide for Students and Researchers is a practical guide on how to conduct research systematically and professionally. The book begins by distinguishing between causal and interpretive sciences. It then guides the reader on how to formulate the research question, review the literature, develop the hypothesis or framework, select a suitable research methodology, and analyze both quantitative and qualitative data.The book uses classic examples as exemplars. It also uses many examples from different disciplines and sectors to demonstrate and showcase the inter-connections and wider applications of research tools.The book empha
¥1100
【预订】Models, Methods, Concepts & Applications of the Analytic 美国库房发货，通常付款后3-5周到货！
¥2519
【预订】Effective Methods in Algebraic Geometry 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Algebraic Methods in Operator Theory Y9781461266839 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Geometric Methods and Optimization Problems Y97814613742 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Formal Methods for the Analysis of Biomedical Ontologies 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031121302 Author 作者 Zhang Guo-Qiang Format 版本 精装 Pages Number 页数 245页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥711.00
【预订】Research Methods in Dentistry 9783030980306 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030980306 Author 作者 Tabatabaei Fahimeh Format 版本 平装-胶订 Pages Number 页数 165页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.57 Language 语种 其它（含多语）
¥658.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1325
【预订】Nuclear Methods in Mineralogy and Geology: Techniques an 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Research Methods in Neurochemistry: Volume 4 美国库房发货，通常付款后3-5周到货！
¥548.00
预售 按需印刷Methods for Assessing Brand Value. A Compar 北京发货，付款后10天内发货
¥777.00
【预售按需印刷】Iterative Methods for Approximating Eigenv
¥650.25
【预售 按需印刷】Research Methods for Public Health
¥504.05
【预订】Essential Methods for Planning Practitioners 97833196804 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319680408 Author 作者 Ramasubramanian Format 版本 精装 Pages Number 页数 157页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-11-28 Shipping Weight 商品重量 432g Language 语种 英语 Book Contents 内容简介 This book assembles and organizes a selected range of methods and techniques that every planning practitioner should know to be successful in the contemporary global urban landscape. The book is unique because it links different aspects of the planning/policy-making enterprise with the appropriate methods and approaches, thus contextualizing the use of specific methods and techniques within a sociopolitical and ethical framework. This volume familiarizes readers with the diverse range of methods, techniques, and skills that must be applied at different scales in dynamic workplace environments where planning policies and
¥1314
【预订】Research Methods in Indigenous Contexts 9783319892061 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319892061 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-06-06 Language 语种 其它（含多语）
¥548.00
预订 Quantum Methods in Social Science: A First Course [ISBN:9 【全球购】进口原版图书，一般5-8周左右到国内
¥714.00
【3-6周达】Mtor: Methods and Protocols [ISBN:9781493962099 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Newton Methods for Nonlinear Problems 9783540210993 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540210993 Author 作者 Deuflhard Format 版本 精装 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-04-26 Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance approach leads to shorter theorems and proofs and permits
¥1205
【预订】Modern Methods in Operator Theory and Harmonic Analysis 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030267506 Format 版本 平装-胶订 Pages Number 页数 475页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语 Book Contents 内容简介 This proceedings volume gathers selected, peer-reviewed papers from the "Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis VIII" (OTHA 2018) conference, which was held in Rostov-on-Don, Russia, in April 2018.The book covers a diverse range of topics in advanced mathematics, including harmonic analysis, functional analysis, operator theory, function theory, differential equations and fractional analysis – all fields that have been intensively developed in recent decades. Direct and inverse problems arising in mathematical physics are studied and new methods for sol
¥1643
3-6周达 Natural Methods For Equine Health And Performance 2E [ 【全球购】进口原版图书，预计3-6周左右到国内
¥571.00
【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内
¥2097
【3-6周达】The Methods of Distances in the Theory of Probability 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Formal Methods for Industrial Critical Systems: 17th 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车