按需印刷TF Methods for the Summation of Series 预订，预计下单后2-3周左右发货！
¥719.00
【预订】Formal Methods for Distributed System Development 978079 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780792379683 Author 作者 Bolognesi Format 版本 精装 Pages Number 页数 412页 Publisher 出版社 Springer US Publication Date 出版日期 2000-09-30 Language 语种 英语 Book Contents 内容简介 th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --’Fonna! Methods? Implementation Under Test’ --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM’s), with their conflicts between evangelistic and agnostic attitudes, with their over? optimistic applications t
¥2190
【预订】Formal Methods: Applications and Technology 978354070951 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540709510 Author 作者 Lubos Brim Format 版本 平装-胶订 Pages Number 页数 366页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-02-20 Language 语种 英语 Book Contents 内容简介 These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency Theory that was or- nized in Bonn, August 2006. The FMICS workshop continued successfully the aim of the FMICS working group – to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. The emphasis in these workshops is on the exchange of ideas
¥548.00
【预订】Separation Methods In Microanalytical Systems 9780367578 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367578039 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Focusing on what has been one of the driving forces behind the development of lab-on-a-chip devices, Separation Methods in Microanalytical Systems explores the implementation, realization, and operation of separation techniques and related complex workflows on microfabricated devices. The book details the design, manufacture, and integration of diverse components needed to perform an entire analytical procedure on a single miniaturized device. The content applies to a diversity of disciplines including chemical analysis, biomedical diagnostics, environmental monitoring, and drug discovery. Separation Methods in Microanalytical Systems lays its theoretical background in a
¥611.00
【预订】Numerical Methods in Electromagnetics 9780444513755 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444513755 Author 作者 SCHILDERS Format 版本 精装 Pages Number 页数 928页 Publisher 出版社 North-Holland Publishing Co. Publication Date 出版日期 2005-05-01 Shipping Weight 商品重量 1630g Language 语种 英语 Book Contents 内容简介 Electromagnetics, Signal Processing and Communications; Numerical Methods in Engineering
¥4158
【预订】Kernel Methods and Machine Learning 美国库房发货，通常付款后3-5周到货！
¥1137
【3-6周达】Payment Methods and Finance for International Trade ( 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
海外直订Modern Methods of Organic Synthesis 现代有机合成方法
¥1269
海外直订医药图书Methods In Research And Development Of Biomedical De
¥1155
海外直订RNA: Methods and Protocols RNA:方法和协议
¥1988
按需印刷TF Methods in Human Animal Studies 预订，预计下单后4-6周左右发货
¥2142
【预订】Separation Methods in Drug Synthesis and Purification, V 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780444640703 Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 Elsevier Science Publication Date 出版日期 2020-06-01 Product Dimensions 商品尺寸 9 x 5.9 x 1.5 cm Shipping Weight 商品重量 2290g Language 语种 英语
¥3198
【预订】Bilevel Methods for Image Reconstruction 9781638280026 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781638280026 Author 作者 Caroline Crockett Format 版本 平装-胶订 Pages Number 页数 184页 Publisher 出版社 Now Publishers Publication Date 出版日期 2022-05-30 Product Dimensions 商品尺寸 15.6x1.02x23.39cm Shipping Weight 商品重量 268 g Language 语种 其它（含多语） Book Contents 内容简介 Methods for image recovery and reconstruction aim to estimate a good-quality image from noisy, incomplete, or indirect measurements. Such methods are also known as computational imaging. New methods for image reconstruction attempt to lower complexity, decrease data requirements, or improve image quality for a given input data quality.?Image reconstruction typically involves optimizing a cost function to recover a vector of unknown variables that agrees with collected measurements and prior assumptions. State-of-the-art image reconstruction methods learn thes
¥1101
【3-6周达】Methods in Computational Chemistry: Volume 2 Relativi 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Numerical Methods for Fluid Dynamics V 美国库房发货，通常付款后3-5周到货！
¥637.00
【预订】Interferon Methods and Protocols Y9781588294180 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】General Methods and Overviews, Lung Carcinoma and 美国库房发货，通常付款后3-5周到货！
¥3285
海外直订Formal Methods: Foundations and Applications: 14th Brazi
¥662.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法
¥1988
海外直订Formal Methods and Software Engineering: 10th Internatio
¥659.00
海外直订piRNA: Methods and Protocols 方法和协议
¥2713
【预订】Formal Methods and Software Engineering 9783030024499 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030024499 Author 作者 Sun Format 版本 平装-胶订 Pages Number 页数 474页 Publication Date 出版日期 2018-10-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
¥548.00
预订Research Methods for Clinical and Health Psychology [ISBN: 【全球购】进口原版图书，约3-6周到达国内后发出
¥869.00
【3-6周达】New Methods of Thought and Procedure: Contributions t 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Modern Methods of Analytical Mechanics and Their Applicat 【全球购】进口原版图书，约3-6周到达国内后发出
¥536.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
【预订】Bayesian Methods in Epidemiology 9780367576349 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367576349 Author 作者 Lyle D. Broemeling Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 860g Language 语种 英语 Book Contents 内容简介 Written by a biostatistics expert with over 20 years of experience in the field, Bayesian Methods in Epidemiology presents statistical methods used in epidemiology from a Bayesian viewpoint. It employs the software package WinBUGS to carry out the analyses and offers the code in the text and for download online.The book examines study designs that investigate the association between exposure to risk factors and the occurrence of disease. It covers introductory adjustment techniques to compare mortality between states and regression methods to study the association between various risk factors and disease, including logisti
¥611.00
【预售 按需印刷】Modern Methods of Teaching
¥981.75
【预订】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
预订Bayesian Methods in Statistics:From Concepts to Practice 预订，预计下单后3-6周左右发货！
¥614.00
【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货
¥570.00
预订 Mixed Methods in Criminology Routledge 舞蹈研究读本: 9781138309 国外库房发货，通常付款后3-5周到货
¥1958
海外直订Modern Methods in Analytical Morphology 现代分析形态学方法
¥662.00
【预订】mRNA Decay:Methods and Protocols 9781493985159 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493985159 Format 版本 平装-胶订 Publisher 出版社 Springer New York Publication Date 出版日期 2018-08-30 Language 语种 其它（含多语）
¥1205
【预订】Analytical Methods in Fuzzy Modeling and Control 9783642 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642100642 Author 作者 Jacek Kluska Format 版本 平装-胶订 Pages Number 页数 251页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-21 Shipping Weight 商品重量 433g Language 语种 英语 Book Contents 内容简介 This book is focused on mathematical analysis and rigorous design methods for fuzzy control systems based on Takagi-Sugeno fuzzy models, sometimes called Takagi-Sugeno-Kang models.
¥1643
【预订】Formal Methods for Components and Objects 9783642041662 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642041662 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 299页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-07 Shipping Weight 商品重量 480g Language 语种 英语 Book Contents 内容简介 All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and th
¥548.00
【预订】Analytic Methods for Design Practice 9781846284724 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781846284724 Author 作者 Gyung-Jin Park Format 版本 精装 Pages Number 页数 627页 Publisher 出版社 Springer London Publication Date 出版日期 2007-02-15 Language 语种 英语 Book Contents 内容简介 In the competitive world of modern engineering, rigorous and definite design methodologies are needed. However, many parts of engineering design are performed in either an ad-hoc manner or based on the intuition of the engineer. This is the first book to look at both stages of the design process – conceptual design and detailed design – and detail design methodologies for every step of the design process. The following analytic design methodologies are introduced and their usefulness is explored with many mathematical and practical examples: Axiomatic design; Optimization; Design of experiments; Robust design; Structural optimization; Dynamic response optimization; and Mult
¥1095
【预订】Lie Methods in Deformation Theory 9789811911842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811911842 Author 作者 Marco Manetti Format 版本 精装 Pages Number 页数 548页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-06-12 Language 语种 其它（含多语） Book Contents 内容简介 This book furnishes a comprehensive treatment of differential graded Lie algebras, L-infinity algebras, and their use in deformation theory. We believe it is the first textbook devoted to this subject, although the first chapters are also covered in other sources with a different perspective.Deformation theory is an important subject in algebra and algebraic geometry, with an origin that dates back to Kodaira, Spencer, Kuranishi, Gerstenhaber, and Grothendieck. In the last 30 years, a new approach, based on ideas from rational homotopy theory, has made it possible not only to solve long-standing open problems, but also to clarify the general theory and
¥1643
Research Methods for Construction 5th ed. 现货图书
Product Details 基本信息 ISBN-13 书号 9781119814733 Author 作者 Richard Fellows Pages Number 页数 384页 Publisher 出版社 Publication Date 出版日期 20211108 Product Dimensions 商品尺寸
¥512.00
【预订】Numerical Methods in Engineering 9781009211802 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781009211802 Author 作者 Amiya K. Jana Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2023-08-01 Product Dimensions 商品尺寸 242 x 155 mm Language 语种 其它（含多语） Book Contents 内容简介 Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chapter starts with the formulation and graphical representation of the numerical method. This is followed by the algorithms required to create computer assisted solutions and simulations, which are then applied on real-world examples and case studies to show how exactly they are used. Finally, the strengths and weaknesses of the numerical method under discussion is explained, thus helping the reader
¥991.00
【3-6周达】Serpins: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥563.00
Numerical Methods in Economics
¥681.70
【预订】Research Methods in Language Learning 美国库房发货，通常付款后3-5周到货！
¥657.00
【3-6周达】Mixed Methods Research for Social Work: Integrating M 【全球购】进口原版图书，一般3-6周左右到国内
¥1319
【预订】Analytic Methods in Sports 9780367252076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367252076 Author 作者 Thomas A. Severini Format 版本 精装 Pages Number 页数 356页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 This book provides a concise yet thorough introduction to the analytic and statistical methods that are useful in studying sports. It explains how to apply the methods to sports data and interpret the results, demonstrating that the analysis of sports data is often different from standard statistical analyses.
¥2035
【预订】Bayesian Methods for Management and Business: Pragmatic 美国库房发货，通常付款后3-5周到货！
¥1840
【预订】Interval Methods for Systems of Equations 美国库房发货，通常付款后3-5周到货！
¥700.00
【预订】Numerical Methods for Image Registration 美国库房发货，通常付款后3-5周到货！
¥2135
【预订】Practical Methods for Reliability Data Analysis 美国库房发货，通常付款后3-5周到货！
¥2588
【预订】Research Methods for Clinical Therapists: Applied 美国库房发货，通常付款后3-5周到货！
¥734.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车