海外直订RNA: Methods and Protocols RNA:方法和协议
¥1988
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑与直
¥2651
海外直订Kernel Methods for Remote Sensing Data Analysis 遥感数据分析的核
¥1590
海外直订Exact Methods in Low-dimensional Statistical Phy... 低维统计
¥1468
海外直订医药图书Methods in Pharmacology 药理学方法
¥1325
海外直订Visual Methods with Children and Young People: Academics
¥690.00
预订 Fourier Methods in Science and Engineering 科学与工程中的傅立叶方法: 国外库房发货，通常付款后3-5周到货
¥784.00
海外直订Design Methods for Reducing Failure Probabilities with E
¥1739
海外直订New Methods and Results in Non-Linear Field Equations: P
¥662.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
海外直订Modern Methods of Speech Processing 现代语音处理方法
¥1988
海外直订医药图书Methods of Protein Microcharacterization: A Practica
¥1325
预订 Diverse Methods in Customer Relationship Marketing and Ma 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1756
【3-6周达】Formal Methods: Foundations and Applications: 16th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
预订 Novel Methods for Solving Linear and Nonlinear Integral E 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
【3-6周达】Snares: Methods and Protocols [ISBN:9781493987597] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Sepsis: Methods and Protocols [ISBN:9781071614907] 【全球购】进口原版图书，一般3-6周左右到国内
¥1395
【预订】Effective Methods for Software Engineering 9781032474359 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032474359 Author 作者 Boyd Summers Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Auerbach Publications Publication Date 出版日期 2023-01-09 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Language 语种 其它（含多语） Book Contents 内容简介 Software is important because it is used by a great many people in companies and institutions. This book presents engineering methods for designing and building software. Based on the author’s experience in software engineering as a programmer in the defense and aerospace industries, this book explains how to ensure a software that is programmed operates according to its requirements. It also shows how to develop, operate, and maintain software engineering capabilities by instilling an engineering discipline to support programming, design, builds, and delivery to customers. This book hel
¥707.00
预订 Exact Methods for Nonlinear Pdes: 9781032710518 国外库房发货，通常付款后3-5周到货
¥2023
【预售 按需印刷】Research Methods in Criminal Justice and
¥1590.35
【预售 按需印刷】Research Methods in Tourism, Hospitality
¥755.65
【预订】Formal Methods Applied to Industrial Complex Systems: Im 美国库房发货，通常付款后3-5周到货！
¥2566
【预售 按需印刷】Advanced Methods in Distance Education
¥606.05
3-6周达 Copula Methods in Finance [ISBN:9780470863442] 【全球购】进口原版图书，预计3-6周左右到国内
¥1615
【3-6周达】Formal Methods for Components and Objects [ISBN:97835 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods for Executable Software Models: 14th I 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥607.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems: From 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】TALENs: Methods and Protocols [ISBN:9781493929313 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 按需印刷 Methods for Studying Language Production
¥852.55
预订 按需印刷 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
【预售按需印刷】Numerical Methods for Non-Stiff Differential Equatio
¥996.20
预订 Formal Methods for Industrial Critical Systems: 29th Inte 国外库房发货，通常付款后3-5周到货
¥635.00
【预售 按需印刷】Research Methods for Operations and Supply Chain Ma 北京直发，付款后10日内发货
¥611.15
预订 按需印刷 Methods of Research on Teaching the English Language
This text makes available in a concise format the chapters comprising the research methodology section of the "Handbook of Research on Teaching the English Language Arts, Second Edition." An introduction, designed to give K-12 teachers an understanding of the basic categories and functions of research in teaching, is followed by chapters addressing teacher professionalism and the rise of multiple literacies; empirical research; longitudinal studies; case studies; ethnography; teacher research; teacher inquiry into literacy, social justice, and power; synthesis research; fictive representation; and contemporary methodological issues and future direction in research on the teaching of English. "Methods of Research on Teaching the English Language Arts" is well-suited for use in upper-level undergraduate and graduate-level literacy research methods courses.
¥631.55
预订 按需印刷 Methods of Analysis for Functional Foods and Nutrace
¥2047.65
【预订】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.
¥1448
【预售 按需印刷】Matrix Methods and Fractional Calculus
¥1041.25
【预售 按需印刷】Real-Space Methods to Solve Protein Struc
¥888.25
预订 Entropy Methods for Diffusive Partial Differential Equati 国外库房发货，通常付款后3-5周到货
¥821.00
【预售 按需印刷】Methods of Soil and Plant Analysis
¥473.45
【预售 按需印刷】Modular Methods in the Supervisory Contro
¥996.20
【预订】Multiscale Methods: Bridging the Scales in Science and E 美国库房发货，通常付款后3-5周到货！
¥1505
【预售 按需印刷】Numerical Methods For Simulation
¥1101.6
【预售 按需印刷】BAYESIAN METHODS FOR STRUCTURA
¥1672.8
【预售 按需印刷】Methods Biochem Analysis V35
¥5239
【预售 按需印刷】Research Methods in Sign Langu
¥1065.05
【预售 按需印刷】Numerical Methods in Variational Problems 北京发货，付款后10天内发货
¥814.00
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086618 Author 作者 Cottet Georges-Henri Format 版本 平装-胶订 Pages Number 页数 197页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语）
¥1095
预售 按需印刷 Methods to improve the freezability of the 北京发货，付款后10天内发货
¥1475
【预售 按需印刷】Study of Methods Used to Locate Partial B 北京发货，付款后10天内发货
¥793.00
【预售 按需印刷】Research Methods in Palliative Care
¥707.20
【预订】Formal Methods for Industrial Critical Systems: 28th Int 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031436802 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.57 Shipping Weight 商品重量 0.85磅 Language 语种 其它（含多语）
¥711.00
【预售 按需印刷】Efficient Methods for Symbolic Analysis o 北京发货，付款后10天内发货
¥780.00
【预售 按需印刷】Modelling Methods Energy Buildings
¥2013.65
【预售 按需印刷】Empirical Methods in Climate Modeling
¥898.45
【预订】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
【预订】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
【预售 按需印刷】Processing methods for mandarin (Citrus r
¥1125.4
【预订】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
¥1708
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车