【预订】Research Methods in Psychology Y9780857022646 美国库房发货，通常付款后3-5周到货！
¥576.00
【预订】Bayesian Methods for Ecology 美国库房发货，通常付款后3-5周到货！
¥609.00
【预订】Practical Methods For Design And Analysis Of Complex 美国库房发货，通常付款后3-5周到货！
¥1986
【预订】Tools and Methods for Pollution Prevention Y978079235925 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods in Scientific Computing and 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】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
【预订】Simulation Methods for Reliability and Availability of C 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848822122 Author 作者 Faulin Format 版本 精装 Pages Number 页数 316页 Publisher 出版社 Springer London Publication Date 出版日期 2010-04-19 Shipping Weight 商品重量 1430g Language 语种 英语 Book Contents 内容简介 Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) levels in complex systems. The book: shares theoretical or applied models and decision support systems that make use of simulation to estimate and to improve system R and A levels, forecasts emerging technologies and trends in the use of computer simulation for R and A and proposes hybrid approaches to the development of efficient methodologies designed to solve R and A-related problems in real-life systems.Dealing with practical issues, Simulation Meth
¥1643
【预订】Formal Methods and Software Engineering 9783540881933 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540881933 Author 作者 Shaoying Liu Hosei University Dept. Computer Science Kogan Format 版本 平装-胶订 Pages Number 页数 397页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 Formal engineering methods are intended to oer e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must
¥548.00
【预订】Research Methods in International Business 9783030221157 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030221157 Format 版本 平装-胶订 Pages Number 页数 511页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2020-12-08 Product Dimensions 商品尺寸 8.2 x 5.8 x 1 cm Shipping Weight 商品重量 1370g Language 语种 其它（含多语） Book Contents 内容简介 Showcasing methodological rigour and state-of-the-art methods as hallmarks of modern international business (IB) research, this book offers a collection of the most relevant and highly cited research methods articles from the Journal of International Business Studies (JIBS). Each piece is accompanied by a new Commentary written by experts in the field; some also include Further Reflections by the original authors. Encompassing both qualitative and quantitative approaches, this comprehensive volume explores research design, testing and reporting, as well as specific methodological issues such a
¥2359
【预订】Laboratory Methods in Enzymology: Protein Part C 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Laboratory Methods in Enzymology: Protein Part B 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Playful Methods 9780367211523 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367211523 Author 作者 Carmen Liliana Medina Format 版本 平装-胶订 Pages Number 页数 160页 Publisher 出版社 Routledge Publication Date 出版日期 2022-01-01 Product Dimensions 商品尺寸 229 x 152 mm (6 x 9) Language 语种 其它（含多语） Book Contents 内容简介 This book introduces three new subjects to the context of literacy research—play, the imaginary, and improvisation—and proposes how to incorporate these important concepts into the field as research methods in order to engage people, materials, spaces, and imaginaries that are inherent in every research encounter. Grounded in cutting-edge theory, chapters are structured around lived narratives of research experiences, demonstrating key practices for unsettling and expanding the ways people interact, behave, and construct knowledge. Through an exploration of difference, play and the imaginary,
¥542.00
【预订】Laboratory Methods in Enzymology: Protein Part a 美国库房发货，通常付款后3-5周到货！
¥2122
【预订】Kernel Methods and Machine Learning 美国库房发货，通常付款后3-5周到货！
¥1137
预订 Krylov Methods for Nonsymmetric Linear Systems 国外库房发货，通常付款后3-5周到货
¥1643
按需印刷Research Methods for Public Administrators:Third Edition 预订，预计下单后3-4周左右发货！
¥668.00
海外直订Formal Methods for Safety and Security 安全与保安的正式方法
¥1149
预订Bayesian Methods in Statistics:From Concepts to Practice 预订，预计下单后3-6周左右发货！
¥614.00
【预订】Integral Methods in Science and Engineering 978303134098 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031340987 Author 作者 Christian Constanda Format 版本 精装 Pages Number 页数 390页 Publisher 出版社 Birkh?user Publication Date 出版日期 2023-09-07 Language 语种 其它（含多语） Book Contents 内容简介 This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering. Chapters in this book are based on talks given at the Seventeenth International Conference on Integral Methods in Science and Engineering, held virtually in July 2022, and are written by internationally recognized researchers. This collection will be of interest to researchers in applied mathematics, physics, and mechanical, electrical, and petroleum engineering, as well as graduate students in these disciplines and other professionals for whom integration is an
¥2409
【预订】Numerical Methods for Scientists and Engineers 978999498 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789994988327 Author 作者 Sharma Format 版本 平装-胶订 Pages Number 页数 110页 Publisher 出版社 Eliva Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.23 Shipping Weight 商品重量 0.35磅 Language 语种 其它（含多语）
¥551.00
【预订】Formal Methods: Foundations and Applications 97830314934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031493416 Author 作者 Haniel Barbosa Format 版本 平装-胶订 Pages Number 页数 153页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-12-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.38 Shipping Weight 商品重量 0.56磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
¥603.00
预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。
¥855.72
【预订】Applied Methods in Design and Construction of Bridges, H 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781803555553 Author 作者 Khaled Ghaedi Format 版本 精装 Pages Number 页数 164页 Publisher 出版社 Intech Publication Date 出版日期 2022-12-07 Language 语种 其它（含多语） Book Contents 内容简介 This book presents a comprehensive overview of bridge and road engineering. Apart from bridge structures, roads and highways are integral to the advancement of cities. The lack of quantifiable, sustainable construction methods creates gaps in sustainability knowledge, leading to public, environmental, and financial dissatisfaction with completed highways and urban roads. This book discusses the key points in the design and construction assessment of bridges, highways, and roads. Chapters discuss such topics as bridge optimization techniques, risk assessment of roads, highway management systems, and challenges in highway construction. The book provides detailed insight into
¥1571
【预订】Formal Methods for Software Engineering 9783030387990 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030387990 Author 作者 Markus Roggenbach Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Language 语种 其它（含多语） Book Contents 内容简介 Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the
¥821.00
预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货，通常付款后3-5周到货
¥548.00
预订 按需印刷 Methods of Research on Teaching the English Language
This text makes available in a concise format the chapters comprising the research methodology section of the "Handbook of Research on Teaching the English Language Arts, Second Edition." An introduction, designed to give K-12 teachers an understanding of the basic categories and functions of research in teaching, is followed by chapters addressing teacher professionalism and the rise of multiple literacies; empirical research; longitudinal studies; case studies; ethnography; teacher research; teacher inquiry into literacy, social justice, and power; synthesis research; fictive representation; and contemporary methodological issues and future direction in research on the teaching of English. "Methods of Research on Teaching the English Language Arts" is well-suited for use in upper-level undergraduate and graduate-level literacy research methods courses.
¥631.55
【3-6周达】Formal Methods for Components and Objects: 7th Intern 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【预订】Inclusion Methods for Nonlinear Problems 9783211838525 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211838525 Author 作者 Herzberger Format 版本 平装-胶订 Pages Number 页数 244页 Publisher 出版社 Springer Wien Publication Date 出版日期 2002-12-10 Language 语种 英语 Book Contents 内容简介 This workshop was organized with the support of GAMM, the International Association of Applied Mathematics and Mechanics, on the occasion of J. Herzberger’s 60th birthday. GAMM is thankful to him for all the time and work he spent in the preparation and holding of the meeting. The talks presented during the workshop and the papers published in this volume are part of the field of Verification Numerics. The important subject is fostered by GAMM already since a number of years, especially also by the GAMM? FachausschuB (special interest group) ’Rechnerarithmetik und Wissenschaft? liches Rechnen’. GiHz Alefeld Karlsruhe, Dezember 2001 (President of GAMM) Preface At the end
¥1095
【3-6周达】piRNA: Methods and Protocols [ISBN:9781071623794] 【全球购】进口原版图书，一般3-6周左右到国内
¥2444
【3-6周达】Prions: Methods and Protocols [ISBN:9781493972425 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Aging Methods and Protocols [ISBN:9780896035829] 【全球购】进口原版图书，一般3-6周左右到国内
¥1105
预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内
¥1273
【3-6周达】Formal Methods: Applications and Technology: 11th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Krylov Methods for Nonsymmetric Linear Systems [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】Optical Methods in Sensing and Imaging for Medical and B 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783038973706 Format 版本 平装-胶订 Publisher 出版社 Mdpi AG Publication Date 出版日期 1800-01-01 Language 语种 英语
¥774.00
【预订】Clinical Methods in Respiratory Medicine 9789352704507 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789352704507 Format 版本 平装-胶订 Publisher 出版社 Jaypee Brothers Medical Publishers Publication Date 出版日期 1800-01-01 Language 语种 英语
¥944.00
海外直订Formal Methods for Industrial Critical Systems: 23rd Int
¥639.00
¥2269.5
海外直订Basic Methods of Structural Geology 构造地质学基本方法
¥1833
海外直订Formal Methods for Industrial Critical Systems: 14th Int
¥553.00
海外直订Formal Methods: Foundations and Applications: 16th Brazi
¥568.00
【3-6周达】Entropy Methods for the Boltzmann Equation: Lectures 【全球购】进口原版图书，一般3-6周左右到国内
¥486.00
【3-6周达】Asthma: Methods and Protocols [ISBN:9781071623633] 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Methods and Applications of Inversion [ISBN:978354065 【全球购】进口原版图书，一般3-6周左右到国内
¥768.00
【3-6周达】Direct Methods: Methodological Progress and Engineeri 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
预订 Analytic Methods of Systems and Software Testing [ISBN:97 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1495
预订 细胞膜成像方法Methods for Imaging Cell Membranes [ISBN:978103222 【全球购】进口原版图书，一般5-8周左右到国内
¥685.00
【3-6周达】Methods in Neurobiology: Volume 2 [ISBN:9781468438116 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Formal Methods in Computer-Aided Design: 5th Internat 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Robust Methods for Dense Monocular Non-Rigid 3D Recon 【全球购】进口原版图书，一般3-6周左右到国内
¥1013
【预订】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 Web Services 9783642019173 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642019173 Author 作者 Marco Bernardo Università di Urbino "Carlo Bo" Urbino Ita Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-05-12 Shipping Weight 商品重量 539g Language 语种 英语
¥504.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
¥548.00
【预订】Classical Methods of Statistics 9783540211150 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540211150 Author 作者 Kardaun Format 版本 精装 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-16 Language 语种 英语 Book Contents 内容简介 Classical Methods of Statistics is a guidebook combining theory and practical methods. It is especially conceived for graduate students and scientists who are interested in the applications of statistical methods to plasma physics. Thus it provides also concise information on experimental aspects of fusion-oriented plasma physics. In view of the first three basic chapters it can be fruitfully used by students majoring in probability theory and statistics. The first part deals with the mathematical foundation and framework of the subject. Some attention is given to the historical background. Exercises are added to help readers understand the underlying concepts. In the secon
¥1095
海外直订Modern Methods of Analytical Mechanics and Their Applica
¥576.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车