【预订】Advanced Methods for Human Biometrics 9783030819842 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030819842 Author 作者 Nabil Derbel Format 版本 平装-胶订 Pages Number 页数 303页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.66 Shipping Weight 商品重量 0.98 Language 语种 其它（含多语） Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry metho
¥1314
预订 Modern Methods in Complex Analysis The Princeton Conferen 国外库房发货，通常付款后3-5周到货
¥1051
【预订】Kras: Methods and Protocols [ISBN:9781071638248] 【全球购】进口原版图书，一般10-12周左右到国内
¥1781
【3-6周达】Entropy Methods for Diffusive Partial Differential Eq 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol
¥1003
海外直订Formal Methods for Executable Software Models: 14th Inte
¥662.00
海外直订Mixed-Methods Research in Wellbeing and Health 幸福与健康的混合方
¥2353
【预售 按需印刷】Efficient methods for pyran-heterocycles 北京发货，付款后10天内发货
¥843.00
【预订】Research Methods in Health Promotion, Second Edition 978 美国库房发货，通常付款后3-5周到货！
¥1231
【预订】Molecular Methods for Evolutionary Genetics 978149395861 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493958610 Author 作者 Virginie Orgogozo Université Paris VII CNRS UMR7592 Paris Format 版本 平装-胶订 Pages Number 页数 503页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 979g Language 语种 英语 Book Contents 内容简介 We are entering a particularly fruitful period in evolutionary genetics, as rapid technological progress transforms the investigation of genetic variation within and between species. Molecular Methods for Evolutionary Genetics is a collection of advanced molecular biology protocols and general overviews intended to represent the essential methods currently bringing evolutionary genetics to fruition. Divided into six thematic sections, this volume covers methods for characterizing genomes, diverse approaches to enrich DNA for subsets of the genome prior to sequencing, and state-of-the-art
¥1205
【预订】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: 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
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】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 for Open Object-Based Distributed Systems
¥2651
【预订】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
【预订】Numerical Methods of Mathematics Implemented in Fortran 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811371134 Author 作者 Bose Format 版本 精装 Pages Number 页数 467页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-06-09 Language 语种 英语 Book Contents 内容简介 This book systematically classifies the mathematical formalisms of computational models that are required for solving problems in mathematics, engineering and various other disciplines. It also provides numerical methods for solving these problems using suitable algorithms and for writing computer codes to find solutions. For discrete models, matrix algebra comes into play, while for continuum framework models, real and complex analysis is more suitable. The book clearly describes the method–algorithm–code approach for learning the techniques of scientific computation and how to arrive at accurate solutions by applying the procedures presented. It not only provides instruc
¥658.00
3-6周达 Modern Methods for Analysing Archaeological and Histor 【全球购】进口原版图书，预计3-6周左右到国内
¥3227
预订 DNA Methods in Clinical Microbiology [ISBN:9780792363071] 【全球购】进口原版图书，一般5-8周左右到国内
¥1267
【3-6周达】Formal Methods for Industrial Critical Systems: 26th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】PCR: Methods and Protocols [ISBN:9781493983810] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
Research Methods for the Behavioral Sciences 英文原版 行为科学研究方法 第
¥664.00
预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥498.00
【3-6周达】Formal Methods Teaching [ISBN:9783031275333] 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
按需印刷New Methods of Financing Your Business in the United Sta 预订，预计下单后2-3周左右发货！
¥585.00
预订 Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书，一般5-8周左右到国内
¥2249
【3-6周达】Formal Methods for Industrial Critical Systems: 19th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预售 按需印刷】Synthetic Methods, Chemistry and Anticonv 北京发货，付款后10天内发货
¥1059
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
¥662.00
【预订】Numerical Methods for Elliptic and Parabolic Partial Dif 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030793845 Author 作者 Peter Knabner Format 版本 精装 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-24 Language 语种 其它（含多语） Book Contents 内容简介 This graduate-level text provides an application oriented introduction to the numerical methods for elliptic and parabolic partial differential equations. It covers finite difference, finite element, and finite volume methods, interweaving theory and applications throughout. The book examines modern topics such as adaptive methods, multilevel methods, and methods for convection-dominated problems and includes detailed illustrations and extensive exercises. For students with mathematics major it is an excellent introduction to the theory and methods, guiding them in the selection of methods and helping them to understand and pursue finite element program
¥985.00
【预订】Formal Methods 9783031274800 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031274800 Format 版本 平装-胶订 Pages Number 页数 659页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
¥1094
预订 Interval Methods For Uncertain Power System Analysis 9781 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781119855040 Author 作者 Alfredo Vaccaro Format 版本 精装 Pages Number 页数 144页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-07-06 Language 语种 其它（含多语） Book Contents 内容简介 This book explores the mathematical foundations of range analysis, and its deployment in solving traditional power system operation problems in the presence of strong and correlated uncertainties. It addresses many relevant topics ranging from interval methods for uncertainty representation and management to various application examples. This book not only focuses on methodological breakthroughs and roadmaps in implementing the mathematical methodologies, but also presents the much needed sharing of best practices. The problems currently faced by possible readers are related to the sparsity of information on this topic, scattered between many self-consistent pa
¥1537
【预订】Numerical Methods for PDEs 9783319946757 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319946757 Author 作者 Di Pietro Format 版本 精装 Pages Number 页数 230页 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This volume gathers contributions from participants of the Introductory School and the IHP thematic quarter on Numerical Methods for PDE, held in 2016 in Cargese (Corsica) and Paris, providing an opportunity to disseminate the latest results and envisage fresh challenges in traditional and new application fields. Numerical analysis applied to the approximate solution of PDEs is a key discipline in applied mathematics, and over the last few years, several new paradigms have appeared, leading to entire new families of discretization methods and solution algorithms. This book is intended for researchers in the field.
¥1095
【预订】Apoptosis Methods in Toxicology 9781493980864 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493980864 Format 版本 平装-胶订 Pages Number 页数 256页 Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10 x 7 x 0.5 cm Shipping Weight 商品重量 990g Language 语种 英语
¥1095
【预订】Proteomic Methods in Neuropsychiatric Research (Softcove 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319849119 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-21 Language 语种 英语
¥1753
【预订】Research Methods In Language Teaching And Learning: A Pr 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119701637 Author 作者 Kenan Dikilitas Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2022-02-22 Product Dimensions 商品尺寸 16.83 x 24.45 cm. Language 语种 其它（含多语） Book Contents 内容简介 Bringing together contributions from a distinguished group of researchers and practitioners, Research Methods in Language Teaching and Learning explores and demonstrates research methodologies for second language teaching and learning. ? Twenty-four chapters are split into three parts covering the naturalistic paradigm, the positivist paradigm, and research of research. Students are guided through real research contexts across a multitude of types of research methodology, including case study, narrative inquiry, grounded theory, phenomenological study, ethnography, experimental and quasi-experiment
¥719.00
【预订】Advanced Methods for Human Biometrics 9783030819811 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030819811 Author 作者 Nabil Derbel Format 版本 精装 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-29 Language 语种 其它（含多语） Book Contents 内容简介 The book highlights recent developments in human biometrics, covering a wide range of methods based on biological signals, image processing, and measurements of human characteristics such as fingerprints and iris or medical characteristics. Human Biometrics is becoming increasingly crucial in forensics security and medicine. They provide a solid basis for identifying individuals based on unique physical characteristics or diseases based on characteristic biomedical measurements. As such, the book offers an essential reference guide about biometry methods for students, engineers, designers, and technicians.
¥1314
【3-6周达】Optical Methods in Sensing and Imaging for Medical an 【全球购】进口原版图书，一般3-6周左右到国内
¥727.00
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥858.00
【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Simple Methods to Study Pedology and Edaphology of In 【全球购】进口原版图书，一般3-6周左右到国内
¥916.00
按需印刷TF Methods for the Summation of Series 预订，预计下单后2-3周左右发货！
¥719.00
【预订】Numerical Methods for Finance 9780367388591 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367388591 Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.10 x 6.10 x 0.90 Shipping Weight 商品重量 1.30 Language 语种 其它（含多语）
¥990.00
【预售 按需印刷】ABSTRACT METHODS IN INFORMATION THEORY (S
¥1384.65
【预售 按需印刷】Fourier Methods in Imaging
¥1935.45
预订 Mixed-Methods Research in Wellbeing and Health [ISBN:9780 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥2122
【3-6周达】Formal Methods and Testing: An Outcome of the Fortest 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Methods for laparoscopic instrument tracking and moti 【全球购】进口原版图书，一般3-6周左右到国内
¥1261
【3-6周达】Research Methods in Neurochemistry: Volume 2 (Softcov 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods and Software Engineering: 15th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Unified Methods for Censored Longitudinal Data and Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内
¥2609
【3-6周达】Mixed Methods and Cross Disciplinary Research [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【预售 按需印刷】Bayesian Methods 北京发货，付款后10天内发货
¥661.72
【预售 按需印刷】Research Methods and Statistics in Psychology
¥549.95
【预订】Multiscale Methods: Bridging the Scales in Science and E 美国库房发货，通常付款后3-5周到货！
¥1505
预订Research Methods:A Practical Guide for the Social Sciences 预订，预计下单后2-3周左右发货！
¥858.00
【预订】Transform Methods for Solving Partial Differential Equat 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781584884514 Author 作者 Dean G. Duffy Format 版本 精装 Pages Number 页数 728页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2004-07-15 Shipping Weight 商品重量 1124g Language 语种 英语 Book Contents 内容简介 Transform Methods for Solving Partial Differential Equations illustrates the use of Laplace, Fourier, and Hankel transforms to solve partial differential equations encountered in science and engineering. This second edition is expanded to provide a broader perspective on the applicability and use of transform methods. It classifies the problems presented in every chapter by type of region, coordinate system and partial differential equation. Many of the problems included in the book are illustrated to show the reader what they will look like physically. Unlike many mathematics texts, this book provides a step-by-step analysis of prob
¥2562
预订 Mixed Methods Research for Nursing and the Health Science 国外库房发货，通常付款后3-5周到货
¥1012
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车