![预订 Formal Methods in Computer Science [ISBN:9781498775328]](http://img3m0.ddimg.cn/77/28/11766354710-1_b_1716800983.jpg)
预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书，一般5-8周左右到国内
¥1052
【3-6周达】Formal Methods for Industrial Critical Systems: 20th 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Laboratory Methods in Cell Biology 9780124072398 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780124072398 Author 作者 Conn Format 版本 精装 Pages Number 页数 464页 Publisher 出版社 Academic Press Publication Date 出版日期 2013-01-01 Shipping Weight 商品重量 920g Language 语种 英语 Book Contents 内容简介 Life Sciences (General); Cellular Biology
¥1822
海外直订Matrix Methods in the Design Analysis of Mechanisms and
¥868.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
海外直订New Methods of Computing Radial Distribution Functions o
¥859.00
预订Research Methods and Statistics: An Integrated Approach [I 【全球购】进口原版图书，约3-6周到达国内后发出
¥1189
预订 Ordinal Methods for Behavioral Data Analysis: 97811389776 国外库房发货，通常付款后3-5周到货
¥707.00
预订 Visual Methods in the Field: Photography for the Social S 国外库房发货，通常付款后3-5周到货
¥558.00
【预订】Modern Methods in Scientific Computing and Applications 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402007811 Author 作者 Bourlioux Format 版本 精装 Pages Number 页数 516页 Publisher 出版社 Kluwer Academic Publishers Publication Date 出版日期 2002-09-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.97 Language 语种 其它（含多语） Book Contents 内容简介 The influence of scientific computing has become very wide over the last few decades: almost every area of science and engineering is greatly influenced by simulations - image processing, thin films, mathematical finance, electrical engineering, moving interfaces and combustion, to name but a few. One half of this book focuses on the techniques of scientific computing: domain decomposition, the absorption of boundary conditions and one-way operators, convergence analysis of multi-grid methods and other multi-grid techniques,
¥1767
【预订】Kernel Methods for Machine Learning with Math and Python 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811904004 Author 作者 Joe Suzuki Format 版本 平装-胶订 Pages Number 页数 208页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-05-24 Language 语种 其它（含多语） Book Contents 内容简介 The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than relying on knowledge or experience. This textbook addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows:The content is written in an easy-to-follow and self-contained style.The book includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book.The mathematical premises of kernels are proven
¥492.00
【预订】Level Set Methods for Fluid-Structure Interaction 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031086588 Author 作者 Georges-Henri Cottet Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-21 Language 语种 其它（含多语） Book Contents 内容简介 This monograph is devoted to the study of Eulerian models for fluid-structure interaction from the original point of view of level set methods.In the last 15 years, Eulerian models have become popular tools for studying fluid-structure interaction problems. One major advantage compared to more conventional methods such as ALE methods is that they allow the use of a single grid and a single discretization method for the different media. Level set methods in addition provide a general framework to follow the fluid-solid interfaces, to represent the elastic stresses of solids, and to model the contact forces between solids.This book offers a combina
¥1095
【预订】Research Methods in Building Science and Technology 9783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030736941 Author 作者 Rahman Azari Format 版本 平装-胶订 Pages Number 页数 180页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-09-10 Language 语种 其它（含多语） Book Contents 内容简介 This book covers the range of methodological approaches, methods and tools currently used in various areas of building science and technology research and addresses the current lack of research-method literature in this field. The book covers the use of measurement-based methods in which data is collected by measuring the properties and their variations in ‘actual’ physical systems, simulation-based methods which work with ‘models’ of systems or processes to describe, examine and analyze their behaviors, performances and operations, and data-driven methodologies in which data is collected via measurement or simulation to identify and exami
¥2409
【预订】Formal Methods for Software Engineering: Languages, Meth 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030388027 Author 作者 Roggenbach Markus Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Publication Date 出版日期 2023-07-07 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.13 Shipping Weight 商品重量 1.70 Language 语种 其它（含多语）
¥603.00
【预订】Physical Methods in Chemistry and Nano Science. Volume 4 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781838008574 Author 作者 Barron Andrew Format 版本 平装-胶订 Pages Number 页数 330页 Publisher 出版社 Midas Green Innovations, Ltd Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.86 Shipping Weight 商品重量 1.35 Language 语种 其它（含多语）
¥1328
预订 Applied Methods Of Regional Analysis: The Spatial Dimensi 国外库房发货，通常付款后3-5周到货
¥603.00
【预订】Research Methods in Language and Education 9783319022482 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319022482 Author 作者 Kendall A. King University of Minnesota Minneapolis MN U Format 版本 精装 Pages Number 页数 555页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-06-07 Shipping Weight 商品重量 1140g Language 语种 英语 Book Contents 内容简介 In this third, fully revised edition, the 10 volume Encyclopedia of Language and Education offers the newest developments, including an entirely new volume of research and scholarly content, essential to the field of language teaching and learning in the age of globalization. In the selection of topics and contributors, the Encyclopedia reflects the depth of disciplinary knowledge, breadth of interdisciplinary perspective, and diversity of socio-geographic experience in the language and education field. Throughout, there is an inclusion of contributions from non-English speaking an
¥4380
【预订】Polyhedral Methods in Geosciences 9783030693626 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030693626 Author 作者 Daniele Antonio Di Pietro Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-01-07 Language 语种 其它（含多语） Book Contents 内容简介 The last few years have witnessed a surge in the development and usage of discretization methods supporting general meshes in geoscience applications. The need for general polyhedral meshes in this context can arise in several situations, including the modelling of petroleum reservoirs and basins, CO2and nuclear storage sites, etc. In the above and other situations, classical discretization methods are either not viable or require ad hoc modifications that add to the implementation complexity. Discretization methods able to operate on polyhedral meshes and possibly delivering arbitrary-order approximations constitute in this context a verit
¥1643
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
【3-6周达】Soft Methods for Data Science [ISBN:9783319429717] 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【3-6周达】Formal Methods for Components and Objects: 11th Inter 【全球购】进口原版图书，一般3-6周左右到国内
¥535.00
海外直订Field Methods for Geologists and Hydrogeologists 地质学家和水文
¥1550
【3-6周达】Survey Methods Workbook: From Design to Analysis [ISB 【全球购】进口原版图书，一般3-6周左右到国内
¥1163
【预订】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周达】Malaria Methods and Protocols [ISBN:9781617372056] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】Formal Methods: Foundations and Applications: 20th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Methods of Studies of Integro-Differential Equations 【全球购】进口原版图书，一般3-6周左右到国内
¥532.00
【预订】Numerical Methods in Geotechnical Engineering IX 9781138 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138544468 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 1800页 Publication Date 出版日期 2018-06-01 Language 语种 英语 Book Contents 内容简介 NUMGE 2018 ;is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The conference provides a forum for exchange of ideas and discussion on topics related to numerical modelling in geotechnical engineering. Both senior and young researchers, as well as scientists and engineers from Europe and overseas, are invited to attend this conference to share and exchange their knowledge and experiences.
¥4747
【预订】Wavelet Methods for Pointwise Regularity and Local Oscil 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780821804759 Author 作者 Stéphane Jaffard Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1996-10-29 Language 语种 英语 Book Contents 内容简介 Currently, new trends in mathematics are emerging from the fruitful interaction between signal processing, image processing, and classical analysis. One example is given by "wavelets", which incorporate both the know-how of the Calderon-Zygmund school and the efficiency of some fast algorithms developed in signal processing (quadrature mirror filters and pyramidal algorithms.) A second example is "multi-fractal analysis". The initial motivation was the study of fully developed turbulence and the introduction by Frisch and Parisi of the multi-fractal spectrum. Multi-fractal analysis provides a deeper insight into many classical functions in
¥535.00
【预订】Simple Methods to Study Pedology and Edaphology of India 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030078126 Author 作者 Pal Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.2 cm Shipping Weight 商品重量 360g Language 语种 英语
¥876.00
【预售 按需印刷】Research Methods in Language P
¥1037.85
【3-6周达】Formal Methods: 24th International Symposium, FM 2021 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【3-6周达】New Methods of Polymer Synthesis [ISBN:9789401095549] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Inverse Methods in Physical Oceanography: - Inverse Me 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1432
【3-6周达】Hedonic Methods in Housing Markets: Pricing Environme 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
【预订】Continuum Methods of Physical Modeling 9783540206194 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540206194 Author 作者 Hutter Format 版本 精装 Pages Number 页数 636页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-01-20 Language 语种 英语 Book Contents 内容简介 This book is a considerable outgrowth of lecture notes on Mechanics of en? vironmentally related systems I, which I hold since more than ten years in the Department of Mechanics at the Darmstadt University of Technology for upper level students majoring in mechanics, mathematics, physics and the classical engineering sciences. These lectures form a canon of courses over three semesters in which I present the foundations of continuum physics (first semester), those of physical oceanography and limnology (second semester) and those of soil, snow and ice physics in the geophysical context (third semester). The intention is to build an understanding of the mathemati? cal foundat
¥1205
【预订】Modern Methods in the Calculus of Variations 97814419226 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441922601 Author 作者 Irene Fonseca Carnegie Mellon University Dept. Mathematical Format 版本 平装-胶订 Pages Number 页数 600页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-29 Language 语种 英语 Book Contents 内容简介 This book presents in a unified way both classical and contemporary results in the Calculus of Variations. It brings together in one place the contemporary developments in the calculus of variations based on a series of lectures at Carnegie Mellon University.
¥548.00
预订 Key Methods in Geography [ISBN:9781529772098] 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥919.00
【预订】Research Methods and Design in Sport Management 2E W/WR 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781492574910 Author 作者 Andrew Format 版本 平装-胶订 Pages Number 页数 376页 Publisher 出版社 Human Kinetics Publication Date 出版日期 2019-10-16 Product Dimensions 商品尺寸 8.5 x 11 Shipping Weight 商品重量 0.01 Language 语种 其它（含多语） Book Contents 内容简介 Research methods and design in sport management, second edition, explains research design, implementation, and assessment criteria with a focus on procedures unique to the discipline of sport management.
¥1087
【预订】Martingale Methods in Statistics 9781466582811 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466582811 Author 作者 Yoichi Nishiyama Format 版本 精装 Pages Number 页数 260页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 This gives a comprehensive introduction to the (standard) statistical analysis based on the theory of martingales and develops entropy methods in order to treat dependent data in the framework of martingales. The author starts a summary of the martingale theory, and then proceeds to give full proofs of the martingale central limit theorems. In addition, the book presents some general theories for semiparametric Z-estimation and semiparametric change point problem, with new examples.
¥1356
【预订】Standard Methods Of Chemical Analysis; Volume 1 97810204 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781020422348 Author 作者 Anonymous(作者) Format 版本 精装 Pages Number 页数 770页 Publisher 出版社 Legare Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.63 Shipping Weight 商品重量 2.74磅 Language 语种 其它（含多语）
¥648.00
【预订】Computer Methods, Imaging and Visualization in Biomechan 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031100147 Author 作者 Jo?o Manuel R. S. Tavares Format 版本 精装 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-01 Language 语种 其它（含多语） Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 17th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering and the 5th Conference on Imaging and Visualization (CMBBE 2021), held online on September 7-9, 2021, from Bonn, Germany. It reports on cutting-edge models, algorithms and imaging techniques for studying cells, tissues and organs in normal and pathological conditions. It covers numerical and machine learning methods, finite element modeling and virtual reality techniques, applied to understand biomechanics of movement, fluid and soft tissue biomechanics. It also reports on related a
¥1533
【预订】Courageous Methods in Cultural Psychology 9783030935375 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030935375 Format 版本 平装-胶订 Pages Number 页数 281页 Publisher 出版社 Springer Publication Date 出版日期 2023-06-30 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.63 Shipping Weight 商品重量 0.93 Language 语种 其它（含多语）
¥1205
【预订】Research Methods in Linguistic Anthropology 978135011749 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781350117495 Format 版本 精装 Pages Number 页数 416页 Publisher 出版社 Bloomsbury Academic Publication Date 出版日期 2022-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.94 Shipping Weight 商品重量 1.67 Language 语种 其它（含多语）
¥1073
【预订】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
¥1490
按需印刷Merged Methods 预订，预计下单后2-3周左右发货！
¥1379
【预订】Structural Methods in Molecular Inorganic Chemistry 9780 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780470972793 Author 作者 David Rankin Format 版本 精装 Pages Number 页数 500页 Publisher 出版社 Wiley Publication Date 出版日期 2013-02-22 Shipping Weight 商品重量 1120g Language 语种 英语 Book Contents 内容简介 Determining the structure of molecules is a fundamental skill that all chemists must learn. Structural Methods in Molecular Inorganic Chemistry is designed to help readers interpret experimental data, understand the material published in modern journals of inorganic chemistry, and make decisions about what techniques will be the most useful in solving particular structural problems. Following a general introduction to the tools and concepts in structural chemistry, the following topics are covered in detail: *computational chemistry *nuclear magnetic resonance spectroscopy *electron paramagnetic resonance spectroscopy *Mossbauer spectroscopy *rotati
¥2341
【3-6周达】Methods in Cardiovascular and Lymphatic Biology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出
¥2156
【预订】Geometric Methods in Physics XXXVI 9783030011550 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030011550 Author 作者 Kielanowski Format 版本 精装 Pages Number 页数 425页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-03-04 Language 语种 英语 Book Contents 内容简介 This book collects papers based on the XXXVI Biaowie?a Workshop on Geometric Methods in Physics, 2017. The Workshop, which attracts a community of experts active at the crossroads of mathematics and physics, represents a major annual event in the field. Based on presentations given at the Workshop, the papers gathered here are previously unpublished, at the cutting edge of current research, and primarily grounded in geometry and analysis, with applications to classical and quantum physics. In addition, a Special Session was dedicated to S. Twareque Ali, a distinguished mathematical physicist at Concordia University, Montreal, who passed away in January 2016. For the past
¥1643
【预订】Research Methods in Public Administration and Nonprofit 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138743809 Author 作者 David E. McNabb Format 版本 平装-胶订 Pages Number 页数 578页 Publication Date 出版日期 2017-09-19 Language 语种 英语 Book Contents 内容简介 Now in a thoroughly revised and refreshed fourth edition, Research Methods in Public Administration and Nonprofit Management is beloved by student and professors alike for its exceptional clarity, accessibility, and plentiful illustrations. This new edition integrates quantitative, qualitative, and mixed methods approaches, as well as specific up-to-date instruction in the use of statistical software programs such as Excel and SPSS. Changes to this edition include: A new section, featuring two new chapters, to explore mixed methods approaches to research, including fundamentals, research design, data collection, and analyzing and interpreting findings A new, dedicated chapter on Big Data research
¥1251
【预订】Formal Methods for Industrial Critical Systems 978303058 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030582975 Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-29 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 970g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contai
¥548.00
Elementary Methods of Graph Ramsey Theory 9783031127618 现货图书
Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）
¥1156
【预订】Research Methods for Interior Design 9780367139445 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367139445 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.
¥1958
【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
¥711.00
【3-6周达】Testing Methods for Fault Detection in Electronic Cir 【全球购】进口原版图书，一般3-6周左右到国内
¥953.00
【3-6周达】PCR Methods in Foods [ISBN:9780387282640] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Modern Methods in Collisional-Radiative Modeling of P 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车