【预订】Formal Methods for Safety and Security: Case Studies for 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811350542 Format 版本 平装-胶订 Pages Number 页数 132页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1205
海外直订Formal Methods and Software Engineering: 21st Internatio
¥662.00
海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Prognosis:
¥3976
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561
海外直订New Methods and Results in Non-Linear Field Equations: P
¥662.00
海外直订Mtor: Methods and Protocols 方法和协议
¥1850
预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货
¥769.00
海外直订Mixed Methods Research Design for the Built Envi... 建筑环境
¥2353
【中商原版】Asymptotic Methods In The Theory Of Plates With Mixed IgorAndrianov
¥1673
【预订】Formal Methods: Foundations and Applications: 16th Brazi 【全球购】进口原版图书，一般10-12周左右到国内
¥535.00
预订 Novel Methods for Solving Linear and Nonlinear Integral E 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
预订 Diverse Methods in Customer Relationship Marketing and Ma 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1756
【预订】Sepsis: Methods and Protocols [ISBN:9781071614907] 【全球购】进口原版图书，一般10-12周左右到国内
¥1395
【预订】Snares: Methods and Protocols [ISBN:9781493987597] 【全球购】进口原版图书，一般10-12周左右到国内
¥1684
【预订】Numerical Methods in Computational Mechanics 97814987467 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498746755 Format 版本 精装 Pages Number 页数 332页 Publication Date 出版日期 2016-11-17 Language 语种 英语 Book Contents 内容简介 This book suits a graduate course in mechanics based disciplines, and will help software developers in computational mechanics. It explores the numerical algorithms underpinning finite element software, covering all the major numerical methods used in computational mechanics. It reviews the basic concepts in linear algebra and advanced matrix theory, before covering solutions of systems of equations, symmetric eigenvalue solution methods, and direct integration of discrete dynamic equations of motion, illustrated with numerical examples.
¥1276
Research Methods for Business 8th Edition Asia Edition 97811 国外库房发货, 通常付款后2-3周到货
Product Details 基本信息 ISBN-13 书号 9781119683537 Author 作者 Uma Sekaran Format 版本 平装-胶订 Pages Number 页数 432页 Publisher 出版社 Wiley Publication Date 出版日期 2019-12-02 Language 语种 其它（含多语）
¥829.00
【预售 按需印刷】Numerical Methods in Variational Problems 北京发货，付款后10天内发货
¥814.00
【预售 按需印刷】Matrix Methods and Fractional Calculus
¥1041.25
预订 Entropy Methods for Diffusive Partial Differential Equati 国外库房发货，通常付款后3-5周到货
¥821.00
预订 Formal Methods for Industrial Critical Systems: 29th Inte 国外库房发货，通常付款后3-5周到货
¥635.00
预售 按需印刷 Methods, Models, and Computation for Medic对于医学信息的方法、 北京发货，付款后10天内发货
¥1878.75
¥2269.5
预订 Exact Methods for Nonlinear Pdes: 9781032710518 国外库房发货，通常付款后3-5周到货
¥1768
预订 按需印刷 Methods of Literacy Research
¥520.20
【预售 按需印刷】Entry mode Methods for Foreign Direct Investment to
¥528.70
预订 按需印刷 Methods in Reproductive Aquaculture
The large amount of information on fish reproduction available is not always readily accessible to all interested parties. Written to appeal to aquaculturalists, conservation managers, and scientific researchers, Methods in Reproductive Aquaculture provides an overview of available techniques and addresses ways to improve depleted stocks of endangered fish and other species.The book focuses on gamete quality and management, exploring new objectives and areas of application and research, and new tools to deal with some aspects in reproduction of aquatic species. It begins with an examination of basic methods and techniques for gamete extraction, mainly sperm collection and egg stripping in different species, then describes techniques of spawning stimulation in males and females. The volume then highlights sperm and egg quality evaluation and considers sperm analysis from a practical broodstock management point of view and in the selection of appropriate breeders. The book goes on to discuss techniques
¥2047.65
【预订】Bayesian Methods in Cosmology 美国库房发货，通常付款后3-5周到货！
¥581.00
【预订】Formal Methods for the Quantitative Evaluation of Collec 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Geometric Methods in Physics 9783319387451 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Matrix Methods in the Design Analysis of Mechanisms and 美国库房发货，通常付款后3-5周到货！
¥899.00
【预订】General Methods in Biomarker Research and their Applicat 美国库房发货，通常付款后3-5周到货！
¥5476
【预售 按需印刷】Methods Analysis of Musts 2e
¥4132.7
【预售按需印刷】Numerical Methods for Non-Stiff Differential Equatio
¥996.20
【预售 按需印刷】Research Methods in Palliative Care
¥707.20
【预售 按需印刷】Numerical Methods For Simulation
¥1101.6
【预订】Linguistic Methods Under Fuzzy Information in System Saf 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030933548 Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-12 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.46 Shipping Weight 商品重量 0.68 Language 语种 其它（含多语） Book Contents 内容简介 This book reviews and presents a number of approaches to Fuzzy-based system safety and reliability assessment. For each proposed approach, it provides case studies demonstrating their applicability, which will enable readers to implement them into their own risk analysis process. The book begins by giving a review of using linguistic terms in system safety and reliability analysis methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the 2-tuple fuzzy-based linguistic term set approach, fuzzy bow-tie analys
¥1533
【预售 按需印刷】Research Methods for Operations and Supply Chain Ma 北京直发，付款后10日内发货
¥611.15
【预售 按需印刷】Taguchi Methods for Robust Design 北京发货，付款后10天内发货
¥655.94
【预售 按需印刷】Numerical Methods for Solving Two-Point Boundary Va 北京发货，付款后10天内发货
¥1070.76
预订 按需印刷 Methods of Analysis for Functional Foods and Nutrace
¥2047.65
【预订】Kernel Methods for Pattern Analysis 美国库房发货，通常付款后3-5周到货！
¥1190
【预售 按需印刷】Real-Space Methods to Solve Protein Struc
¥888.25
预售 按需印刷 Methods to improve the freezability of the 北京发货，付款后10天内发货
¥1475
【预售 按需印刷】Stochastic methods for network comparison 北京发货，付款后10天内发货
¥754.00
预售 按需印刷 Methods for recognizing multispectral imag 北京发货，付款后10天内发货
¥957.00
【预售 按需印刷】Study of Methods Used to Locate Partial B 北京发货，付款后10天内发货
¥793.00
【预售 按需印刷】Methods of Soil and Plant Analysis
¥473.45
【预售 按需印刷】Modular Methods in the Supervisory Contro
¥996.20
【预售 按需印刷】Empirical Methods in Climate Modeling
¥898.45
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
【预订】Optical Methods for Managing the Diabetic Foot 978103246 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032463513 Author 作者 Saiko Format 版本 精装 Pages Number 页数 206页 Publisher 出版社 CRC Press Publication Date 出版日期 2023-12-11 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 This book discusses optical technologies for Diabetic Foot management. It combines the current medical literature review with an overview of the technology and physics behind it. Thus, it is a single-source introduction to the topic. It can also be used as a reference source and practical guide for the use of technology. The particular focus is on low-cost technologies, including hyperspectral imaging, thermography, and endogenous bacterial fluorescence. Moving diagnostic modalities closer to the patient (e.g., primary care) allows the disease to be detected at an earlier stage, thus improving outcomes. However, wh
¥1383
【预售 按需印刷】Methods Biochem Analysis V35
¥5239
【预售 按需印刷】Research Methods in Sign Langu
¥1065.05
【预订】Rank-Based Methods for Shrinkage and Selection 978111962 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119625391 Author 作者 A.K. Md. Ehsanes Saleh Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 Wiley Publication Date 出版日期 2022-02-28 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 The book aims to accumulate the different theory and methods for selection and shrinkage estimation based on rank order. These theories are intended to be systematically organized to serve as a guide for researchers in this field. Ridge regression and LASSO are at the center of all penalty estimators in a range of standard models that are used in many applied statistical analysis and machine learning. Written by noted experts in this field, this book contains a through introduction to robust rank-based penalty and shrinkage estimations and explores role of ridge, LASSO and Elastic Net play in the computer intu
¥1589
【预订】Unique Methods For Analyzing Failures And Catastrophic E 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119748250 Author 作者 Anthony Sofronas Format 版本 精装 Pages Number 页数 336页 Publisher 出版社 Wiley Publication Date 出版日期 2022-05-16 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它（含多语） Book Contents 内容简介 Design and fabrication problems are ever present in both new and existing manufacturing unit equipment. Sometimes the potential problems that could arise are caused by field changes to the physical design and/or operation of equipment. This book is vital to the practicing engineer who must work under the pressures of safe process operation. Unique Methods for Analyzing Failures and Catastrophic Events: An Illustrated Guide for Engineers will be useful to anyone seeking practical insight and relevant case studies to solve an existing problem or to understand how complex engineering problems are solved.? Using techni
¥1419
【预售 按需印刷】Matrices Methods and Applications
¥1213.8
【预订】Research Methods for Student Radiographers 9780367558710 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367558710 Author 作者 Hayre Christopher M. Format 版本 精装 Pages Number 页数 190页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an holistic picture of the application of research in radiography and focuses on multivariant methodological approaches and practices. It will provide readers insight into both contemporary and innovative methods within radiography research, backed up with evidence-based literature. This book may also be translated into other health disciplines as it introduces research to the reader by detailing terms that can often be confusing for students. These remain central in understanding the importance of research in radiography and how the generation of new knowledge is obtained. This will be supported with subsequent chapters concerning the literat
¥2613
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车