【3-6周达】Formal Methods and Software Engineering: 22nd Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Matter and Methods at Low Temperatures 9783540463566 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540463566 Author 作者 Frank Pobell Format 版本 平装-胶订 Pages Number 页数 461页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-08 Language 语种 英语 Book Contents 内容简介 Success of a product is determined by the market. I am therefore very pleased that the rst two editions of this book have been sold out, and that the publisher has asked me to work on a third, revised and expanded edition. - viously,thereisstilldemandfor“MatterandMethodsatLowTemperatures”, even almost 15 years after publication of the ?rst edition. Before working on this revision, I had written to more than 20 expert colleagues to ask for their recommendations for revisions. Besides details, the essence of their response was the following (1) Essentially, leave as it is; (2) AddmoreinformationonpropertiesofmaterialsatT> 1K;(3)Addinfor- tion on suppliers of l
¥985.00
【预订】Sampling Methods, Remote Sensing and GIS Multiresource F 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540325710 Author 作者 K?hl Format 版本 精装 Pages Number 页数 373页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-14 Language 语种 英语 Book Contents 内容简介 When we talk about forests, we talk about 30% of our planet’s land surface 6 area. In 2000 there was an estimated 3 870×10 ha of forest worldwide, of which 1 5% is in forest plantations and 95% in natural forests (FAO 2003). Forests are not only a source for timber; they also generate significant nonwood goods and services, mitigate climate change, conserve biological diversity, provide prot- tion from natural hazards, and not least: provide recreational areas for an increasingly urbanized world population. The availability of timber and n- wood goods and services is waning as deforestation and degradation of tro- cal forests continue. While forest area has stabilized or is
¥3042
【预订】Stochastic Methods 9783642089626 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642089626 Author 作者 Crispin Gardiner Format 版本 平装-胶订 Pages Number 页数 447页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-19 Shipping Weight 商品重量 712g Language 语种 英语 Book Contents 内容简介 This fourth edition of Stochastic Methods is thoroughly revised and augmented, and has been completely reset. While keeping to the spirit of the book I wrote originally, I have reorganised the chapters of Fokker-Planck equations and those on appr- imation methods, and introduced new material on the white noise limit of driven stochastic systems, and on applications and validity of simulation methods based on the Poisson representation. Further, in response to the revolution in nancial m- kets following from the discovery by Fischer Black and Myron Scholes of a reliable option pricing formula, I have written a chapter o
¥932.00
【预订】Formal Methods for Computational Systems Biology 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540688921 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 527页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-20 Shipping Weight 商品重量 819g Language 语种 英语
¥548.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥548.00
【预订】Formal Methods for Industrial Critical Systems 978354079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540797067 Author 作者 Stefan Leue Universit?t Konstanz FB Informatik und Konstan Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-19 Shipping Weight 商品重量 412g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods an
¥548.00
预订 New Methods in Cognitive Psychology [ISBN:9781848726307] 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【预订】Algebraic Methods in General Rough Sets 9783030011611 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030011611 Author 作者 Mani Format 版本 精装 Pages Number 页数 747页 Publication Date 出版日期 2019-01-25 Language 语种 英语 Book Contents 内容简介 This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approx
¥1424
【预订】Epistasis: Methods and Protocols 9781493942756 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Cilia: Methods and Protocols 9781493937875 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Numerical Methods for Nonlinear Partial Differential Equ 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Research Methods for Studying Groups and Teams: A Guide 美国库房发货，通常付款后3-5周到货！
¥1958
【预订】Research Methods for Nursing and Healthcare 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！
¥2100
【预订】Numerical Methods and Modelling for Engineering 97833192 美国库房发货，通常付款后3-5周到货！
¥876.00
【预订】Numerical Methods in Fluid Dynamics 9783642963728 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods and Optimization: A Consumer Guide 978 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods in Markov Chains and Bulk Queues 97835 美国库房发货，通常付款后3-5周到货！
¥548.00
预订 Models, Methods, and Morality: Assessing Modern Approache 国外库房发货，通常付款后3-5周到货
¥2595
【预订】Direct Methods in the Theory of Elliptic Equations 97836 美国库房发货，通常付款后3-5周到货！
¥1314
【预订】Particle Methods for Multi-Scale and Multi-Physics 97898 美国库房发货，通常付款后3-5周到货！
¥1744
【预订】Advanced Methods and Applications in Computational Intel 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Ecological Methods, 4th Edition 9781118895276 美国库房发货，通常付款后3-5周到货！
¥2206
【预订】Analytic Methods in Interdisciplinary Applications 97833 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Adaptive Methods in Underwater Acoustics 9789401088640 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】In Silico Methods for Predicting Drug Toxicity 978149393 美国库房发货，通常付款后3-5周到货！
¥1643
按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！
¥740.00
海外直订Mtor: Methods and Protocols 方法和协议
¥1850
海外直订Krylov Methods for Nonsymmetric Linear Systems: From The
¥1317
海外直订Formal Methods and Software Engineering: 5th Internation
¥1318
预订Research Methods: A Tool for Life [ISBN:9781108456746] 【全球购】进口原版图书，约3-6周到达国内后发出
¥766.00
【预订】Modeling Methods for Medical Systems Biology: Regulatory 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030077488 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-26 Language 语种 英语
¥1095
【预订】Adenovirus Methods and Protocols 9781617378355 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617378355 Author 作者 Wold Format 版本 平装-胶订 Pages Number 页数 362页 Publication Date 出版日期 2010-11-10 Language 语种 英语 Book Contents 内容简介 Adenovirus Methods and Protocols, Second Edition, now in two volumes, is an essential resource for adenovirus (Ad) researchers beginning in the field, and an inspirational starting point for researchers looking to branch into new areas of Ad study. In addition to updating and expanding important chapters from the first edition, the authors have added new chapters that address innovative, exciting areas of emphasis in Ad research, including Ad vector construction and use, real-time PCR, use of new animal models, and methods for quantification of Ad virus or virus expression/interactions. Each of the protocols presented in these volumes is written by trendsetting researchers in their respective areas of expertise. Volume 1
¥1643
【预订】Geometric Methods in Signal and Image Analysis 978110703 美国库房发货，通常付款后3-5周到货！
¥899.00
【预订】Geometric Methods in Physics 9783319317557 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods using MATLAB 9781484201558 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Nonlinear Methods of Spectral Analysis 9783540123866 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Apoptosis Methods in Toxicology 9781493935864 美国库房发货，通常付款后3-5周到货！
¥1533
【预订】Relational Methods for Computer Science Applications 978 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Geological Methods in Mineral Exploration and Mining 978 美国库房发货，通常付款后3-5周到货！
¥1753
【预订】Research Methods for Postgraduates 3E 9781118341469 美国库房发货，通常付款后3-5周到货！
¥748.00
【预订】Spectral Methods in Transition Metal Complexes 978012809 美国库房发货，通常付款后3-5周到货！
¥746.00
【预订】Formal Methods for Multicore Programming 9783319189406 美国库房发货，通常付款后3-5周到货！
¥525.00
【预订】Conformal Methods in General Relativity 9781107033894 美国库房发货，通常付款后3-5周到货！
¥1182
【预订】Time and Methods in Environmental Interfaces Modelling 9 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444639189 Author 作者 Mihailovi, Dragutin T. Format 版本 精装 Pages Number 页数 412页 Publisher 出版社 Elsevier Publication Date 出版日期 2016-11-14 Shipping Weight 商品重量 1010g Language 语种 英语
¥1440
【预订】Formal Methods for Safety and Security 9789811041204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811041204 Author 作者 Jeppu, Yogananda Format 版本 精装 Publisher 出版社 Springer Singapore Publication Date 出版日期 2017-05-01 Language 语种 英语 Book Contents 内容简介 This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
¥1314
海外直订Formal Methods and Software Engineering: 17th Internatio
¥662.00
海外直订The Methods of Plane Projective Geometry Based on the Us
¥607.00
【3-6周达】Formal Methods and Software Engineering [ISBN:9783031 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Integral Methods in Science and Engineering: Analytic an 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Formal Methods and Stochastic Models for Performance Eva
¥662.00
【预订】Integrated Methods in Protein Biochemistry 9780443185922 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780443185922 Format 版本 精装 Pages Number 页数 494页 Publisher 出版社 Academic Press Publication Date 出版日期 2023-03-20 Product Dimensions 商品尺寸 9.00 x 6.00 x 1.06 Shipping Weight 商品重量 1.82 Language 语种 其它（含多语） Book Contents 内容简介 Integrated Methods in Protein Biochemistry: Part C, Volume 679 in the Methods in Enzymology series, highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including NanoBiT-based methods to monitor the activation and modulation of RTKs, The interplay of G-protein ss subunit and PLC-ss enzyme in PIP2 hydrolysis and downstream signaling, Biochemical Analysis of Protein-Protein Interfaces underlying the regulation of Bacterial Secretion Systems, Probing the structure and function of N-acetylmannosamine-6-phosphate 2-epimerase, Spectroscopic analysi
¥2122
【预订】Numerical Methods and Stochastics 9780821819944 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821819944 Author 作者 T. J. Lyons Format 版本 精装 Pages Number 页数 121页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2002-11-30 Language 语种 其它（含多语） Book Contents 内容简介 This volume represents the proceedings of the Workshop on Numerical Methods and Stochastics held at The Fields Institute in April 1999. The goal of the workshop was to identify emerging ideas in probability theory that influence future work in both probability and numerical computation. The book focuses on new results and gives novel approaches to computational problems based on the latest techniques from the theory of probability and stochastic processes. Three papers discuss particle system approximations to solutions of the stochastic filtering problem. Two papers treat particle system equations. The paper on "rough paths" describes
¥767.00
【预订】Bayesian Methods for Data Analysis, Third Edition 978158 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781584886976 Author 作者 Bradley P. Carlin and Thomas A. Louis Format 版本 精装 Pages Number 页数 552页 Publication Date 出版日期 2008-06-30 Shipping Weight 商品重量 884g Language 语种 英语 Book Contents 内容简介 This proven text provides an accessible introduction to the foundations and applications of Bayesian analysis. Broadening its scope to nonstatisticians, this edition concentrates more on hierarchical Bayesian modeling as implemented via MCMC methods and related data analytic techniques. It contains a reader-friendly introduction to hierarchical statistical modeling, a new chapter on Bayesian design that emphasizes Bayesian clinical trials, a completely revised and expanded section on ranking and histogram estimation, and a new case study on infectious disease modeling and the 1918 flu epidemic. This edition includes new data examples, corresponding R and Wi
¥1017
【预订】Subspace Methods for System Identification 9781849969888 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781849969888 Author 作者 Katayama Format 版本 平装-胶订 Pages Number 页数 392页 Publication Date 出版日期 2010-10-19 Language 语种 英语 Book Contents 内容简介 An in-depth introduction to subspace methods for system identification in discrete-time linear systems thoroughly augmented with advanced and novel results, this text is structured into three parts. Part I deals with the mathematical preliminaries: numerical linear algebra; system theory; stochastic processes; and Kalman filtering. Part II explains realization theory as applied to subspace identification. Stochastic realization results based on spectral factorization and Riccati equations, and on canonical correlation analysis for stationary processes are included. Part III demonstrates the closed-loop application of subspace identification methods. Subspace Methods for System Identification is an excellent reference
¥1842
【预订】Formal Methods in Human-Computer Interaction 97835407615 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540761587 Author 作者 Palanque Format 版本 平装-胶订 Pages Number 页数 376页 Publication Date 出版日期 1997-10-29 Product Dimensions 商品尺寸 9.2 x 6.2 x 0.9 cm Shipping Weight 商品重量 1330g Language 语种 英语 Book Contents 内容简介 Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each
¥548.00
【预订】Computer Methods for Analysis of Mixed-Mode Switching Ci 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954527 Author 作者 Yuan Format 版本 平装-胶订 Pages Number 页数 352页 Publication Date 出版日期 2010-12-07 Language 语种 英语 Book Contents 内容简介 Computer Methods for Analysis of Mixed-Mode Switching Circuits provides an in-depth treatment of the principles and implementation details of computer methods and numerical algorithms for analysis of mixed-mode switching circuits. Major topics include: -Computer-oriented formulation of mixed-mode switching circuits, -Network functions of linear and nonlinear time-varying systems, -Numerical Laplace inversion based integration algorithms and inconsistent initial conditions, -Time domain analysis of periodically switched linear and nonlinear circuits including response, sensitivity, noise, clock jitter, and statistical quantities, -Time domain analysis of circuits with internally controlled switches and over-sampled sigma-d
¥1095
【预订】Formal Methods and Software Development. Proceedings of 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540151999 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 459页 Publication Date 出版日期 1985-03-01 Language 语种 英语
¥515.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车