【预订】Quantum Methods In Social Science 9781786342775 美国库房发货，通常付款后3-5周到货！
¥652.00
【预订】Quantum Methods In Social Science: A First Course 978178 美国库房发货，通常付款后3-5周到货！
¥947.00
【预订】Geometric Methods in the Elastic Theory of Membranes in 美国库房发货，通常付款后3-5周到货！
¥1015
海外直订piRNA: Methods and Protocols 方法和协议
¥2713
预售 按需印刷 Methods of Mathematical Modelling 北京发货，付款后10天内发货
¥1635
【预订】Adaptive Methods of Computing Mathematics and Mechanics 美国库房发货，通常付款后3-5周到货！
¥1759
【预订】Innovative Methods for Numerical Solution of Partial Dif 美国库房发货，通常付款后3-5周到货！
¥1570
【预订】Integrated Methods for Optimization 美国库房发货，通常付款后3-5周到货！
¥1214
【预订】Wavelet Methods in Mathematical Analysis and Engineering 美国库房发货，通常付款后3-5周到货！
¥765.00
【预订】Numerical Methods for VIscosity Solutions and Applicatio 美国库房发货，通常付款后3-5周到货！
¥1001
Research Methods in Intercultural Communication 978111883743 现货图书
¥486.00
【预订】Synthetic Methods for Biologically Active Molecules Expl 美国库房发货，通常付款后3-5周到货！
¥1972
【预订】Modern Methods for Analysing Archaeological and Historic 美国库房发货，通常付款后3-5周到货！
¥4099
预订 The New Methods of Funding of the Cinema in Bulgaria and 国外库房发货，通常付款后3-5周到货
¥647.00
【预订】Formal Methods and Software Engineering 9783031172434 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031172434 Author 作者 Adrian Riesco Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.92 Shipping Weight 商品重量 1.40 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
¥548.00
[预定]Ensemble Methods: Foundations and Algorithms 海外预定商品，预计60-90天发货，非质量问题不支持退货
.
¥1037.4
Bayesian Methods for Data Analysis 数据分析中的贝叶斯方法 精装
¥959.00
海外直订Smart Methods for Environmental Externalities 环境外部性的智能方法
¥1966
【预订】Research Methods: The Basics 9781138693982 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138693982 Author 作者 Nicholas Walliman Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2017-09-12 Product Dimensions 商品尺寸 198x129mm Language 语种 其它（含多语） Book Contents 内容简介 Research Methods: The Basics is an accessible, user-friendly introduction to the different aspects of research theory, methods and practice.
¥1042
【预订】Research Methods in Public Administration and Public Man 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781032027647 Author 作者 Sandra van Thiel Format 版本 精装 Pages Number 页数 null页 Publisher 出版社 Routledge Publication Date 出版日期 2021-08-30 Language 语种 其它（含多语） Book Contents 内容简介 Research in Public Administration and Public Management has distinctive features that influence the choices and application of research methods. The standard methodologies for researching from the social sciences can be difficult to follow in the complex world of the public sector. In a dynamic political context, the focus lies on solving societal problems whilst also using methodological principles to do scientifically sound research.The second edition of Research Methods in Public Administration and Public Management represents a comprehensive guide to undertaking and using research in Public Management and Administration. It is succinct but covers a wide variety
¥2261
预售 按需印刷 Methods of Fundamental Solutions in Solid
¥1235
【预订】In Vitro Methods in Aquatic Ecotoxicology 美国库房发货，通常付款后3-5周到货！
¥3285
海外直订医药图书Methods for Investigating Localized Clustering of Di
¥598.00
【预订】Analytical Methods in Anisotropic Elasticity: With Symbo 美国库房发货，通常付款后3-5周到货！
¥548.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
【预订】Formal Methods for Software Architectures 9783540200833 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540200833 Author 作者 Berrdo Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-12 Language 语种 英语 Book Contents 内容简介 In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro,
¥548.00
【预订】Enhanced Methods in Computer Security, Biometric and Art 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781402077760 Author 作者 Pejas Format 版本 精装 Pages Number 页数 396页 Publisher 出版社 Springer US Publication Date 出版日期 2004-11-02 Language 语种 英语 Book Contents 内容简介 Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems contains over 30 contributions from leading European researchers showing the present state and future directions of computer science research. ’Methods of Artificial Intelligence and Intelligent Agents’ contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. ’Information Technology Security’ covers three important areas of security engineering in information systems: software secur
¥2190
【预订】Formal Methods and Software Engineering 9783540297970 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540297970 Author 作者 Lau Format 版本 平装-胶订 Pages Number 页数 502页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-27 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more.
¥548.00
【预订】Formal Methods and Software Engineering 9783540204619 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540204619 Author 作者 Dong Format 版本 平装-胶订 Pages Number 页数 682页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-10-27 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted
¥1095
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540261810 Author 作者 Steffen Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-06-03 Language 语种 英语
¥548.00
【预订】Bayesian Methods in Epidemiology 9780367576349 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367576349 Author 作者 Lyle D. Broemeling Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-06-30 Shipping Weight 商品重量 860g Language 语种 英语 Book Contents 内容简介 Written by a biostatistics expert with over 20 years of experience in the field, Bayesian Methods in Epidemiology presents statistical methods used in epidemiology from a Bayesian viewpoint. It employs the software package WinBUGS to carry out the analyses and offers the code in the text and for download online.The book examines study designs that investigate the association between exposure to risk factors and the occurrence of disease. It covers introductory adjustment techniques to compare mortality between states and regression methods to study the association between various risk factors and disease, including logisti
¥611.00
【预订】Topics and Methods in Condensed Matter Theory 9783540707 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540707264 Author 作者 Michele Cini Format 版本 精装 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-06-25 Language 语种 英语 Book Contents 内容简介 This book provides course material in theoretical physics intended for undergraduate and graduate students specializing in condensed matter. The book arose from teaching activity, offering readable and mathematical treatments emphasizing on physical meaning and applicability. Many worked examples are provided for illustration.
¥548.00
【预订】Formal Methods in Software and Systems Modeling 97835402 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540249368 Author 作者 Kreowski Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-02-09 Language 语种 英语 Book Contents 内容简介 By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
¥548.00
【预订】Numerical Methods for Wave Propagation 9789048150472 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048150472 Author 作者 Toro Format 版本 平装-胶订 Pages Number 页数 390页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-28 Language 语种 英语 Book Contents 内容简介 In May 1995 a meeting took place at the Manchester Metropolitan Uni? versity, UK, with the title International Workshop on Numerical Methods for Wave Propagation Phenomena. The Workshop, which was attended by 60 scientists from 13 countries, was preceded by a short course enti? tled High-Resolution Numerical Methods for Wave Propagation Phenom? ena. The course participants could then join the Workshop and listen to discussions of the latest work in the field led by experts responsible for such developments. The present volume contains written versions of their contributions from the majority of the speakers at the Workshop. Professor Amiram Harten, but for his untimely death
¥1643
【预订】Formal Methods and Stochastic Models for Performance Eva 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540353621 Author 作者 Horváth Format 版本 平装-胶订 Pages Number 页数 239页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-12 Language 语种 英语 Book Contents 内容简介 The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpap
¥548.00
【预订】Meshfree Methods for Partial Differential Equations IV 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540799931 Author 作者 Michael Griebel Universit?t Bonn Institut für Numerische Si Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-10 Shipping Weight 商品重量 640g Language 语种 英语 Book Contents 内容简介 The numerical treatment of partial differential equations with particle methods and meshfree discretization techniques is a active research field both in the mathematics and engineering community. This volume of LNCSE is a collection of the proceedings papers of the Fourth International Workshop on Meshfree Methods held in September 2007 in Bonn.
¥1095
【预订】Multigrid Methods VI 9783540671572 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540671572 Author 作者 Dick Format 版本 平装-胶订 Pages Number 页数 292页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-08-28 Language 语种 英语
¥1643
预订 Key Methods in Geography 地理学的关键方法: 9781529772098 国外库房发货，通常付款后3-5周到货
¥1154
海外直订Matrix Methods and Fractional Calculus 矩阵方法与分数阶微积分
¥1290
海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988
【3-6周达】Serpins: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥563.00
按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！
¥740.00
海外直订Formal Methods for Industrial Critical Systems: 18th Int
¥559.00
海外直订Mixed Methods: Interviews, Surveys, and Cross-Cultural C
¥1733
预订 Mixed Methods for Psychological Measurement 国外库房发货，通常付款后3-5周到货
¥2034
【预订】Comparison Methods and Stability Theory 美国库房发货，通常付款后3-5周到货！
¥2561
海外直订Modern Methods of Igneous Petrology: Understanding Magma
¥715.00
海外直订Formal Methods for Hardware Verification: 6th Internatio
¥662.00
海外直订Oat: Methods and Protocols OAT：方法和协议
¥1726
海外直订医药图书Methods, Models, and Computation for Medical Informa
¥3787
海外直订New Methods for Polymer Synthesis 高分子合成的新方法
¥1988
【预订】Direct Methods For Stability Analysis Of Electric 美国库房发货，通常付款后3-5周到货！
¥2247
【3-6周达】Mtor: Methods and Protocols (2012) [ISBN:978161779429 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Matrix Methods of Structural Analysis [ISBN:9780815381501 【全球购】进口原版图书，一般5-8周左右到国内
¥1773
预订 Optical Methods for Managing the Diabetic Foot [ISBN:9781 【全球购】进口原版图书，一般5-8周左右到国内
¥1365
【预售 按需印刷】Practical Methods for Improving the Motion Performa
¥697.85
【预订】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
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车