海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1550
【预订】Geometric Methods in Physics XXXVII: Workshop and Summer 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030340742 Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 870g Language 语种 其它（含多语）
¥1643
【3-6周达】Sumo: Methods and Protocols [ISBN:9781493963560 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】The Quincy Methods Illustrated: Pen Photographs from the 美国库房发货，通常付款后3-5周到货！
¥513.00
【预订】Physical Methods in Food Analysis 美国库房发货，通常付款后3-5周到货！
¥1576
预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货，通常付款后3-5周到货
¥548.00
【预订】Research Methods and Communication in the Social Science 美国库房发货，通常付款后3-5周到货！
¥816.00
【预订】Mobile Methods 美国库房发货，通常付款后3-5周到货！
¥1958
预订 Lattice Methods for Quantum Chromodynamics [ISBN:97898125 【全球购】进口原版图书，一般5-8周左右到国内
¥921.00
海外直订Modern Methods in Orchid Conservation 兰花保护的现代方法
¥1550
【3-6周达】Formal Methods for Nonmonotonic and Related Logics [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Entropy Methods for Diffusive Partial Differential Eq 【全球购】进口原版图书，一般3-6周左右到国内
¥868.00
【3-6周达】Formal Methods and Software Engineering: 10th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Kernel Methods and Machine Learning [ISBN:978110702496 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1016
【预订】Modern Methods for Business Research 美国库房发货，通常付款后3-5周到货！
¥1055
海外直订Basic Methods and Protocols on Sourdough Basic Methods a
¥1540
【预订】Analytical Methods for Food and Dairy Powders 美国库房发货，通常付款后3-5周到货！
¥2430
【3-6周达】Methods for Location Privacy: A Comparative Overview 【全球购】进口原版图书，一般3-6周左右到国内
¥734.00
【3-6周达】Basic Methods Handbook for Clinical Orthopaedic Resea 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【预订】Research Methods in Psycholinguistics and the Neurobiolo 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781119109846 Author 作者 Annette de Groot Format 版本 精装 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语 Book Contents 内容简介 Bringing together contributions from a distinguished group of researchers and practitioners, editors Annette M. B. de Groot and Peter Hagoort explore the methods and technologies used by researchers of language acquisition, language processing, and communication, including: traditional observational and behavioral methods; computational modelling; corpus linguistics; and virtual reality. The book also examines neurobiological methods, including functional and structural neuroimaging and molecular genetics. Ideal for students engaged in the field, Research Methods in Psycholinguistics and the Neurobiology of Language examines the relative strengths and weaknesses of various methods in relation to competing approaches.
¥1170
【预订】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
【预订】Formal Methods Teaching 9783031275333 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031275333 Author 作者 Catherine Dubois Format 版本 平装-胶订 Pages Number 页数 107页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-21 Language 语种 其它（含多语）
¥603.00
海外直订Numerical Methods, International Edition 数值方法，国际版
¥1398
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥642.00
海外直订Formal Methods for Components and Objects: Second Intern
¥553.00
【预订】Research Methods 9780750689533 美国库房发货，通常付款后3-5周到货！
¥558.00
【预订】Modern Methods for Affordable Clinical Gait Analysis 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323852456 Author 作者 Nandy Anup Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Academic Press Publication Date 出版日期 2021-07-30 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.41 Shipping Weight 商品重量 0.76 Language 语种 其它（含多语）
¥1066
【预订】Numerical Methods in Geotechnical Engineering: (Numge 20 美国库房发货，通常付款后3-5周到货！
¥5085
【预订】Research Methods in Sport Studies and Sport Management: 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Research Methods for Interior Design 9780367139490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139490 Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Routledge Publication Date 出版日期 2020-07-30 Product Dimensions 商品尺寸 7-1/2 x 10 Language 语种 其它（含多语） Book Contents 内容简介 Through four distinct sections, the authors not only lay out the theory of interiority—a subjective sense a person feels in his or her relation to a physical environment, which results in positive attachments of communal belonging—but also how designers can access interiority through a variety of research methodologies.
¥603.00
【预订】Regression Methods in Biostatistics 9781461413523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461413523 Author 作者 Vittinghoff Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-09-01 Product Dimensions 商品尺寸 23.9 x 16.3 x 3.8 cm Shipping Weight 商品重量 0.9 kg Language 语种 其它（含多语） Book Contents 内容简介 This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes. Treating these topics together takes advantage of all they have in common. The authors point out the many-shared elements in the methods they present for selecting, estimati
¥1205
【预订】Formal Methods in Architecture 9783030575113 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030575113 Author 作者 Sara Eloy Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-05 Product Dimensions 商品尺寸 11.00 x 8.25 x 0.72 Shipping Weight 商品重量 1.73 Language 语种 其它（含多语） Book Contents 内容简介 This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in
¥1698
海外直订Modern Methods in Analytical Morphology 现代分析形态学方法
¥639.00
【预订】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
【预订】Numerical Methods for Scientists and Engineers 978999498 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789994988327 Author 作者 Sharma Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Eliva Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.23 Shipping Weight 商品重量 0.35磅 Language 语种 其它（含多语）
¥551.00
【预订】Applied Methods in Design and Construction of Bridges, H 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781803555553 Author 作者 Khaled Ghaedi Format 版本 精装 Pages Number 页数 164页 Publisher 出版社 Intech Publication Date 出版日期 2022-12-07 Language 语种 其它（含多语） Book Contents 内容简介 This book presents a comprehensive overview of bridge and road engineering. Apart from bridge structures, roads and highways are integral to the advancement of cities. The lack of quantifiable, sustainable construction methods creates gaps in sustainability knowledge, leading to public, environmental, and financial dissatisfaction with completed highways and urban roads. This book discusses the key points in the design and construction assessment of bridges, highways, and roads. Chapters discuss such topics as bridge optimization techniques, risk assessment of roads, highway management systems, and challenges in highway construction. The book provides detailed insight into
¥1571
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
【3-6周达】Dynamic Methods for Damage Detection in Structures [I 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Meshless Methods for 3D Fracture Modelling with Level Set 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥891.00
【3-6周达】Modern Methods in Analytical Morphology, 植物学 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Topics and Methods in Condensed Matter Theory 9783642089 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642089640 Author 作者 Michele Cini Format 版本 平装-胶订 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-15 Language 语种 英语
¥548.00
海外直订Mesh Methods for Boundary-Value Problems and Application
¥1672
海外直订医药图书Methods of Pesticide Exposure Assessment 农药接触评估方法
¥2067
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
¥588.00
海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1149
【预订】Algebraic Methods in Statistics and Probability 97808218 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821826874 Author 作者 Marlos A. G. Viana Format 版本 平装-胶订 Pages Number 页数 340页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 2001-12-10 Language 语种 英语 Book Contents 内容简介 Algebraic methods and arguments in statistics and probability are well known, from Gauss’s least squares principle through Fisher’s method of variance decomposition. The relevance of group-theoretic arguments, for example, became evident in the 1980s. Such techniques continue to be of interest today, along with other developments, such as the use of graph theory in modelling complex stochastic systems. This volume is based on lectures presented at the AMS Special Session on Algebraic Methods and Statistics held at the University of Notre Dame (Indiana) and on contributed articles solicited for this volume. The articles are intended t
¥1040
【预订】Effective Methods for Modern Healthcare Service Quality 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466699618 Author 作者 Panagiotis Manolitzas Format 版本 精装 Pages Number 页数 315页 Publisher 出版社 IGI Publishing Publication Date 出版日期 2016-05-30 Product Dimensions 商品尺寸 10 x 7 x 0.8 cm Shipping Weight 商品重量 1770g Language 语种 英语 Book Contents 内容简介 Turbulent changes in worldwide economies and decreases in overall quality of life have led to a re-evaluation of the current state of health services. Improvements in this sector will allow for more efficient healthcare delivery to the public, as well as increased patient satisfaction. Effective Methods for Modern Healthcare Service Quality and Evaluation is an authoritative reference source for the latest research on emerging tools and methodologies for the design of healthcare models, providing expert analyses on trouble-shooting specific problems in the industry and creating
¥1625
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！
¥862.00
【3-6周达】Formal Methods: Foundations and Applications [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内
¥626.00
【3-6周达】Formal Methods in Systems Biology: First Internationa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Advanced Methods for Seismic Performance Evaluation of Bu 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥559.00
【3-6周达】Modern Methods in Operator Theory and Harmonic Analys 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
海外直订Formal Methods in Computer-Aided Design: 5th Internation
¥553.00
海外直订Modern Methods in the Calculus of Variations: L^p Spaces
¥594.00
海外直订Direct Methods: Methodological Progress and Engineering
¥1476
【预订】Analytical Methods in Nonlinear Oscillations 97894024154 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789402415407 Author 作者 Esmailzadeh Format 版本 精装 Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book covers both classical and modern analytical methods in nonlinear systems. A wide range of applications from fundamental research to engineering problems are addressed. The book contains seven chapters, each with miscellaneous problems and their detailed solutions. More than 100 practice problems are illustrated, which might be useful for students and researchers in the areas of nonlinear oscillations and applied mathematics. With providing real world examples, this book shows the multidisciplinary emergence of nonlinear dynamical systems in a wide range of applications including mechanical and electrical oscillators, micro/nano resonators and sensors, and also modelling of global warming, epidemic diseases, sociology, chemical reactions, biolog
¥1643
【预订】Optimal Methods for Ill-Posed Problems 9783110575736 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110575736 Author 作者 Tanana, Vitalii P. / Sidikova, Anna I. Format 版本 精装 Pages Number 页数 130页 Publication Date 出版日期 2018-03-19 Language 语种 英语
¥1399
【预订】Modeling Methods for Medical Systems Biology 97833198935 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319893532 Author 作者 ?lvarez-Buylla Roces Format 版本 精装 Pages Number 页数 236页 Publication Date 出版日期 2018-07-11 Language 语种 英语 Book Contents 内容简介 This book contributes to better understand how lifestyle modulations can effectively halt the emergence and progression of human diseases. The book will allow the reader to gain a better understanding of the mechanisms by which the environment interferes with the bio-molecular regulatory processes underlying the emergence and progression of complex diseases, such as cancer. Focusing on key and early cellular bio-molecular events giving rise to the emergence of degenerative chronic disease, it builds on previous experience on the development of multi-cellular organisms, to propose a mathematical and computer based framework that allows the reader to analyze the complex interplay between bio-molecular processes and
¥1533
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车