
海外直订Formal Methods in Standards: A Report from the BCS Worki
¥553.00

预售 按需印刷 Methods for Analyzing and Leveraging Onlin分析和利用在线学习数 北京发货,付款后10天内发货
¥1074

【预订】Formal Methods for Embedded Distributed Systems: How Y97 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Formal Methods for Industrial Critical Systems 978364203 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642032394 Author 作者 Darren Cofer Honeywell Technology Center Minneapolis MN Format 版本 平装-胶订 Pages Number 页数 233页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-20 Shipping Weight 商品重量 379g Language 语种 英语 Book Contents 内容简介 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. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicit
¥548.00

【预订】Direct Methods in the Calculus of Variations 97814419225 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441922595 Author 作者 Bernard Dacorogna Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 Springer New York Publication Date 出版日期 2010-11-29 Shipping Weight 商品重量 961g Language 语种 英语 Book Contents 内容简介 This book is developed for the study of vectorial problems in the calculus of variations. It is a new edition of the earlier book published in 1989. Almost half of the book consists of new material and there are added examples.
¥1861

【预订】Linking Methods in Critical Point Theory 9781461272106 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781461272106 Author 作者 Schechter Format 版本 平装-胶订 Pages Number 页数 294页 Publisher 出版社 Birkhaeuser Boston Publication Date 出版日期 2012-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 980g Language 语种 英语 Book Contents 内容简介 As is well known, The Great Divide (a.k.a. The Continental Divide) is formed by the Rocky Mountains stretching from north to south across North America. It creates a virtual ’stone wall’ so high that wind, rain, snow, etc. cannot cross it. This keeps the weather distinct on both sides. Since railroad trains cannot climb steep grades and tunnels through these mountains are almost formidable, the Canadian Pacific Railroad searched for a mountain pass providing the lowest grade for its tracks. Employees discovered a suitable mountain pass, called the Kicking Horse Pass, el. 54
¥1095

