【3-6周达】Formal Methods for an Informal World [ISBN:9783031436 【全球购】进口原版图书，一般3-6周左右到国内
¥623.00
海外直订Sumo: Methods and Protocols 相扑：方法和协议
¥1337
【预订】Formal Methods for Protocol Engineering and Distributed 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781475752700 Author 作者 Jianping Wu Format 版本 平装-胶订 Pages Number 页数 500页 Publisher 出版社 Springer US Publication Date 出版日期 2013-04-18 Product Dimensions 商品尺寸 11 x 8.2 x 1 cm Shipping Weight 商品重量 2530g Language 语种 英语 Book Contents 内容简介 Formal Methods for Protocol Engineering and Distributed Systems addresses formal deion techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint Internatio
¥2190
按需印刷Mixed Methods:Interviews, Surveys, and Cross-Cultural Co 预订，预计下单后2-3周左右发货！
¥1252
【预订】Rigorous Methods for Software Construction and Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642114465 Author 作者 Jean-Raymond Abrial Marseille France Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-01-20 Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Egon Boerger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
¥548.00
预订 Research Methods [ISBN:9780415340762] 【全球购】进口原版图书，一般5-8周左右到国内
¥568.00
预订 Research Methods in Social Network Analysis [ISBN:9781138 【全球购】进口原版图书，一般5-8周左右到国内
¥1977
【3-6周达】高被引New Methods of Celestial Mechanics [ISBN:978160805 【全球购】进口原版图书，一般3-6周左右到国内
¥1028
预订 Modern Methods of Valuation [ISBN:9781138503519] 【全球购】进口原版图书，一般5-8周左右到国内
¥786.00
【3-6周达】Oat: Methods and Protocols [ISBN:9781493966806 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
【3-6周达】Optical Methods in Dynamics of Fluids and Solids: Pro 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
【3-6周达】Formal Methods for Industrial Critical Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Advanced Methods for Processing and Visualizing the Rene 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811586088 Format 版本 平装-胶订 Pages Number 页数 149页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 其它（含多语） Book Contents 内容简介 This book is a collection of research work conducted by researchers at Centre for Smart Grid Energy Research (CSMER), Institute of Autonomous System, Universiti Teknologi PETRONAS (UTP), and Seismic Modelling and Inversion Group, King Abdullah University of Science and Technology (KAUST), Saudi Arabia. The book covers topics in the field of renewable energy where visualization, artificial neural network and deep learning techniques have been applied to optimize the performance of various applications in energy-related industries. These examples include a natural gas vehicle (NGV), a s
¥1753
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Novel Methods in Electrical Stimulation with Surface Elec 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥743.00
海外直订医药图书Methods and Applications of Inversion 反演方法及应用
¥662.00
海外直订Formal Methods in Computer-Aided Design: 4th Internation
¥662.00
预订 Exact Methods for Nonlinear Pdes: 9781032710518 国外库房发货，通常付款后3-5周到货
¥1560
预订 Toyota Methods and Operating Models: Achieve Business Suc 国外库房发货，通常付款后3-5周到货
¥2428
海外直订Novel Methods for Monitoring and Managing Land and Water
¥1988
【预售 按需印刷】PRACTICAL METHODS FOR SUCCESSFUL CLASSROO 北京发货，付款后10天内发货
¥905.00
海外直订Formal Methods for Distributed Processing: A Survey of O
¥767.00
海外直订Direct Methods in the Calculus of Variations 变分法中的直接法
¥2253
海外直订Hybrid Methods of Molecular Modeling 分子模型的混合方法
¥5169
海外直订Key Methods in Geography 地理学关键方法
¥2387
【预订】Action Methods In Group Psychotherapy 9781560326588 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781560326588 Author 作者 Daniel J. Tomasulo Format 版本 精装 Pages Number 页数 234页 Publisher 出版社 Taylor & Francis Publication Date 出版日期 1998-10-01 Shipping Weight 商品重量 430g Language 语种 英语 Book Contents 内容简介 First Published in 1999. Routledge is an imprint of Taylor Francis, an informa company.
¥1958
【预订】Research Methods in Applied Settings 9781138852976 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138852976 Author 作者 Jeffrey A. Gliner Format 版本 精装 Pages Number 页数 620页 Publisher 出版社 Routledge Publication Date 出版日期 2016-08-10 Shipping Weight 商品重量 1208g Language 语种 英语 Book Contents 内容简介 This crystal clear, applied text teaches readers how to plan, conduct, and write a research project and select and interpret data through its integrated approach to research methods. Although not a statistics book, readers learn to master which technique to use when and how to analyze results, making them better consumers of research. Organized around the steps of conducting a research project, independent sections and chapters can be read in any order for utmost learning flexibility. A consistent framework increases comprehension. Numerous examples, diagrams, tables, key terms, summaries, applied problems and questions, and suggested readi
¥1658
海外直订New Methods of Polymer Synthesis: Volume 2 聚合物合成的新方法：第2卷
¥2651
【3-6周达】Mining Methods: Engineering Fundamentals [ISBN:978168 【全球购】进口原版图书，一般3-6周左右到国内
¥1465
【3-6周达】Research Methods in the Social Sciences [ISBN:9781429 【全球购】进口原版图书，一般3-6周左右到国内
¥4758
【3-6周达】Models, Methods, and Tools for Complex Chip Design: S 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Standard Methods for Thermal Comfort Assessment of Clothi 【全球购】进口原版图书，一般5-8周左右到国内
¥3269
【预订】Laboratory Methods in Microfluidics 9780128132357 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780128132357 Author 作者 Giri, Basant Format 版本 平装-胶订 Pages Number 页数 178页 Publication Date 出版日期 2017-05-18 Shipping Weight 商品重量 380g Language 语种 英语 Book Contents 内容简介 Physical and Theoretical Chemistry
¥1066
海外直订Java Methods for Financial Engineering: Applications in
¥769.00
海外直订医药图书Methods for Meta-Analysis in Medical Research 医学研究中的
¥1292
海外直订Direct Methods in Control Problems 控制问题中的直接方法
¥851.00
海外直订Formal Methods for Distributed System Development: Forte
¥2067
¥1325
【预订】Numerical Methods for Chemical Engineers Using Excel, VB 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781466575349 Author 作者 Victor J. Law Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2013-03-05 Shipping Weight 商品重量 544g Language 语种 英语 Book Contents 内容简介 Since many practical engineering problems must be solved numerically, this text provides instruction on using numerical methods and Excel?/VBA for chemical and biomolecular engineering problems, covering a broad range of application areas. It also includes an introduction to MATLAB? that is made easier to learn after studying the programming tools in previous chapters. Each chapter contains examples that show in detail how a particular numerical method or programming methodology can be implemented. The chapters also contain end-of-chapter exercises, with solutions provided.
¥1126
【预订】Research Methods and Applications in Chemical and Biolog 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781771887687 Format 版本 精装 Pages Number 页数 334页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2019-07-25 Language 语种 英语 Book Contents 内容简介 This research-oriented book consolidates and provides up-to-date experimental methods currently used in research for many branches of chemical and biological engineering. The book surveys essential ideas and research methodologies, concentrating on experiments as used in applications rather than on fine points of rigorous mathematics.
¥1868
【预订】Microarray Methods and Protocols 9781420046656 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781420046656 Author 作者 Robert S. Matson Format 版本 平装-胶订 Pages Number 页数 248页 Publisher 出版社 CRC Press Publication Date 出版日期 2009-01-20 Shipping Weight 商品重量 408g Language 语种 英语 Book Contents 内容简介 With insight into present and future uses for microarray technology, this volume provides an overview of companies that provide arrays, the type of arrays available, array construction processes, substrate chemistry, array printing, and quality control. It focuses on nucleic acid microarrays of biomedical relevance, microarrays in drug discovery, and the application of gene expression arrays to identify drug targets and predict potential drug toxicity problems. Finally, it looks at the relatively new field of protein microarray technology, discussing its technical challenges and practical solutions.
¥2035
【预订】Research Methods for Public Administrators 9780367334369 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367334369 Author 作者 Gary Rassel Format 版本 平装-胶订 Pages Number 页数 616页 Publisher 出版社 Routledge Publication Date 出版日期 2020-12-30 Language 语种 英语 Book Contents 内容简介 Research Methods for Public Administrators contains a thorough overview of research methods and statistical applications for advanced undergraduate and graduate students and practitioners. The material is based on established social science methods. Concepts and applications are discussed and illustrated with examples from actual research.The book covers research design, methods of data collection, instructions on formulating research plans, measurement, sampling procedures and statistical applications from basic statistics to more advance techniques. The basics of conducting experiments, survey research, case studies and focus groups are discussed. Data organization, management
¥1582
【预售 按需印刷】Matrix Methods and Fractional Calculus
¥1041.25
【预售 按需印刷】Numerical Methods in Variational Problems 北京发货，付款后10天内发货
¥814.00
【预订】Symplectic Methods in Harmonic Analysis and in Mathemati 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783764399917 Author 作者 de Gosson Format 版本 平装-胶订 Pages Number 页数 338页 Publisher 出版社 Springer Basel Publication Date 出版日期 2011-07-30 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 The aim of this book is to give a rigorous and complete treatment of various topics from harmonic analysis with a strong emphasis on symplectic invariance properties, which are often ignored or underestimated in the time-frequency literature. The topics that are addressed include (but are not limited to) the theory of the Wigner transform, the uncertainty principle (from the point of view of symplectic topology), Weyl calculus and its symplectic covariance, Shubin’s global theory of pseudo-differential operators, and Feichtinger’s theory of modulation spaces. Several applications to time-frequency analysis and quantum mechanics are g
¥932.00
【3-6周达】Malaria Methods and Protocols [ISBN:9780896038233] 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Novel Methods and Applications for Mineral Exploration, V 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥823.00
【预售 按需印刷】Inventory Methods in LCA
¥775.20
预订 New Methods to Improve Large-Scale Microscopy Image Analy 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥704.00
【预订】Formal Methods for Performance Evaluation 9783540724827 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540724827 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-18 Language 语种 英语 Book Contents 内容简介 This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
¥548.00
【预订】Analytic Methods in Sports 9780367252076 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367252076 Author 作者 Thomas A. Severini Format 版本 精装 Pages Number 页数 356页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-03-31 Language 语种 英语 Book Contents 内容简介 This book provides a concise yet thorough introduction to the analytic and statistical methods that are useful in studying sports. It explains how to apply the methods to sports data and interpret the results, demonstrating that the analysis of sports data is often different from standard statistical analyses.
¥2035
海外直订医药图书Methods in Asthmology 方法在Asthmology
¥553.00
海外直订Sumo: Methods and Protocols 相扑：方法和协议
¥1850
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
【预订】Marketing Methods to Improve Company Strategy 9780415873 美国库房发货，通常付款后3-5周到货！
¥1958
【预订】Analytical Methods in Chemical Analysis 9783110794809 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110794809 Author 作者 Kumar Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2023-06-12 Product Dimensions 商品尺寸 24,0 x 17,0 Language 语种 其它（含多语） Book Contents 内容简介 Analytical Chemistry employs different instruments, and methods for the collection, separation, identification, and quantification of various organic, inorganic and biological molecules. The field is based not only on chemistry but also on other disciplines such as biology, physics, pharmaceutical, and many areas of technology. The book provides information on basic concepts, techniques, and applications of the chemical analysis of various organic and inorganic compounds. It is organized into seven chapters that cover the basic concepts of qualitative and quantitative analysis, optical methods of analysis, along w
¥913.00
【预订】Analytic Methods in Number Theory 9789811279317 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789811279317 Author 作者 Zudilin Format 版本 精装 Pages Number 页数 200 pp页 Publisher 出版社 World Scientific Publishing Publication Date 出版日期 2023-09-22 Language 语种 其它（含多语） Book Contents 内容简介 There is no surprise that arithmetic properties of integral ("whole") numbers are controlled by analytic functions of complex variable. At the same time, the values of analytic functions themselves happen to be interesting numbers, for which we often seek explicit expressions in terms of other "better known" numbers or try to prove that no such exist. This natural symbiosis of number theory and analysis is centuries old but keeps enjoying new results, ideas and methods.The present book takes a semi-systematic review of analytic achievements in number theory ranging from classical themes about primes, continued fractions, transcendence of π and resolution
¥871.00
预订 Formal Methods in Architecture 预订商品
¥2409
【预订】Bioassay Methods in Natural Product Research and Drug De 美国库房发货，通常付款后3-5周到货！
¥2409
【预订】Computer Methods and Borel Summability Applied to Feigen 美国库房发货，通常付款后3-5周到货！
¥548.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车