【预订】Formal Methods and Models for System Design 978144195464 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441954640 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 372页 Publisher 出版社 Springer US Publication Date 出版日期 2011-12-14 Language 语种 英语 Book Contents 内容简介 Perhaps nothing characterizes the inherent heterogeneity in embedded sys? tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre? sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod? art, though eling, opt
¥1751
海外直订Direct Methods for Solving the Boltzmann Equation and St
¥1137
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
¥588.00
【预售 按需印刷】Innovative Methods for Analyzing and Forecasting Wo
¥1073.55
按需印刷TF Methods in Human Animal Studies 预订，预计下单后4-6周左右发货
¥2142
海外直订Formal Methods: 24th International Symposium, FM 2021, V
¥1097
海外直订Formal Methods. FM 2019 International Workshops: Porto,
¥534.00
海外直订Energy Methods for Free Boundary Problems: Applications
¥1550
【3-6周达】Formal Methods and Software Engineering: 24th Interna 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Lectin Methods and Protocols [ISBN:978161737024 【全球购】进口原版图书，一般3-6周左右到国内
¥1675
海外直订医药图书Methods In Research And Development Of Biomedical De
¥916.00
海外直订RNA: Methods and Protocols RNA:方法和协议
¥1550
【预订】Formal Methods and Software Engineering 9783319254227 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319254227 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-02 Shipping Weight 商品重量 706g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
¥548.00
【预订】Stochastic Methods in Asset Pricing 9780262036559 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780262036559 Author 作者 Lyasoff Format 版本 精装 Pages Number 页数 632页 Publisher 出版社 Penguin Random House US Publication Date 出版日期 2017-08-25 Product Dimensions 商品尺寸 9 x 6.2 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 A comprehensive overview of the theory of stochastic processes and its connections to asset pricing, accompanied by some concrete applications. This book presents a self-contained, comprehensive, and yet concise and condensed overview of the theory and methods of probability, integration, stochastic processes, optimal control, and their connections to the principles of asset pricing. The book is broader in scope than other introductory-level graduate texts on the subject, requires fewer prerequisites, and covers the relevant material at greater depth, mainly without rigorous techni
¥537.00
海外直订Formal Methods in Manufacturing Systems: Recent Advances
¥2504
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
【预订】Advanced Methods in Molecular Biology and Biotechnology: 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128244494 Author 作者 Masoodi Khalid Z. Format 版本 平装-胶订 Publisher 出版社 Academic Press Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1386
【预订】Epigenetic Methods in Neuroscience Research 978149394941 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781493949410 Author 作者 Nina Karpova Format 版本 平装-胶订 Pages Number 页数 258页 Publisher 出版社 Humana Press Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 This volume presents state-of-the-art methods for reliable detection of epigenetic changes in the nervous system.?Epigenetic Methods in Neuroscience Research? guides readers through methods for the analyses of chromatin remodeling, transposable elements, non-coding RNAs, such as miRNAs, and circadian oscillations, including: analysis of DNA methylation in neuronal and glial cells or small tissue samples; sensitive method for quantification of alternative methylated forms of cytosines by liquid chromatography/mass spectrometry; affinity-based detection of modified cytosines by immunohistochemistry or methylated DNA immunoprecipitation; c
¥766.00
【预订】Matrix Methods 9780128184196 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128184196 Author 作者 Bronson Richard Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Academic Press Publication Date 出版日期 2020-02-01 Language 语种 英语
¥1066
预订 Search Methods in Artificial Intelligence [ISBN:978100928 【全球购】进口原版，一般3-6周左右到国内
¥950.00
【预订】Wavelet Methods for Dynamical Problems 9781439804612 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781439804612 Author 作者 S. Gopalakrishnan and Mira Mitra Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 CRC Press Publication Date 出版日期 2010-03-17 Shipping Weight 商品重量 566g Language 语种 英语 Book Contents 内容简介 Explaining wavelet transform from a mechanical engineering perspective, this book discusses the numerical solution of structural dynamics and wave propagation problems using wavelet transform methods. After an introduction to signal processing aspects, the text examines the implementation of wavelet transform for simulating the response of a dynamical system and then discusses the development of a wavelet-based simulation scheme for wave propagation analysis. The chapters also address wave propagation analysis of carbon nanotubes and the application of wave propagation studies for structural health monitoring, force identifica
¥719.00
【3-6周达】Research Methods for Social Work: Being Producers and 【全球购】进口原版图书，预计3-6周左右到国内
¥997.00
海外直订Novel Methods in Soft Matter Simulations 软物质模拟的新方法
¥553.00
【预订】Stochastic Methods in Finance 9783540229537 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540229537 Author 作者 Frittelli Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-11-22 Language 语种 英语 Book Contents 内容简介 This volume includes the five lecture courses given at the CIME-EMS School on ’Stochastic Methods in Finance’ held in Bressanone/Brixen, Italy 2003. It deals with innovative methods, mainly from stochastic analysis, that play a fundamental role in the mathematical modelling of finance and insurance: the theory of stochastic processes, optimal and stochastic control, stochastic differential equations, convex analysis and duality theory. Five topics are treated in detail: Utility maximization in incomplete markets; the theory of nonlinear expectations and its relationship with the theory of risk measures in a dynamic setting; credit risk modelling; the interplay
¥548.00
【预订】Research Methods for Student Radiographers 9780367559335 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367559335 Author 作者 Hayre Christopher M. Format 版本 平装-胶订 Pages Number 页数 190页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This book provides an holistic picture of the application of research in radiography and focuses on multivariant methodological approaches and practices. It will provide readers insight into both contemporary and innovative methods within radiography research, backed up with evidence-based literature. This book may also be translated into other health disciplines as it introduces research to the reader by detailing terms that can often be confusing for students. These remain central in understanding the importance of research in radiography and how the generation of new knowledge is obtained. This will be supported with subsequent chapters concerning the
¥909.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
【预订】Applied Methods for Agriculture and Natural Resource Man 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030134891 Author 作者 Siwa Msangi Format 版本 平装-胶订 Pages Number 页数 260页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-06-12 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 a
¥1095
【3-6周达】Methods of Digital Holography [ISBN:9781475758290] 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Modern Methods of Drug Design and Development 9780443158 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780443158711 Author 作者 Lloyd Format 版本 精装 Pages Number 页数 574页 Publisher 出版社 Academic Press Publication Date 出版日期 2023-10-15 Language 语种 其它（含多语） Book Contents 内容简介 Modern Methods of Drug Design and Development, a volume in the Methods in Enzymology series highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including Recombinant protein purification for structural and kinetic studies, Steady-state kinetic analysis of reversible enzyme inhibitors, Steady-State Enzyme Kinetics, Analysis of enzyme kinetic data using ICEKAT, NMR techniques in drug discovery, Dynamic simulations and pre-steady state kinetics to guide drug discovery, Design and assay of substrate-product analogues for racemases and epimerases, Sensitive high throughput methods to screen for P450 inhibition: A- MI
¥2122
【预订】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
【预订】Advanced Methods and Applications in Chemoinformatics 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781609608606 Author 作者 Eduardo A. Castro Format 版本 精装 Pages Number 页数 512页 Publisher 出版社 Engineering Science Reference Publication Date 出版日期 2011-08-31 Language 语种 英语 Book Contents 内容简介 Chemoinformatics is a scientific area that endeavours to study and solve complex chemical problems using computational techniques and methods. The collection of topics in this book aims to reflect the diversity of recent advances in chemoinformatics with a broad perspective which may be useful for scientists as well as for graduate students and engineers. This book presents leading-edge research from around the world in this dynamic field.Advanced Methods and Applications in Chemoinformatics: Research Methods and New Applications provides innovative chapters on the growth of educational, scientific, and industrial research activities among chemists and chemical
¥1669
【预订】Direct Methods for Limit and Shakedown Analysis of Struc 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319357966 Author 作者 Paolo Fuschi Università Mediterranea di Reggio Calabria Re Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-10-14 Shipping Weight 商品重量 589g Language 语种 英语 Book Contents 内容简介 Articles in this book examine various materials and how to determine directly the limit state of a structure, in the sense of limit analysis and shakedown analysis. Apart from classical applications in mechanical and civil engineering contexts, the book reports on the emerging field of material design beyond the elastic limit, which has further industrial design and technological applications. Readers will discover that “Direct Methods” and the techniques presented here can in fact be used to numerically estimate the strength of structured materials such as composites or
¥1095
【预订】Formal Methods – Fun for Everybody 9783030713737 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030713737 Format 版本 平装-胶订 Pages Number 页数 227页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
¥548.00
海外直订Phasor Methods of AC Circuit Analysis: - Designed Using
¥476.00
【预订】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
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥722.00
【3-6周达】Isotope Methods for Dating Old Groundwater [ISBN:9789 【全球购】进口原版图书，一般3-6周左右到国内
¥1842
【3-6周达】Methods in Protein Structure Analysis [ISBN:978148991 【全球购】进口原版图书，一般3-6周左右到国内
¥2147
【3-6周达】PCR: Methods and Protocols [ISBN:9781071633601] 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【预订】Biomedical Methods 9783110640595 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110640595 Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-02-20 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它（含多语） Book Contents 内容简介 The mechanical properties of cells can be used to distinguish pathological from normal cells and tissues in many diseases. This book will outline the physics behind cell and tissue mechanics, describe the methods which can be used to determine their mechanical properties, and present various diseases in which a mechanical fingerprint could be established. The book is designed to not require a background in either Physics or Life Sciences.
¥1033
【预订】Thermal Methods 9780128219331 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128219331 Format 版本 平装-胶订 Pages Number 页数 460页 Publisher 出版社 Gulf Professional Publishing Publication Date 出版日期 2023-04-28 Product Dimensions 商品尺寸 9.25 x 7.50 x 0.93 Shipping Weight 商品重量 1.74 Language 语种 其它（含多语）
¥2132
【预订】Empirical Methods in Short-Term Climate Prediction 美国库房发货，通常付款后3-5周到货！
¥1888
预订 Complex Methods for Partial Differential Equations [ISBN: 【全球购】进口原版图书，约3-6周到达国内后发出
¥1043
海外直订Formal Methods for Industrial Critical Systems: 29th Int
¥642.00
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内
¥1974
预订 Research Methods [ISBN:9780415340755] 【全球购】进口原版图书，一般5-8周左右到国内
¥2793
【预订】Research Methods and Statistics in Psychology 9781138708 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138708952 Author 作者 COOLICAN Format 版本 精装 Pages Number 页数 826页 Publisher 出版社 Routledge Publication Date 出版日期 2018-11-29 Language 语种 英语 Book Contents 内容简介 The seventh edition of Research Methods and Statistics in Psychology provides students with the most readable and comprehensive survey of research methods, statistical concepts and procedures in psychology today. Assuming no prior knowledge, this bestselling text takes you through every stage of your research project giving advice on planning and conducting studies, analysing data and writing up reports.The book provides clear coverage of experimental, interviewing and observational methods, psychological testing, qualitative methods and analysis and statistical procedures which include nominal level tests, multi-factorial ANOVA designs, multiple regression, log linear analysis, and factor
¥2185
【3-6周达】Formal Methods: Foundations and Applications: 17th Br 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
预订 Numerical Methods for Delay Differential Equations 国外库房发货，通常付款后3-5周到货
Product Details 基本信息 ISBN-13 书号 9780199671373 Author 作者 Alfredo Bellen,Marino Zennaro Format 版本 平装 Pages Number 页数 410页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2013年4月1日 Product Dimensions 商品尺寸 15.6 x 2.2 x 23.2 cm Shipping Weight 商品重量 621 g Language 语种 英语 Book Description 内容简介 The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit with respect to ordinary differential equations are preliminarily outlined by numerous examples illustrating some unexpected, and often surprising, behaviours of the analytical and numerical solutions. The effect of various kinds of delays on the regularity of the solution is
¥1005
【预订】Zebrafish: Methods for Assessing Drug Safety and Toxicit 美国库房发货，通常付款后3-5周到货！
¥1555
【预订】Catalytic Methods in Asymmetric Synthesis: Advanced Mate 美国库房发货，通常付款后3-5周到货！
¥2179
【预订】Detection Methods for Algae, Protozoa & Helminths in Fre 美国库房发货，通常付款后3-5周到货！
¥3609
【预订】Diverse Methods in Customer Relationship Marketing and M 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781522556190 Author 作者 In Lee Format 版本 精装 Pages Number 页数 333页 Publisher 出版社 Business Science Reference Publication Date 出版日期 2018-05-25 Language 语种 英语 Book Contents 内容简介 Consumer interaction and engagement are vital components to help marketers maintain a lasting relationship with their customers. By developing positive relationships with consumers, businesses can better maintain their customers’ loyalty. Diverse Methods in Customer Relationship Marketing and Management is a critical scholarly resource that examines how marketing has shifted to a relationship-oriented model. Due to this, there is an increased need for customer relationship marketing and management to emerge as an invaluable approach to strengthening companies and the customer experience. Featuring coverage on a wide range of topics such as relational marketing technology a
¥1840
海外直订Modern Methods in Operator Theory and Harmonic Analysis:
¥1429
海外直订医药图书Methods for Stability Testing of Pharmaceuticals 药品稳
¥1154
海外直订Direct Methods for Limit and Shakedown Analysis of Struc
¥1033
海外直订Field Methods in Marine Science: From Measurements to Mo
¥1060
海外直订Formal Methods for Executable Software Models: 14th Inte
¥553.00
【预订】Aging: Methods and Protocols 9781071605912 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781071605912 Author 作者 Sean P Curran Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 Humana Press Publication Date 出版日期 2020-05-14 Language 语种 英语 Book Contents 内容简介 This volume details the impact of aging on biological system and to understand the basis of this diversity with the goal of elucidating mechanisms to optimize health. Chapters guide readers through different animal models and methodologies to examine aging at the organism, tissue, cellular, and molecular levels across the lifespan. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and cutting-edge, Aging: Methods and Protoco
¥1753
【预订】Research Methods in Palliative Care 美国库房发货，通常付款后3-5周到货！
¥1008
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车