【3-6周达】Formal Methods and Software Engineering: 14th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Theory and Methods in Political Science 9781137603517 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781137603517 Author 作者 Vivien Lowndes University of Birminghan Institute of Local Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 Red Globe Press Publication Date 出版日期 2017-10-13 Product Dimensions 商品尺寸 9.4 x 6.4 x 0.8 cm Language 语种 英语 Book Contents 内容简介 A broad-ranging and pluralistic textbook which highlights the rich variety of approaches to studying politics. Written by an international team of experts, this fully revised fourth edition offers cutting-edge coverage from fundamental to contemporary issues. Integrating guides to further reading and clear examples of how research methods can be applied, it enables readers to feel confident about taking their study of politics forward. An ideal foundation for study and research in political science, this textbook will be essential to students at any stage of their degre
¥551.00
【预订】Automatic Methods for the Refinement of System Models 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319414799 Author 作者 Julia Seiter Verden Germany Format 版本 平装-胶订 Pages Number 页数 94页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-07-11 Shipping Weight 商品重量 174g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single de*ion for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated de*ions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement
¥548.00
海外直订Novel Methods for Monitoring and Managing Land and Water
¥1550
【预订】Synthesis Methods and Crystallization 9781838802233 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781838802233 Author 作者 Riadh Marzouki Format 版本 精装 Pages Number 页数 136页 Publisher 出版社 Intech Publication Date 出版日期 2020-10-07 Language 语种 其它（含多语） Book Contents 内容简介 New crystalline materials (organic, inorganic, hybrid) are promising for various applications, including electrical, piezoelectric, ferroelectric, magnetic, and catalytic processes. In addition, given their remarkable structural richness, these materials exhibit several interesting physical properties, such as ionic conduction, ion exchange, and others. Crystal growth, morphology, and grain size are factors influencing these physical properties. This book examines methods of synthesis of the most common crystalline materials and describes nucleation and crystal growth of various materials.
¥1868
【预订】Diagnostic Methods in Veterinary Medicine 9781013527166 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013527166 Author 作者 Boddie Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Hassell Street Press Publication Date 出版日期 2021-09-09 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.00 Shipping Weight 商品重量 1.76 Language 语种 其它（含多语）
¥495.00
【预订】Efficient Methods for Valuing in Mathematics Education 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781639871803 Format 版本 精装 Pages Number 页数 226页 Publisher 出版社 Murphy & Moore Publishing Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.56 Shipping Weight 商品重量 1.05 Language 语种 其它（含多语）
¥1716
【预订】Research Methods in Language and Education 9783319022482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319022482 Author 作者 Kendall A. King University of Minnesota Minneapolis MN U Format 版本 精装 Pages Number 页数 555页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-06-07 Shipping Weight 商品重量 1140g Language 语种 英语 Book Contents 内容简介 In this third, fully revised edition, the 10 volume Encyclopedia of Language and Education offers the newest developments, including an entirely new volume of research and scholarly content, essential to the field of language teaching and learning in the age of globalization. In the selection of topics and contributors, the Encyclopedia reflects the depth of disciplinary knowledge, breadth of interdisciplinary perspective, and diversity of socio-geographic experience in the language and education field. Throughout, there is an inclusion of contributions from non-English speaking an
¥4380
【3-6周达】Formal Methods for the Analysis of Biomedical Ontolog 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Test Methods for Explosives [ISBN:9781461269045] 【全球购】进口原版图书，一般3-6周左右到国内
¥3011
【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods 9781108716000 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108716000 Author 作者 Rajesh Kumar Gupta Format 版本 平装-胶订 Pages Number 页数 750页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2019-04-30 Language 语种 英语 Book Contents 内容简介 Written in an easy-to-understand manner, this comprehensive textbook brings together both basic and advanced concepts of numerical methods in a single volume. Important topics including error analysis, nonlinear equations, systems of linear equations, interpolation and interpolation for Equal intervals and bivariate interpolation are discussed comprehensively. The textbook is written to cater to the needs of undergraduate students of mathematics, computer science, mechanical engineering, civil engineering and information technology for a course on numerical methods/numerical analysis. The text simplifies the understanding of the concepts through exercises
¥966.00
【预订】Semi-Field Methods for the Environmental Risk Assessment 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138117969 Format 版本 平装-胶订 Pages Number 页数 144页 Publication Date 出版日期 2017-06-14 Language 语种 英语
¥949.00
【预订】Advanced Methods for Human Biometrics 9783030819842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030819842 Author 作者 Nabil Derbel Format 版本 平装-胶订 Pages Number 页数 303页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.66 Shipping Weight 商品重量 0.98 Language 语种 其它（含多语） Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry metho
¥1314
海外直订New Methods of Computing Radial Distribution Functions o
¥1005
【预订】Integral Methods in Science and Engineering, Volume 2: C 美国库房发货，通常付款后3-5周到货！
¥1095
【3-6周达】Modern Methods for Epidemiology [ISBN:9789400794061] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Formal Methods and Software Engineering: 7th Internat 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Components and Objects: 11th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
海外直订Modern Methods of Development 现代发展方法
¥672.00
海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方
¥1688
【预订】Advanced Methods for Modeling Markets 9783319534671 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319534671 Author 作者 Leeflang Format 版本 精装 Pages Number 页数 733页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-09-06 Shipping Weight 商品重量 1274g Language 语种 英语 Book Contents 内容简介 This volume presents advanced techniques to modeling markets, with a wide spectrum of topics, including advanced individual demand models, time series analysis, state space models, spatial models, structural models, mediation, models that specify competition and diffusion models. It is intended as a follow-on and companion to Modeling Markets (2015), in which the authors presented the basics of modeling markets along the classical steps of the model building process: specification, data collection, estimation, validation and implementation. This volume builds on the concepts presented in Modeling Markets with an emphasis on a
¥3833
【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书，一般3-6周左右到国内
¥532.00
预订 String Methods for Beginners [ISBN:9780367226862] 【全球购】进口原版图书，一般5-8周左右到国内
¥600.00
【预订】Meshfree Methods 9781420082098 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420082098 Author 作者 G.R. Liu Format 版本 精装 Pages Number 页数 792页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-10-06 Shipping Weight 商品重量 1564g Language 语种 英语 Book Contents 内容简介 With 70 percent new material, this second edition reflects significant advances made in the field since the publication of its predecessor. It continues to systematically cover the most widely used meshfree methods. This edition includes enhanced focus on fundamental concepts and theories, more detailed discussion on error estimation and adaptive analysis using meshfree methods, developments on combined meshfree/FEM models, and comparison studies using meshfree and FEM. It also contains a new discussion on special properties of meshfree methods, including stability, convergence, accurate, efficiency, and bound property. The latest version of MFree2D
¥2373
预订 Modern Methods of Optimization: Proceedings of the Summer 国外库房发货，通常付款后3-5周到货
¥548.00
按需印刷Data, Methods and Theory in the Organizational Sciences: 预订，预计下单后3-4周左右发货！
¥567.00
【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
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【3-6周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预订】Laboratory Methods in Enzymology: Protein Part C 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Laboratory Methods in Enzymology: Protein Part B 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Laboratory Methods in Enzymology: Protein Part a 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Playful Methods 9780367211523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367211523 Author 作者 Carmen Liliana Medina Format 版本 平装-胶订 Pages Number 页数 160页 Publisher 出版社 Routledge Publication Date 出版日期 2022-01-01 Product Dimensions 商品尺寸 229 x 152 mm (6 x 9) Language 语种 其它（含多语） Book Contents 内容简介 This book introduces three new subjects to the context of literacy research—play, the imaginary, and improvisation—and proposes how to incorporate these important concepts into the field as research methods in order to engage people, materials, spaces, and imaginaries that are inherent in every research encounter. Grounded in cutting-edge theory, chapters are structured around lived narratives of research experiences, demonstrating key practices for unsettling and expanding the ways people interact, behave, and construct knowledge. Through an exploration of difference, play and the imaginary,
¥542.00
海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合
¥1615
【3-6周达】Research Methods in Criminal Justice and Criminology: 【全球购】进口原版图书，一般3-6周左右到国内
¥2534
【预订】Nuclear Methods in Mineralogy and Geology 9780306458323 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780306458323 Author 作者 Vértes Format 版本 精装 Pages Number 页数 555页 Publisher 出版社 Springer US Publication Date 出版日期 1998-04-30 Language 语种 英语 Book Contents 内容简介 This book appears a century after the discovery of radioactivity. It was in 1896, when Henri Becquerel reported his first results about the penetrating radiation, which could darken the packed photographic plates. The initial fascination of radioactivity, e.g., the discovery of new radioactive elements, the first real deion of the structure of atoms and their nuclei, the applications of radiotracers, the high sensitivity of activation analysis, etc., was followed by the use of atomic bomb in 1945. The mushroom cloud became a symbol of destructive nuclear power. And even nuclear energy production (which provides about 20% of the world’s electricity) is overshadowed by radioactive waste.
¥2190
【预订】Computer Methods Part a 美国库房发货，通常付款后3-5周到货！
¥2399
【预订】Numerical Methods for Nonsmooth Dynamical Systems 978364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642094644 Author 作者 Vincent Acary Format 版本 平装-胶订 Pages Number 页数 525页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-22 Language 语种 英语 Book Contents 内容简介 This book concerns the numerical simulation of dynamical systems whose trajec- ries may not be differentiable everywhere. They are named nonsmooth dynamical systems. They make an important class of systems, rst because of the many app- cations in which nonsmooth models are useful, secondly because they give rise to new problems in various elds of science. Usually nonsmooth dynamical systems are represented as differential inclusions, complementarity systems, evolution va- ational inequalities, each of these classes itself being split into several subclasses. The book is divided into four parts, the rst three parts being sketched in Fig. 0. 1. The aim of the rst
¥3285
【预订】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
海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene
¥513.00
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
【预售 按需印刷】Inventory Methods in LCA
¥775.20
【预订】Formal Methods and Software Engineering 9783540474609 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540474609 Author 作者 Liu Format 版本 平装-胶订 Pages Number 页数 792页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-24 Language 语种 英语
¥1095
海外直订Mesh Methods for Boundary-Value Problems and Application
¥1672
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2067
【3-6周达】Advanced Methods and Technologies in Metallurgy in Ru 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods: 25th International Symposium, FM 2023 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Agile Methods. Large-Scale Development, Refactoring, Test 国外库房发货，通常付款后3-5周到货
¥525.00
海外直订Metric Methods for Analyzing Partially Ranked Data 部分排序数
¥1757
海外直订Formal Methods and Software Engineering: 23rd Internatio
¥534.00
【预订】Research Methods and Communication in the Social Science 美国库房发货，通常付款后3-5周到货！
¥816.00
【预订】Iterative Methods for Queuing and Manufacturing Systems 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849968706 Author 作者 Ching Format 版本 平装-胶订 Pages Number 页数 160页 Publication Date 出版日期 2010-10-21 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 Operational Research.
¥548.00
【预订】Selection Methods in Plant Breeding 9789048176168 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048176168 Author 作者 Bos Format 版本 平装-胶订 Pages Number 页数 461页 Publication Date 出版日期 2010-11-10 Language 语种 英语 Book Contents 内容简介 Selection procedures used in plant breeding have gradually developed over a very long time span, in fact since settled agriculture was rst undertaken. Nowadays these procedures range from very simple mass selection methods, sometimes applied in an ine?ective way, to indirect trait selection based on molecular markers. The procedures di?er in costs as well as in genetic - ciency.Incontrasttothegenetice?ciency,costsdependonthelocalconditions encountered by the breeder. The genetic progress per unit of money invested varies consequently from site to site. This book considers consequently only the genetic e?ciency, i.e. the rate of progress to be expected when applying a certain selection procedure. Ifabreederhasacertainbreedi
¥2738
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车