【预订】Numerical Methods for Grid Equations: Volume II Iterativ 美国库房发货，通常付款后3-5周到货！
¥548.00
海外直订Formal Methods and Software Engineering: 20th Internatio
¥662.00
【预订】Numerical Methods in Geotechnical Engineering IX, Volume 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138332034 Author 作者 Edited by Manuel de Matos Fernandes Format 版本 精装 Pages Number 页数 900页 Publisher 出版社 CRC Press Publication Date 出版日期 2018-06-19 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. This work is the second volume of NUMGE 2018.
¥2780
预订 Formal Methods in Computer Science 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥949.00
【预订】Numerical Methods and Methods of Approximation in Scienc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367136727 Author 作者 Karan S. Surana Format 版本 精装 Pages Number 页数 498页 Publication Date 出版日期 2018-11-02 Language 语种 英语 Book Contents 内容简介 This unique textbook focuses on building a theoretical foundation for understanding and applying numerical methods in engineering. Readers will learn to structure sequences of operations into programs in any language; this approach builds a deep understanding of the methods and how best to apply them, backed by numerous examples and problems.
¥1899
【预订】Numerical Methods in Geotechnical Engineering 9789054105 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789054105107 Format 版本 精装 Pages Number 页数 444页 Publisher 出版社 CRC Press Publication Date 出版日期 1994-01-01 Shipping Weight 商品重量 929g Language 语种 其它（含多语） Book Contents 内容简介 This volume is based on a conference on numerical methods in geotechnical engineering held in Manchester in 1994. It examines topics involved in the application of numerical techniques, including: thermomechanical problems; foundations; reinforced...
¥3316
【预订】Hypoxia: Methods and Protocols 9781493985388 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493985388 Format 版本 平装-胶订 Pages Number 页数 302页 Publication Date 出版日期 2019-02-24 Language 语种 英语
¥932.00
【预订】Research Methods in Language Variation and Change 978052 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780521181860 Author 作者 Manfred Krug Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2013-10-01 Shipping Weight 商品重量 1070g Language 语种 英语 Book Contents 内容简介 Novice researchers and professionals interested in extending their methodological repertoires will find practical guidance on and critical discussion of a variety of techniques essential for collecting, analysing and evaluating linguistic data. All 23 chapters are written by leading practitioners, who share their expertise in this systematic and state-of-the-art survey.
¥502.00
【预订】Xenopus: Methods and Protocols 9781493993918 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493993918 Format 版本 平装-胶订 Pages Number 页数 302页 Publisher 出版社 Humana Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1861
预订 Various Methods of Fault Detection and Analysis of Solar 国外库房发货，通常付款后3-5周到货
¥561.00
海外直订Cd95: Methods and Protocols Cd95:方法和方案
¥1233
【预订】Research Methods: A Framework for Evidence-Based Clinica 美国库房发货，通常付款后3-5周到货！
¥1289
海外直订Matrix Methods of Structural Analysis 结构分析矩阵法
¥606.00
预订Research Methods and Statistics:A Critical Thinking Approa 预订，预计下单后3-6周左右发货！
¥1194
【预订】Ideas and Methods in Mathematical Analysis, Stochastics, 美国库房发货，通常付款后3-5周到货！
¥1943
【预订】Research Methods in Physical Education and Youth Sport 美国库房发货，通常付款后3-5周到货！
¥2637
【预订】Mobile Methods 美国库房发货，通常付款后3-5周到货！
¥738.00
【预订】Ore Mining Methods, Comprising De*ions of Methods of Sup 美国库房发货，通常付款后3-5周到货！
¥513.00
【预订】Numerical Methods for Ordinary Differential Equations 美国库房发货，通常付款后3-5周到货！
¥2179
【预订】On Air: Methods and Meanings of Radio 9780340652312 美国库房发货，通常付款后3-5周到货！
¥476.00
海外直订Formal Methods Teaching: Third International Workshop an
¥662.00
海外直订Formal Methods for Embedded Distributed Systems: How to
¥1033
预订Research Methods for Counseling: An Introduction [ISBN:978 【全球购】进口原版图书，约3-6周到达国内后发出
¥918.00
预订 Fuzzy Methods for Customer Relationship Management and Ma 【全球购】进口原版图书，一般5-8周左右到国内
¥2259
海外直订Modern Methods of Development 现代发展方法
¥754.00
【3-6周达】Methods in Protein Structure Analysis [ISBN:978148991 【全球购】进口原版图书，一般3-6周左右到国内
¥2147
海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene
¥510.00
预订 Mucins: Methods and Protocols 粘蛋白：方法与协议: 9781071636725 国外库房发货，通常付款后3-5周到货
¥1533
【3-6周达】Isotope Methods for Dating Old Groundwater [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥1842
【3-6周达】PCR: Methods and Protocols [ISBN:9781071633601] 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【预订】Analytical Methods for Milk and Milk Products 9781774917 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781774917411 Format 版本 精装 Pages Number 页数 378页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2024-02-20 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 1.55磅 Language 语种 其它（含多语） Book Contents 内容简介 This valuable resource on the microbiological analysis of milk and milk products delves into various aspects of bacterial enumeration, pathogen detection, mastitis milk identification, quality testing for starter cultures, isolation and characterization of lactic acid bacteria (LAB), safety assessment protocols for probiotics, DNA isolation methods, molecular characterization techniques, and statistical tools for laboratory data analysis. It presents an in-depth description of the methodologies for isolation, identification, and confirmatory tests for various hygiene and safety indicator
¥2216
【预订】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
【预订】Formal Methods for Industrial Critical Systems 978364224 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642244308 Author 作者 Salaün Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-09-19 Shipping Weight 商品重量 396g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
¥548.00
预订 New Methods of Teaching and Learning in Libraries [ISBN:9 【全球购】进口原版图书，约3-6周到达国内后发出
¥1001
【预订】Concepts, Methods and Practical Applications in Applied 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319880297 Author 作者 Thomas Format 版本 平装-胶订 Pages Number 页数 333页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1060g Language 语种 英语
¥658.00
【3-6周达】Emerging Methods in Family Research [ISBN:97833193769 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预订 Research Methods [ISBN:9780415340755] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【3-6周达】Formal Methods: Foundations and Applications: 17th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
【预订】Analytical Methods in Statistics 9783319513126 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319513126 Author 作者 Maciak, Matu Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-02-15 Language 语种 英语 Book Contents 内容简介 This volume collects authoritative contributions on analytical methods and mathematical statistics. The methods presented include resampling techniques; the minimization of divergence; estimation theory and regression, eventually under shape or other constraints or long memory; and iterative approximations when the optimal solution is difficult to achieve. It also investigates probability distributions with respect to their stability, heavy-tailness, Fisher information and other aspects, both asymptotically and non-asymptotically. The book not only presents the latest mathematical and statistical methods and their extensions, but also offers solutions to real-world problems includi
¥1205
【预订】Research Methods and Statistics 9781108444712 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781108444712 Author 作者 McCarthy, Maureen A Format 版本 平装-胶订 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2017-02-11 Language 语种 英语
¥864.00
【3-6周达】Novel Methods in Computational Finance [ISBN:97833198 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
¥566.00
海外直订Formal Methods and Software Engineering: 6th Internation
¥1325
海外直订Korso: Methods, Languages, and Tools for the Constructio
¥553.00
预订 Research Methods for Forensic Psychologists: A Guide to C 【全球购】进口原版图书，一般5-8周左右到国内
¥2385
【3-6周达】Physical Methods in Chemistry and Nano Science. Volum 【全球购】进口原版图书，一般3-6周左右到国内
¥967.00
【3-6周达】Agile Methods: 10th Brazilian Workshop, Wbma 2019, Be 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Design Methods of Safety-Critical Electronic Automoti 【全球购】进口原版图书，一般3-6周左右到国内
¥782.00
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1325
【预订】Advanced Methods in Biomedical Signal Processing and Ana 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323859554 Format 版本 平装-胶订 Pages Number 页数 432页 Publisher 出版社 Academic Press Publication Date 出版日期 2022-09-07 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.88 Shipping Weight 商品重量 1.63 Language 语种 其它（含多语）
¥1600
【预订】Modern methods in protein chemistry 9783110095142 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110095142 Format 版本 精装 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1983-04-01 Language 语种 其它（含多语）
¥1825
海外直订医药图书Methods for Investigating Localized Clustering of Di
¥598.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥662.00
【预订】Biomass: Methods for Volume Calculation and Energy Valor 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781639870769 Author 作者 Nina Goldman Format 版本 精装 Pages Number 页数 258页 Publisher 出版社 Murphy & Moore Publishing Publication Date 出版日期 2022-03-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 0.63 Shipping Weight 商品重量 1.97 Language 语种 其它（含多语） Book Contents 内容简介 Any plant or animal material used by humans as fuel is referred to as biomass. Wood is an example of biomass which is used in the form of pellets and briquettes. Biomass feedstock are the substances used to generate energy or develop biofuels. Some of its examples are agricultural waste, municipal waste, sewer sludge and manufacturing waste. These are converted into suitable energy sources using various techniques such as thermal conversion and biochemical conversion. Biomass such as sugarcane and corn are used to manufacture bioethanol or first generation bi
¥1841
【预订】Solution Methods for Metal Oxide Nanostructures 97801282 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128243534 Format 版本 平装-胶订 Pages Number 页数 525页 Publisher 出版社 Elsevier Publication Date 出版日期 2023-06-28 Language 语种 其它（含多语）
¥2666
预订 Research Methods for Operations and Supply Chain Manageme 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9781032324340 Author 作者 Karlsson Format 版本 平装-胶订 Pages Number 页数 320页 Publisher 出版社 Routledge Publication Date 出版日期 2023-11-15 Product Dimensions 商品尺寸 246 x 174 mm (6.85 x 9.69 Language 语种 其它（含多语） Book Contents 内容简介 Research Methods for Operations and Supply Chain Management, third edition, is a toolkit of research approaches primarily for advanced students and beginner researchers, but also a reference book for any researcher in operations and supply chain management (OSCM).Many students begin their careers in research limited by the one or few approaches taken by their department. The concise, accessible overviews found here equip them with an understanding of a variety of methods and how to use them, enabling students to tailor their research project to their own strengths and goals. The more seasoned researcher w
¥811.00
【3-6周达】Methods in Neurobiology: Volume 2 [ISBN:9781468438116 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods in the Calculus of Variations: L^p Spa 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车