【预订】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
【预订】Formal Methods for Model-Driven Engineering 978364230981 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642309816 Author 作者 Bernardo Format 版本 平装-胶订 Pages Number 页数 439页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-14 Shipping Weight 商品重量 682g Language 语种 英语 Book Contents 内容简介 This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
¥548.00
【预订】Asymptotic Methods for Ordinary Differential Equations 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048155002 Author 作者 Kuzmi Format 版本 平装-胶订 Pages Number 页数 364页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-15 Language 语种 英语 Book Contents 内容简介 In this book we consider a Cauchy problem for a system of ordinary differential equations with a small parameter. The book is divided into th ree parts according to three ways of involving the small parameter in the system. In Part 1 we study the quasiregular Cauchy problem. Th at is, a problem with the singularity included in a bounded function j , which depends on time and a small parameter. This problem is a generalization of the regu? larly perturbed Cauchy problem studied by Poincare [35]. Some differential equations which are solved by the averaging method can be reduced to a quasiregular Cauchy problem. As an example, in Chapter 2 we consider the van der Pol problem.
¥1095
【预订】Research Methods for Pedagogy 9781474242820 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781474242820 Author 作者 Nind Melanie Format 版本 精装 Pages Number 页数 296页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2016-10-06 Language 语种 英语 Book Contents 内容简介 Aspects of pedagogy are frequently researched, but the concept itself is poorly understood. More than just teaching and learning, pedagogy is about values, identities, relationships and interactions bounded by context. As such, researchers of pedagogy face the challenge of working out what constitutes pedagogical texts, data or evidence, and how these can be generated and understood. Research methods for pedagogy begins by exploring the different conceptualisations of pedagogy and their implications for how it is researched. The authors reflect on how their sociocultural stance on pedagogy influences the methods they choose to focus on in the book. Moving beyond just schools
¥1312
【预售 按需印刷】Formal Methods for Industrial
¥1030.2
【预售 按需印刷】Manual of Methods for Marine Plankton
¥825.35
海外直订Formal Methods for Industrial Critical Systems: 18th Int
¥494.00
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式
¥490.00
【预订】Numerical Methods and Applications 9783540006084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006084 Author 作者 Dimov Format 版本 平装-胶订 Pages Number 页数 580页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-01-31 Language 语种 英语
¥1095
【预订】Integral Methods in Science and Engineering, Volume 1 97 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319866130 Author 作者 Christian Constanda The University of Tulsa Tulsa OK USA Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2018-08-10 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
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥548.00
【预订】Formal Methods and Testing 9783540789161 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540789161 Author 作者 Robert M. Hierons Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-08 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal
¥548.00
【预订】Separation Methods in Drug Synthesis and Purification, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444640703 Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2020-06-01 Product Dimensions 商品尺寸 9 x 5.9 x 1.5 cm Shipping Weight 商品重量 2290g Language 语种 英语
¥3198
预订 Modern Methods for AI-Integrated Language Curriculum: 979 国外库房发货，通常付款后3-5周到货
¥1289
按需印刷Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！
¥1764
海外直订Formal Methods in Computer-Aided Design: 4th Internation
¥553.00
海外直订Formal Methods and Software Engineering: 7th Internation
¥553.00
海外直订Soft Methods in Probability, Statistics and Data Analysi
¥553.00
【预订】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
【预订】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 for Nonlinear Engineering Models 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Formal Methods for Software Architectures 9783540200833 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540200833 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-12 Language 语种 英语 Book Contents 内容简介 In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro,
¥548.00
【预订】Enhanced Methods in Computer Security, Biometric and Art 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402077760 Author 作者 Pejas Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Springer US Publication Date 出版日期 2004-11-02 Language 语种 英语 Book Contents 内容简介 Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems contains over 30 contributions from leading European researchers showing the present state and future directions of computer science research. ’Methods of Artificial Intelligence and Intelligent Agents’ contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. ’Information Technology Security’ covers three important areas of security engineering in information systems: software secur
¥2190
【预订】Formal Methods and Software Engineering 9783540297970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540297970 Author 作者 Lau Format 版本 平装-胶订 Pages Number 页数 502页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-27 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more.
¥548.00
【预订】Formal Methods and Software Engineering 9783540204619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204619 Author 作者 Dong Format 版本 平装-胶订 Pages Number 页数 682页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-10-27 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540261810 Author 作者 Steffen Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-06-03 Language 语种 英语
¥548.00
【预订】Bayesian Methods in Epidemiology 9780367576349 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367576349 Author 作者 Lyle D. Broemeling Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 860g Language 语种 英语 Book Contents 内容简介 Written by a biostatistics expert with over 20 years of experience in the field, Bayesian Methods in Epidemiology presents statistical methods used in epidemiology from a Bayesian viewpoint. It employs the software package WinBUGS to carry out the analyses and offers the code in the text and for download online.The book examines study designs that investigate the association between exposure to risk factors and the occurrence of disease. It covers introductory adjustment techniques to compare mortality between states and regression methods to study the association between various risk factors and disease, including logisti
¥611.00
【预订】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
海外直订Soft Methods for Integrated Uncertainty Modelling 集成不确定度
¥1550
海外直订Hybrid Methods of Molecular Modeling 分子模拟的混合方法
¥5169
【预订】Advanced Methods Of Biomedical Signal Processing 美国库房发货，通常付款后3-5周到货！
¥1623
预订 Research Methods: A Process of Inquiry (Revised) [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2499
【预售 按需印刷】Icp Design Methods for Driven Piles in Sands and Cl 北京发货，付款后10天内发货
¥758.44
【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周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Agile Methods: 7th Brazilian Workshop, Wbma 2016, Cur 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 New Methods in Financial Modeling: Explorations and Appli 国外库房发货，通常付款后3-5周到货
¥1199
【3-6周达】Methods for Uncertainty Evaluation in Measurement [IS 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【预订】Modern Methods in Complex Analysis: The Princeton 美国库房发货，通常付款后3-5周到货！
¥1112
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
【3-6周达】Maize: Methods and Protocols [ISBN:9781493973149 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订医药图书Methods and Applications of Inversion 反演方法及应用
¥553.00
英文原版 Sieve Methods Exponential Sums and their Applications i
¥850.00
【预订】Zebrafish: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods For Ordinary Differential Systems 美国库房发货，通常付款后3-5周到货！
¥1714
【预订】Algebraic Methods in Philosophical Logic 美国库房发货，通常付款后3-5周到货！
¥2799
【预订】Nuclear Methods of Dating 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Modern Methods Of Polymer Characterization 美国库房发货，通常付款后3-5周到货！
¥4994
【预订】Apoptosis Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1067
【预订】Sampling Methods: Exercises and Solutions 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Bayesian Methods For Nonlinear Classification 美国库房发货，通常付款后3-5周到货！
¥1963
【预订】Moment Methods in Antennas and Scattering 美国库房发货，通常付款后3-5周到货！
¥2274
【预订】Numerical Methods with Algorithms and Programs 美国库房发货，通常付款后3-5周到货！
¥756.00
【预售 按需印刷】Aims and Methods of Vegetation Ecology 北京发货，付款后10天内发货
¥993.00
海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R
¥1987
海外直订Formal Methods and Models for System Design: A System Le
¥1908
【预订】Research Methods for English Language Teachers 美国库房发货，通常付款后3-5周到货！
¥707.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车