预订 Basic Methods in Protein Purification and Analysis: A Lab 【全球购】进口原版图书，一般5-8周左右到国内
¥764.00
【预订】Formal Methods in Computer-Aided Design 9783540651918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540651918 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 538页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-10-21 Language 语种 英语
¥548.00
【预订】Spectral Methods for Operators of Mathematical Physics 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764371333 Author 作者 Jas Format 版本 精装 Pages Number 页数 244页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2004-10-25 Language 语种 英语 Book Contents 内容简介 This book presents recent results in the following areas: spectral analysis of one-dimensional Schroedinger and Jacobi operators, discrete WKB analysis of solutions of second order difference equations, and applications of functional models of non-selfadjoint operators.
¥1643
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204916 Author 作者 jm Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-10 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in th
¥548.00
海外直订Coring Methods and Systems 取心方法和系统
¥1464
【3-6周达】Kernel Methods for Machine Learning with Math and Pyt 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
【3-6周达】Schwarz Methods and Multilevel Preconditioners for Bo 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Golgi: Methods and Protocols [ISBN:9781071626412] 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
预订Research Methods in Psychology [ISBN:9780077825362] 【全球购】进口原版图书，约3-6周到达国内后发出
¥3222
【预订】Research Methods for Community Change: A Y9781412994057 美国库房发货，通常付款后3-5周到货！
¥1134
【预订】Claudins: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Nonlinear Engineering Models 97894 美国库房发货，通常付款后3-5周到货！
¥2738
【预订】Modern Methods for Multidimensional Dynamics Computation 美国库房发货，通常付款后3-5周到货！
¥2707
预订 Design Methods and Practices for Research of Project Mana 国外库房发货，通常付款后3-5周到货
¥1958
【预订】Iterative Methods for Approximate Solution of Inverse Pr 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048167982 Author 作者 Bakushinsky Format 版本 平装-胶订 Pages Number 页数 291页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-08 Language 语种 英语 Book Contents 内容简介 This volume presents a unified approach to constructing iterative methods for solving irregular operator equations and provides rigorous theoretical analysis for several classes of these methods. The analysis of methods includes convergence theorems as well as necessary and sufficient conditions for their convergence at a given rate. The principal groups of methods studied in the book are iterative processes based on the technique of universal linear approximations, stable gradient-type processes, and methods of stable continuous approximations. Compared to existing monographs and textbooks on ill-posed problems, the main distinguishing feature of the presented approac
¥548.00
【预订】Models and Methods of Magnetotellurics 9783642096587 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642096587 Author 作者 Mark N. Berdichevsky Lomonosov Moscow State University Dept Format 版本 平装-胶订 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-13 Shipping Weight 商品重量 896g 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 ti
¥2190
【预订】Modern Methods for Theoretical Physical Chemistry of Bio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444522207 Author 作者 Starikov Format 版本 精装 Pages Number 页数 604页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2006-09-01 Shipping Weight 商品重量 1250g Language 语种 英语 Book Contents 内容简介 Physical and Theoretical Chemistry; Biophysical Chemistry
¥3624
【预订】Antibody Methods and Protocols 9781493959303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493959303 Author 作者 Gabriele Proetzel The Jackson Laboratory Bar Harbor ME U Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 10 x 7 x 0.7 cm Shipping Weight 商品重量 647g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it
¥1588
【预订】Synthetic Methods for Conjugated Polymer and Carbon Mate 美国库房发货，通常付款后3-5周到货！
¥2059
【预订】Research Methods in Sign Language Studies 9781118271421 美国库房发货，通常付款后3-5周到货！
¥590.00
【预订】Formal Methods: Foundations and Applications 97830312247 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031224751 Author 作者 Lucas Lima Format 版本 平装-胶订 Pages Number 页数 143页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-12-18 Language 语种 其它（含多语）
¥603.00
【预订】Formal Methods in Computer Science 9780367225704 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
¥2035
【预订】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
【预订】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
【预订】Molecular Methods for Microbial Identification and Typin 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods of Physiological System Modeling: Volum 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Formal Methods 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods in Distance Education: Applications and 美国库房发货，通常付款后3-5周到货！
¥727.00
【预订】Numerical Methods in Engineering & Science 97804124 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Models & Methods for Project Selection: Concepts from Ma 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Efficient Methods for Pyran-Heterocycles Via Domino Reac 美国库房发货，通常付款后3-5周到货！
¥941.00
【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】On Methods, Volume 2: Books III-IV. on Regressus [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥553.00
3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥1518
【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内
¥820.00
【预订】Hox Genes: Methods and Protocols 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods in Social Studies Education: Contempora 美国库房发货，通常付款后3-5周到货！
¥1273
【预订】Neurons: Methods and Applications for the Cell Biologist 美国库房发货，通常付款后3-5周到货！
¥2026
【预订】Numerical Methods for Optimal Control Problems with Stat 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662143 Author 作者 Pytlak Format 版本 平装-胶订 Pages Number 页数 218页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-08-19 Language 语种 英语 Book Contents 内容简介 While optimality conditions for optimal control problems with state constraints have been extensively investigated in the literature the results pertaining to numerical methods are relatively scarce. This book fills the gap by providing a family of new methods. Among others, a novel convergence analysis of optimal control algorithms is introduced. The analysis refers to the topology of relaxed controls only to a limited degree and makes little use of Lagrange multipliers corresponding to state constraints. This approach enables the author to provide global convergence analysis of first order and superlinearly convergent second order methods. Further, the implementatio
¥548.00
【预订】Simulation Methods for Polymers 9780367446574 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367446574 Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语
¥773.00
预订Research Methods For Business, Eighth EMEA Edition 预订，预计下单后2-3周左右发货！
¥788.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2011
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【预订】Scientific Methods for the Treatment of Uncertainty in S 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319197036 Author 作者 Gil-Aluja Format 版本 平装-胶订 Pages Number 页数 444页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-06-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 700g Language 语种 英语 Book Contents 内容简介 This book is a collection of selected papers presented at the SIGEF conference, held at the Faculty of Economics and Business of the University of Girona (Spain), 06-08 July, 2015.This edition of the conference has been presented with the slogan “Scientific methods for the treatment of uncertainty in social sciences”. There are different ways for dealing with uncertainty in management. The book focuses on soft computing theories and their role in assessing uncertainty in a complex world.It gives a comprehensive overview of quantitative management topics and d
¥1095
【预订】Analytical Methods for Energy Diversity and Security: Po 美国库房发货，通常付款后3-5周到货！
¥2239
【预订】Practical Methods in Cardiovascular Research 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Asymptotic Methods in Fluid Mechanics: Survey and 美国库房发货，通常付款后3-5周到货！
¥3033
【预订】Current Methods of Construction Design: Proceedings of t 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030331450 Author 作者 Medveck? Format 版本 平装-胶订 Pages Number 页数 535页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-01-24 Language 语种 英语 Book Contents 内容简介 This conference proceeding presents contributions to the 59th International Conference of Machine Design (ICMD 2018), organized by the University of ?ilina, Faculty of Mechanical Engineering, Department of Design and Mechanical Elements. Discussing innovative solutions applied in engineering, the latest research and developments, and guidance on improving the quality of university teaching, it covers a range of topics, including:machine design and optimizationengineering analysistribology and nanotechnologyadditive technologieshydraulics and fluid mechanismsmodern materials and technologybiomechanicsbiomimicry; andinnovation
¥1643
【预订】Innovative Methods, User-Friendly Tools, Coding, and Des 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522559696 Author 作者 Steve Goschnick Format 版本 精装 Pages Number 页数 488页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2018-09-05 Language 语种 英语 Book Contents 内容简介 As modern technologies continue to develop and evolve, the ability of users to interface with new systems becomes a paramount concern. Research into new ways for humans to make use of advanced computers and other such technologies is necessary to fully realize the potential of twenty-first-century tools. Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming is a critical scholarly resource that examines development and customization user interfaces for advanced technologies and how these interfaces can facilitate new developments in various fields. Featuring coverage on a broad range of topics such as role-based mod
¥1840
【预订】Microarray Methods and Protocols 9781138406995 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138406995 Author 作者 Robert S. Matson Format 版本 精装 Pages Number 页数 245页 Publication Date 出版日期 2017-08-29 Language 语种 英语 Book Contents 内容简介 Offers insights into the uses of micro array technology. This book describes the application of gene expression arrays to identify drug targets for human diseases and to predict possible drug toxicity problems.
¥2441
【预订】Modern Methods of Construction 美国库房发货，通常付款后3-5周到货！
¥1013
【预订】Numerical Methods for Electromagnetic Scattering by 美国库房发货，通常付款后3-5周到货！
¥1325
【3-6周达】Testing Methods and Reliability - Power [ISBN:9781349 【全球购】进口原版图书，一般3-6周左右到国内
¥1362
【3-6周达】Research Methods in Social Studies Education: Contemp 【全球购】进口原版图书，一般3-6周左右到国内
¥816.00
预订 按需印刷 Methods of Literacy Research
¥520.20
海外直订PCR Methods in Foods 食品中的PCR方法
¥1325
海外直订New Methods Polymer Synthesis 高分子合成新方法
¥659.00
按需印刷Visual Methods in Social Research 预订，预计下单后2-3周左右发货！
¥648.00
【预订】MicroRNA Methods 美国库房发货，通常付款后3-5周到货！
¥2399
【3-6周达】Formal Methods – Fun for Everybody [ISBN:978303071373 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车