【预订】Lysosomes: Methods and Protocols (Softcover Reprint of t 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493983438 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-07-20 Language 语种 英语
¥1643

【预订】Histones: Methods and Protocols (Softcover Reprint of th 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493982547 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-27 Language 语种 英语
¥1205

【预订】Oogenesis: Methods and Protocols (Softcover Reprint of t 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781493981410 Format 版本 平装-胶订 Publisher 出版社 Humana Press Publication Date 出版日期 2018-06-09 Language 语种 英语
¥1040
![预订Research Methods: A Tool for Life [ISBN:9781108470841]](images/model/guan/url_none.png)
预订Research Methods: A Tool for Life [ISBN:9781108470841] 【全球购】进口原版图书,约3-6周到达国内后发出
¥1184

海外直订The Methods of Distances in the Theory of Probability an
¥2006

【预订】Applied Methods for Agriculture and Natural Resource Man 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030134860 Author 作者 Siwa Msangi Format 版本 精装 Pages Number 页数 335页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-06-09 Language 语种 英语 Book Contents 内容简介 This book assesses recent developments in the analysis of agricultural policy and water resource management, and highlights the utility and theoretical rigor of quantitative methods for modeling agricultural production, market dynamics, and natural resource management. In diverse case studies of the intersection between agriculture, environmental quality and natural resource sustainability, the authors analyze economic behavior - both at aggregate as well as at individual agent-level - in order to highlight the practical implications for decision-markers dealing with environmental and agricultural policy. The volume also addresses the challenges of doing robust analysis
¥1095

【预订】Research Methods for the Digital Humanities 978331996712 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319967127 Author 作者 lewis levenberg Levenberg Services Inc. Bloomingburg NY Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2018-11-13 Language 语种 英语 Book Contents 内容简介 This volume introduces the reader to the wide range of methods that digital humanities employ, and offers a practical guide to the study, interpretation, and presentation of cultural material and practices. In this instance, the editors consider digital humanities to include both the use of computing to understand cultural material in new ways, and the application of theories and methods from the humanities to interpret new technologies. Each chapter provides a step-by-step guide to cutting-edge methodologies so that students can make informed decisions about the methods they use, consider ethical practices, follow practic
¥531.00

【预订】Arts-based Methods and Organizational Learning 978331963 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319638072 Author 作者 Chemi Format 版本 精装 Pages Number 页数 338页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2017-10-27 Shipping Weight 商品重量 601g Language 语种 英语 Book Contents 内容简介 This thematic volume explores the relationship between the arts and learning in various educational contexts and across cultures, but with a focus on higher education and organizational learning. Arts-based interventions are at the heart of this volume, which addresses how they are conceived, designed, carried out, and assessed in different higher educational and cultural contexts. Readers will discover diverse perspectives of the contributing authors from across the world and from a variety of settings: formal education, informal learning for adults and organisational learning. A necessary introductory conceptualisation sets the stage for the
¥1651

【3-6周达】Methods in Pharmacology: Volume 4a Renal Pharmacology 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【预订】Mixed Methods Social Network Analysis 9780367174446 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367174446 Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2019-12-10 Product Dimensions 商品尺寸 234x156 mm Language 语种 其它(含多语) Book Contents 内容简介 This book establishes an informed theoretical and methodological basis for research using Mixed Methods approaches to Social Network Analysis.
¥2185

预售 按需印刷Methods in Paleoethnobotany 北京发货,付款后10天内发货
¥530.00

海外直订Direct Methods in the Calculus of Variations 变分法中的直接方法
¥1477

【预售 按需印刷】Methods of Soil and Plant Analysis
¥473.45

【预售 按需印刷】Modular Methods in the Supervisory Contro
¥996.20

【预订】Formal Methods and Software Engineering: 21st Internatio 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030324087 Author 作者 Ait-Ameur Format 版本 平装-胶订 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-06 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 1680g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.
¥548.00

【预订】Research Methods 9780081022207 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780081022207 Author 作者 Williamson, Kirsty Format 版本 平装-胶订 Pages Number 页数 500页 Publication Date 出版日期 2017-11-27 Language 语种 英语 Book Contents 内容简介 Social and Behavioral Sciences
¥1428

【预售 按需印刷】Kernel Methods and Estimation of Extreme
¥906.95
![预订 Scaling Methods [ISBN:9781138143029]](images/model/guan/url_none.png)
预订 Scaling Methods [ISBN:9781138143029] 【全球购】进口原版图书,一般5-8周左右到国内
¥1977

【预订】Research Methods in the Social and Health Sciences 97815 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781544357676 Author 作者 Ted Palys and Chris Atchison Format 版本 平装-胶订 Pages Number 页数 768页 Publisher 出版社 Sage Publication Date 出版日期 2021-04-30 Language 语种 英语 Book Contents 内容简介 Research Methods in the Social and Health Sciences gives students a thorough and thoughtful introduction to the entire research process from start to finish, covering qualitative and quantitative research throughout. It lays out each step, from the literature review to ethical research to individual methods and dissemination of research.
¥1525

【预订】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

预售 按需印刷 Methods for Detecting Alpha and Beta Conta 北京发货,付款后10天内发货
¥804.00

按需印刷Modern Methods in Phytomedicine 预订,预计下单后2-3周左右发货!
¥1408

【3-6周达】Jets Methods of Cutting Carbide and Super Hard Materi 【全球购】进口原版图书,一般3-6周左右到国内
¥531.00

【预订】Advanced Methods for Modeling Markets 9783319534671 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319534671 Author 作者 Leeflang Format 版本 精装 Pages Number 页数 733页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2017-09-06 Shipping Weight 商品重量 1274g Language 语种 英语 Book Contents 内容简介 This volume presents advanced techniques to modeling markets, with a wide spectrum of topics, including advanced individual demand models, time series analysis, state space models, spatial models, structural models, mediation, models that specify competition and diffusion models. It is intended as a follow-on and companion to Modeling Markets (2015), in which the authors presented the basics of modeling markets along the classical steps of the model building process: specification, data collection, estimation, validation and implementation. This volume builds on the concepts presented in Modeling Markets with an emphasis on a
¥3833

【预订】I. Schur Methods in Operator Theory and Signal Processin 美国库房发货,通常付款后3-5周到货!
¥512.00

【预订】Operator Methods in Mathematical Physics: Conference on 美国库房发货,通常付款后3-5周到货!
¥1095

【预订】Spectral Methods Using Multivariate Polynomials On The U 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367345471 Author 作者 Kendall Atkinson Format 版本 精装 Pages Number 页数 262页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-11-08 Language 语种 英语 Book Contents 内容简介 Spectral Methods Using Multivariate Polynomials on the Unit Ball is a research level text on a numerical method for the solution of partial differential equations. The authors introduce, illustrate with examples, and analyze ’spectral methods’ that are based on multivariate polynomial approximations.
¥2035

【预订】Modern Methods for Business Research 9780805826777 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780805826777 Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Psychology Press Publication Date 出版日期 1998-03-01 Shipping Weight 商品重量 874g Language 语种 英语 Book Contents 内容简介 The puropse of the volume is is to introduce a selection of the latest popular methods for conducting business research. The goal is to provide an understanding and working knowledge of each method.
¥1958

【预订】Formal Methods: Foundations and Applications 97830306388 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030638818 Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-20 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic S
¥711.00

预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货,通常付款后3-5周到货
¥548.00

海外直订Formal Methods for Computational Systems Biology: 8th In
¥662.00

预订Research Methods for Counseling: An Introduction [ISBN:978 【全球购】进口原版图书,约3-6周到达国内后发出
¥918.00

【预订】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

预订 Inverse Methods in Electromagnetic Imaging 国外库房发货,通常付款后3-5周到货
¥548.00

【预订】Revival: Methods of Detection and Identification of Bact 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138560857 Author 作者 Mitruka, B. M.(作者) Format 版本 平装-胶订 Pages Number 页数 270页 Publication Date 出版日期 1800-01-01 Language 语种 英语
¥664.00

【预订】Research Methods in Public Administration and Nonprofit 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138743793 Author 作者 David E. McNabb Format 版本 精装 Pages Number 页数 578页 Publication Date 出版日期 2017-09-07 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 Upda
¥3616

【3-6周达】Novel Methods for Monitoring and Managing Land and Wa 【全球购】进口原版图书,一般3-6周左右到国内
¥1684

【3-6周达】Current Methods of Construction Design: Proceedings o 【全球购】进口原版图书,一般3-6周左右到国内
¥1684

【3-6周达】P-Adic Methods and Their Applications [ISBN:978019853 【全球购】进口原版图书,一般3-6周左右到国内
¥1000

【预订】Formal Methods in Computer Science 9780367225704 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
¥2035

【预订】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

湿地生物地球化学方法 Methods In Biogeochemistry Of Wetlands 英文原版 R DeL 农业科学RDeLaune
¥2074

海外直订医药图书Methods in Epidemiology: Population Size Estimation
¥1739

【预订】Projective Methods 9781169046863 美国库房发货,通常付款后3-5周到货!
¥476.00

【预订】Spectral Methods in Chemistry and Physics 9789401776943 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789401776943 Author 作者 Bernard Shizgal Format 版本 平装-胶订 Pages Number 页数 415页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-06 Shipping Weight 商品重量 772g Language 语种 英语 Book Contents 内容简介 This book is a pedagogical presentation of the application of spectral and pseudospectral methods to kinetic theory and quantum mechanics. There are additional applications to astrophysics, engineering, biology and many other fields. The main objective of this book is to provide the basic concepts to enable the use of spectral and pseudospectral methods to solve problems in diverse fields of interest and to a wide audience. While spectral methods are generally based on Fourier Series or Chebychev polynomials, non-classical polynomials and associated quadratures are used for many of the applications presented in the book
¥1095

【3-6周达】Emerging Methods in Family Research [ISBN:97833190156 【全球购】进口原版图书,一般3-6周左右到国内
¥1781

【3-6周达】Formal Methods for Industrial Critical Systems: 24th 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

海外直订Soft Methods for Data Science 数据科学的软方法
¥2067

预售 按需印刷Methods of the Policy Process
¥1401.65

【3-6周达】Formal Methods for Mining Structured Objects [ISBN:97 【全球购】进口原版图书,一般3-6周左右到国内
¥1105

【3-6周达】Cilia: Methods and Protocols [ISBN:9781493937875 【全球购】进口原版图书,一般3-6周左右到国内
¥585.00

【3-6周达】Formal Methods and Models for System Design: A System 【全球购】进口原版图书,一般3-6周左右到国内
¥2483

预订 New Methods of Celestial Mechanics 国外库房发货,通常付款后3-5周到货
¥4368