【预订】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
【预订】Formal Methods for Components and Objects: 10th 美国库房发货，通常付款后3-5周到货！
¥548.00
预订 Arts Methods for the Self-Representation of Undergraduate 国外库房发货，通常付款后3-5周到货
¥558.00
【预订】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
海外直订PCR Methods in Foods 食品中的PCR方法
¥1325
预订 Research Methods [ISBN:9780415340762] 【全球购】进口原版图书，一般5-8周左右到国内
¥568.00
预订 Research Methods in Social Network Analysis [ISBN:9781138 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内
¥727.00
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥858.00
【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
海外直订Direct Methods for Solving Macromolecular Structures 求解大
¥2638
预订 Formal Methods: Foundations and Applications: 27th Brazil 国外库房发货，通常付款后3-5周到货
¥635.00
Bayesian Methods for Data Analysis 数据分析中的贝叶斯方法 精装
¥959.00
海外直订Mixing Methods in Psychology: The Integration of Qualita
¥655.00
【预订】Models and Methods of Magnetotellurics 9783540778110 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540778110 Author 作者 Mark N. Berdichevsky Lomonosov Moscow State University Dept Format 版本 精装 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-06 Shipping Weight 商品重量 1046g Language 语种 英语 Book Contents 内容简介 Magnetotelluric methods are finding increasing applications for imaging electrically conductive structures below the Earth`s surface in both industrial and academic research. In Models and Methods of Magnetotellurics, the authors provide a systematic approach to understanding the modern theory of ill-posed problems which is essential to making confident meaningful interpretation of magnetotelluric and magnetovariational soundings. The interpretation is conducted out in an interactive way, including the hypotheses tests and successive partial inversions with priority of the tippers,
¥2190
【预订】Advanced Methods of Pharmacokinetic and Pharmacodynamic 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475785623 Author 作者 D’Argenio Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 Springer US Publication Date 出版日期 2013-04-14 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1010g Language 语种 英语 Book Contents 内容简介 Advanced Methods of Pharmacokinetic and Pharmocodynamic Systems Analysis Volume 3 is vital to professionals and academicians working in drug development and bioengineering. Both basic and clinical scientists will benefit from this work.This book contains chapters by leading researchers in pharmacokinetic/pharmacodynamic modeling and will be of interest to anyone involved with the application of pharmacokinetic and pharmacodynamics to drug development. The use of mathematical modeling and associated computational methods is central to the study of the absorption, distribution and el
¥2190
海外直订Formal Methods for Components and Objects: Third Interna
¥662.00
海外直订Formal Methods for Web Services: 9th International Schoo
¥609.00
海外直订医药图书Methods for Computer Design of Diffractive Eleme...
¥2937
【3-6周达】Java Methods for Financial Engineering: Applications 【全球购】进口原版图书，一般3-6周左右到国内
¥1004
【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
预订 Legal Methods: Understanding and Using Cases and Statutes 国外库房发货，通常付款后3-5周到货
¥3581
【预订】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
预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1095
【3-6周达】Modern Methods of Igneous Petrology: Understanding Ma 【全球购】进口原版图书，一般3-6周左右到国内
¥689.00
海外直订Rapid Methods for Analysis of Biological Materials in th
¥659.00
【预订】Risk-Based Methods for Equipment Life Management: An App 美国库房发货，通常付款后3-5周到货！
¥1769
海外直订Formal Methods and Software Engineering: 12th Internatio
¥1318
【3-6周达】Direct Methods in the Theory of Elliptic Equations [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1298
预订 The New Methods of Funding of the Cinema in Bulgaria and 国外库房发货，通常付款后3-5周到货
¥647.00
按需印刷TF Methods for the Summation of Series 预订，预计下单后2-3周左右发货！
¥719.00
海外直订Formal Methods in Macro-Biology: First International Con
¥559.00
【预售 按需印刷】Asymptotic Methods for Integrals
¥1680.45
【3-6周达】RNA: Methods and Protocols [ISBN:9781493956432 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订医药图书Methods of Cancer Diagnosis, Therapy and Prognosis:
¥4707
预订 Visual Methods in Social Research 社会研究的视觉方法 9780761963639 国外库房发货，通常付款后3-5周到货
¥1282
【预订】Averaging Methods in Nonlinear Dynamical Systems Y978038 美国库房发货，通常付款后3-5周到货！
¥1000
【预售 按需印刷】Design Methods 2e 北京发货，付款后10天内发货
¥1233.48
预订 Toyota Methods and Operating Models: Achieve Business Suc 国外库房发货，通常付款后3-5周到货
¥2428
海外直订Toyota Methods and Operating Models: Achieve Business Su
¥1941
【预订】Numerical Methods for Roots of Polynomials - Part II 978 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444527301 Author 作者 McNamee Format 版本 精装 Pages Number 页数 728页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2013-08-01 Shipping Weight 商品重量 1210g Language 语种 英语 Book Contents 内容简介 Field Theory and Polynomials; Numerical Analysis
¥1620
3-6周达 Matrix Methods for Advanced Structural Analysis [ISBN: 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1819
预订 New Methods in Reading Comprehension Research [ISBN:97811 【全球购】进口原版图书，一般5-8周左右到国内
¥1841
【3-6周达】The Methods of Contemporary Thought [ISBN:97894010358 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Neutrophil Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥2190
【预订】Integrated Methods in Protein Biochemistry 9780323992664 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323992664 Author 作者 Shukla Format 版本 精装 Pages Number 页数 474页 Publisher 出版社 Academic Press Publication Date 出版日期 2022-10-10 Language 语种 其它（含多语）
¥2122
海外直订Recent Methods from Statistics and Machine Learning for
¥494.00
【预订】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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车