【预订】Formal Methods and Stochastic Models for Performance Eva 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540353621 Author 作者 Horváth Format 版本 平装-胶订 Pages Number 页数 239页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-12 Language 语种 英语 Book Contents 内容简介 The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpap
¥548.00
【预订】Meshfree Methods for Partial Differential Equations IV 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540799931 Author 作者 Michael Griebel Universit?t Bonn Institut für Numerische Si Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-10 Shipping Weight 商品重量 640g Language 语种 英语 Book Contents 内容简介 The numerical treatment of partial differential equations with particle methods and meshfree discretization techniques is a active research field both in the mathematics and engineering community. This volume of LNCSE is a collection of the proceedings papers of the Fourth International Workshop on Meshfree Methods held in September 2007 in Bonn.
¥1095
【预订】Multigrid Methods VI 9783540671572 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540671572 Author 作者 Dick Format 版本 平装-胶订 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-08-28 Language 语种 英语
¥1643
【3-6周达】Novel methods in visual quality assessment and pedest 【全球购】进口原版图书，一般3-6周左右到国内
¥952.00
【3-6周达】Kernel Methods in Analysis of Genetic Markers and DNA 【全球购】进口原版图书，一般3-6周左右到国内
¥1192
【3-6周达】New Methods of Concurrent Checking [ISBN:978904817876 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Applied Methods of Cost-Effectiveness Analysis in Hea 【全球购】进口原版图书，一般3-6周左右到国内
¥884.00
【3-6周达】Formal Methods for Eternal Networked Software Systems 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
Kernel Methods and Machine Learning 核方法与机器学习 S. Y. Kung 精装
¥1233
【预订】Inclusion Methods for Nonlinear Problems 9783211838525 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211838525 Author 作者 Herzberger Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Springer Wien Publication Date 出版日期 2002-12-10 Language 语种 英语 Book Contents 内容简介 This workshop was organized with the support of GAMM, the International Association of Applied Mathematics and Mechanics, on the occasion of J. Herzberger’s 60th birthday. GAMM is thankful to him for all the time and work he spent in the preparation and holding of the meeting. The talks presented during the workshop and the papers published in this volume are part of the field of Verification Numerics. The important subject is fostered by GAMM already since a number of years, especially also by the GAMM? FachausschuB (special interest group) ’Rechnerarithmetik und Wissenschaft? liches Rechnen’. GiHz Alefeld Karlsruhe, Dezember 2001 (President of GAMM) Preface At the end
¥1095
【3-6周达】Mixing Methods in Social Research: Qualitative, Quant 【全球购】进口原版图书，预计3-6周左右到国内
¥703.00
【3-6周达】Formal Methods for Nonmonotonic and Related Logics [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Direct Methods for Limit State of Materials and Struc 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【3-6周达】Formal Methods for Components and Objects: 10th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Geometric Methods in Physics 9783034807814 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783034807814 Author 作者 Kielanowski Format 版本 平装-胶订 Pages Number 页数 237页 Publisher 出版社 Springer Basel Publication Date 出版日期 2015-08-08 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 385g Language 语种 英语 Book Contents 内容简介 The Biaowie?a workshops on Geometric Methods in Physics, taking place in the unique environment of the Bia?owie?a natural forest in Poland, are among the important meetings in the field. Every year some 80 to 100 participants both from mathematics and physics join to discuss new developments and to interchange ideas. The current volume was produced on the occasion of the XXXI meeting in 2012. For the first time the workshop was followed by a School on Geometry and Physics, which consisted of advanced lectures for graduate students and young researchers. Selected speakers of the w
¥548.00
【3-6周达】Novel Methods for the Visualization of Gene Expressio 【全球购】进口原版图书，一般3-6周左右到国内
¥903.00
【预订】Effective Methods for Software Engineering 9781032474359 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032474359 Author 作者 Boyd Summers Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 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 hel
¥648.00
预订 New Methods for Evaluating One-Loop Corrections of Multi- 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥626.00
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1816
【3-6周达】高被引PCR: Methods and Protocols [ISBN:9781493970 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
【预订】Asymptotic Methods in Quantum Mechanics 9783540672401 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540672401 Author 作者 Patil Format 版本 精装 Pages Number 页数 174页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-04-26 Language 语种 英语 Book Contents 内容简介 Quantum mechanics and the Schrodinger equation are the basis for the de? ion of the properties of atoms, molecules, and nuclei. The development of reliable, meaningful solutions for the energy eigenfunctions of these many? is a formidable problem. The usual approach for obtaining particle systems the eigenfunctions is based on their variational extremum property of the expectation values of the energy. However the complexity of these variational solutions does not allow a transparent, compact deion of the physical structure. There are some properties of the wave functions in some specific, spatial domains, which depend on the general structure of the Schrodinger equation and
¥1095
【预订】Unified Methods for Censored Longitudinal Data and Causa 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441930552 Author 作者 Laan Format 版本 平装-胶订 Pages Number 页数 399页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-05-26 Language 语种 英语 Book Contents 内容简介 During the last decades, there has been an explosion in computation and information technology. This development comes with an expansion of complex observational studies and clinical trials in a variety of fields such as medicine, biology, epidemiology, sociology, and economics among many others, which involve collection of large amounts of data on subjects or organisms over time. The goal of such studies can be formulated as estimation of a finite dimensional parameter of the population distribution corresponding to the observed time- dependent process. Such estimation problems arise in survival analysis, causal inference and regression analysis. This book provides a fundamenta
¥1643
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540348931 Author 作者 Gorrieri Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.
¥548.00
【预订】Innovative Methods for Rare Disease Drug Development 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367502904 Author 作者 Shein-Chung Chow Format 版本 平装-胶订 Pages Number 页数 296页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-11-11 Product Dimensions 商品尺寸 234x220 mm Language 语种 其它（含多语） Book Contents 内容简介 In the United States, a rare disease is defined by the Orphan Drug Act as a disorder or condition that affects fewer than 200,000 persons. For the approval of "orphan" drug products for rare diseases, the traditional approach of power analysis for sample size calculation is not feasible because there are only limited number of subjects available for clinical trials. In this case, innovative approaches are needed for providing substantial evidence meeting the same standards for statistical assurance as drugs used to treat common conditions. Innovative Methods for Rare Disease Drug Development focuses o
¥611.00
【预订】Detection Methods in Precision Medicine 9781788017619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781788017619 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Royal Society of Chemistry (RSC) Publication Date 出版日期 2020-12-18 Product Dimensions 商品尺寸 9.30 x 6.20 x 1.10 Shipping Weight 商品重量 1.60 Language 语种 其它（含多语） Book Contents 内容简介 Precision medicine is a topical subject that attracts tremendous attention from scientific and medical communities, being set to transform health care in the future. This book will be among the first to cover the detection methods for precision medicine. The first section provides an overview of the biomarkers used for precision medicine, such as proteins, nucleic acids, and metabolites. The coverage then turns to sequencing techniques and their applications, and other bioanalytical techniques, including mass spectrometry for proteome and phosphoproteome analysis, immunological methods
¥2253
3-6周达 Modern Methods for Theoretical Physical Chemistry of B 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥3422
预订 Scaling Methods in Soil Physics [ISBN:9780849313745] 【全球购】进口原版图书，一般5-8周左右到国内
¥2997
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【预订】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
【预订】Vortex Methods: Theory and Practice Y9780521621861 美国库房发货，通常付款后3-5周到货！
¥1520
【预订】Bayesian Methods: An Analysis for Statisticians and Inte 美国库房发货，通常付款后3-5周到货！
¥1124
【预订】Research Methods in Occupational Epidemiology 美国库房发货，通常付款后3-5周到货！
¥1035
【预订】Bayesian Methods for Finite Population Sampling 美国库房发货，通常付款后3-5周到货！
¥2261
【预订】Advanced Methods of Pharmacokinetic and Pharmacodynamic 美国库房发货，通常付款后3-5周到货！
¥1643
【预售 按需印刷】Numerical Methods in Finance 2
¥1782.22
【预订】TOPICS AND METHODS IN Q-SERIES 9789813224179 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789813224179 Author 作者 MC LAUGHLIN JAMES Format 版本 精装 Pages Number 页数 400页 Publication Date 出版日期 2017-09-22 Language 语种 英语 Book Contents 内容简介 The book provides a comprehensive introduction to the many aspects of the subject of basic hypergeometric series. The book essentially assumes no prior knowledge but eventually provides a comprehensive introduction to many important topics. After developing a treatment of historically important topics such as the q-binomial theorem, Heine’s transformation, the Jacobi triple product identity, Ramanujan’s 1-psi-1 summation formula, Bailey’s 6-psi-6 summation formula and the Rogers-Fine identity, the book goes on to delve more deeply into important topics such as Bailey- and WP-Bailey pairs and chains, q-continued fractions, and mock theta functions. There are also chapters on other topics such as Lambert series
¥1660
【预订】Theories, Methods, and Applications in Ergonomics and Pr 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522552345 Author 作者 Juan Luis Hernández Arellano^^Aide Aracely Maldonado Macias^ Format 版本 精装 Pages Number 页数 350页 Publication Date 出版日期 2018-04-30 Language 语种 英语 Book Contents 内容简介 Product design is an important field where ergonomics and human factors should be applied. To achieve this goal, effective strategies for process improvement must be researched and implemented.Theories, Methods, and Applications in Ergonomics and Product Design is a critical scholarly resource that provides new theories, methodologies, and applications of ergonomics and product design and redesign. Featuring a broad range of topics such as additive manufacturing, product analysis, and sustainable packing development, this book is geared towards academicians, practitioners, and researchers seeking current research on new theories, methods, and applications related to ergono
¥2011
【预订】Formal Methods for Industrial Critical Systems: 23rd Int 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030002435 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-08-30 Language 语种 英语
¥548.00
【预订】Formal Methods 9783319955810 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319955810 Author 作者 Havelund Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 22nd InternationalSymposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefullyreviewed and selected from 110 submissions. They presentformal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
¥985.00
【预订】Cilia: Methods and Protocols (Softcover Reprint of the O 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493981397 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-09 Language 语种 英语
¥548.00
【预订】Wavelet Methods in Mathematical Analysis and Engineering 美国库房发货，通常付款后3-5周到货！
¥765.00
Research Methods in Intercultural Communication 978111883743 现货图书
¥486.00
【预订】Synthetic Methods for Biologically Active Molecules Expl 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Modern Methods for Analysing Archaeological and Historic 美国库房发货，通常付款后3-5周到货！
¥4099
【预订】Numerical Methods for VIscosity Solutions and Applicatio 美国库房发货，通常付款后3-5周到货！
¥1001
【预订】Adaptive Methods of Computing Mathematics and Mechanics 美国库房发货，通常付款后3-5周到货！
¥1759
【预订】Innovative Methods for Numerical Solution of Partial Dif 美国库房发货，通常付款后3-5周到货！
¥1570
海外直订Robust Methods for Data Reduction 数据约简的鲁棒方法
¥1605
【预订】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
海外直订Formal Methods for the Design of Real-Time Systems: Inte
¥662.00
【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1751
【预订】Wavelet Methods for Solving Partial Differential Equatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138053816 Author 作者 Santanu Saha Ray and Arun Kumar Gupta Format 版本 精装 Pages Number 页数 272页 Publication Date 出版日期 2018-01-24 Language 语种 英语 Book Contents 内容简介 The main focus of the book is to implement wavelet based transform methods for solving problems of fractional order partial differential equations arising in modelling real physical phenomena. It explores analytical and numerical approximate solution obtained by wavelet methods for both classical and fractional order partial differential equations.
¥1967
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Formal Methods in Systems Biology 9783540684107 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways
¥548.00
【预售按需印刷】Iterative Methods for Approximating Eigenv
¥650.25
【预售 按需印刷】Research Methods for Public Health
¥504.05
预订 Formal Methods and Hybrid Real-Time Systems 国外库房发货，通常付款后3-5周到货
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车