海外直订Modern Methods in Analytical Morphology 分析形态学的现代方法
¥963.00
海外直订RNA: Methods and Protocols RNA:方法和协议
¥1988
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑与直
¥2651
【3-6周达】Imaging Methods for Novel Materials and Challenging A 【全球购】进口原版图书，一般3-6周左右到国内
¥2156
3-6周达 Formal Methods Applied to Complex Systems: Implementat 【全球购】进口原版图书，预计3-6周左右到国内
¥2097
【3-6周达】Formal Methods for Model-Driven Engineering: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
【3-6周达】Mesh Methods for Boundary-Value Problems and Applicat 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【3-6周达】Optical Methods in Engineering Metrology [ISBN:978940 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
3-6周达 Thermal Methods [ISBN:9780128219331] 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥2019
【预售 按需印刷】Data-Based Methods for Materials Design a
¥950.30
【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING
¥1173
【3-6周达】P-Adic Methods and Their Applications [ISBN:978019853 【全球购】进口原版图书，一般3-6周左右到国内
¥1000
【预订】Scaling Methods 美国库房发货，通常付款后3-5周到货！
¥707.00
【预订】Commercial Methods of Analysis 美国库房发货，通常付款后3-5周到货！
¥2547
【预订】Research Methods for Social Psychology 9781118406052 美国库房发货，通常付款后3-5周到货！
¥1499
【预订】Analytical Methods in Corrosion Science and Engineering 美国库房发货，通常付款后3-5周到货！
¥2751
【预订】Multiscale Methods in Computational Mechanics 9789048198 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789048198085 Author 作者 de Borst Format 版本 精装 Pages Number 页数 446页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-10-25 Shipping Weight 商品重量 1820g Language 语种 英语 Book Contents 内容简介 This work gives a modern, up-to-date account of recent developments in computational multiscale mechanics. Both upscaling and concurrent computing methodologies will be addressed for a range of application areas in computational solid and fluid mechanics: Scale transitions in materials, turbulence in fluid-structure interaction problems, multiscale/multilevel optimization, multiscale poromechanics.A Dutch-German research group that consists of qualified and well-known researchers in the field has worked for six years on the topic of computational multiscale mechanics. This text provides a unique opportunity to consolidate and disseminate
¥1095
【预订】Formal Methods: Foundations and Applications 97836421045 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642104510 Author 作者 Marcel Vinícius Medeiros Oliveira Lagoa Nova Natal Brazil Format 版本 平装-胶订 Pages Number 页数 351页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-09 Shipping Weight 商品重量 557g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational sys
¥548.00
【预订】Formal Methods: Foundations and Applications 97836422503 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642250316 Author 作者 Simao Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-10-28 Shipping Weight 商品重量 338g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
¥548.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥548.00
【预订】Relational Methods in Computer Science 9783211829714 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783211829714 Author 作者 Brink Format 版本 平装-胶订 Pages Number 页数 272页 Publisher 出版社 Springer Wien Publication Date 出版日期 1997-04-23 Language 语种 英语 Book Contents 内容简介 The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathe
¥548.00
【预订】Standard Methods of Geophysical Formation Evaluation 978 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781566702614 Author 作者 James K. Hallenburg Format 版本 精装 Pages Number 页数 480页 Publisher 出版社 CRC Press Publication Date 出版日期 1997-12-29 Shipping Weight 商品重量 907g Language 语种 英语 Book Contents 内容简介 Non-Hydrocarbon Methods of Geophysical Formation Evaluation discusses uses of formation evaluation in environmental science and engineering, hydrogeology, and other fields outside the petroleum industry, and demonstrates how the standard methods can be adapted to these non-hydrocarbon purposes. It presents step-by-step instructions for photon, magnetic, nuclear, and acoustic methods of exploration, and gives special attention to the analytical techniques used in non-hydrocarbon exploration.
¥2561
预订 Modern Methods in Solid-State NMR: A Practitioner's Guide 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2090
【预订】Research Methods in Indigenous Contexts 9783319892061 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319892061 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-06-06 Language 语种 其它（含多语）
¥548.00
【预订】Newton Methods for Nonlinear Problems 9783540210993 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540210993 Author 作者 Deuflhard Format 版本 精装 Pages Number 页数 424页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-04-26 Language 语种 英语 Book Contents 内容简介 This book deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). Its focus is on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. The term ’affine invariance’ means that the presented algorithms and their convergence analysis are invariant under one out of four subclasses of affine transformations of the problem to be solved. Compared to traditional textbooks, the distinguishing affine invariance approach leads to shorter theorems and proofs and permits
¥1205
【3-6周达】Emerging Methods in Family Research [ISBN:97833190156 【全球购】进口原版图书，一般3-6周左右到国内
¥1781
预订 Linking Methods in Critical Point Theory 9780817640958 国外库房发货，通常付款后3-5周到货
¥1149
按需印刷New Methods and Paradigms for Modeling Dynamic Processes 预订，预计下单后2-3周左右发货！
¥1875
按需印刷New Methods of Teaching and Learning in Libraries 预订，预计下单后2-3周左右发货！
¥1466
【预订】Research Methods for Health and Social Care 978023050078 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780230500785 Author 作者 Joanne Neale Format 版本 平装-胶订 Pages Number 页数 336页 Publisher 出版社 Red Globe Press Publication Date 出版日期 2008-11-12 Shipping Weight 商品重量 587g Language 语种 英语 Book Contents 内容简介 This accessible and clearly structured book, written by experienced researchers and practitioners, provides a one-stop introduction to the most common qualitative, quantitative and desk-based research designs and methods in health and social care.
¥567.00
预订 Formal Methods and Hybrid Real-Time Systems 国外库房发货，通常付款后3-5周到货
¥548.00
【3-6周达】Soft Methods for Handling Variability and Imprecision 【全球购】进口原版图书，一般3-6周左右到国内
¥1684
【预订】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
【3-6周达】Allergy Methods and Protocols [ISBN:9781617372438] 【全球购】进口原版图书，一般3-6周左右到国内
¥1202
【预售 按需印刷】Research Methods and Tools in Social Scie 北京发货，付款后10天内发货
¥1158
【预售 按需印刷】Molecular Methods in Ecology
¥1872.55
【预订】Topics and Methods in Condensed Matter Theory 9783642089 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642089640 Author 作者 Michele Cini Format 版本 平装-胶订 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-10-15 Language 语种 英语
¥548.00
预售 按需印刷 Methods and Applications of Geospatial Tec
¥1687
【预订】Research Methods in International Business 9783030221126 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030221126 Format 版本 精装 Pages Number 页数 511页 Publisher 出版社 Palgrave MacMillan Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.2 x 5.8 x 1.1 cm Shipping Weight 商品重量 1710g Language 语种 英语
¥2359
【3-6周达】Novel Methods for Near Lossless Compression for Medic 【全球购】进口原版图书，一般3-6周左右到国内
¥810.00
【预订】Operator Methods for Boundary Value Problems 美国库房发货，通常付款后3-5周到货！
¥740.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，一般3-6周左右到国内
¥585.00
预订 Control Methods in PDE-Dynamical Systems [ISBN:9780821837 【全球购】进口原版图书，约3-6周到达国内后发出
¥932.00
预订 Ordinal Methods for Behavioral Data Analysis [ISBN:978113 【全球购】进口原版图书，一般5-8周左右到国内
¥706.00
【预售 按需印刷】Symbolic Methods in Control System Analys
¥2036.6
【预售 按需印刷】Testing Methods For Fault Detection In El
¥866.15
【预订】Integrated Methods in Protein Biochemistry: Part B 97803 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780323992640 Author 作者 Shukla Format 版本 精装 Pages Number 页数 420页 Publisher 出版社 Academic Press Publication Date 出版日期 2023-01-18 Language 语种 其它（含多语）
¥2122
【预订】Research Methods in Library and Information Science 9781 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781440878572 Author 作者 Lynn Silipigni Connaway Format 版本 平装-胶订 Pages Number 页数 528页 Publisher 出版社 ABC-CLIO, Inc. Publication Date 出版日期 2021-05-31 Language 语种 其它（含多语）
¥644.00
【预订】Laboratory Methods of Organic Chemistry 9783112333471 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783112333471 Author 作者 Gattermann Format 版本 精装 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1932-12-31 Language 语种 其它（含多语）
¥1580
【预订】Geometric Methods in Physics XXXV: Workshop and Summer S 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319875897 Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 Birkhauser Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1010g Language 语种 英语
¥1095
【预订】Numerical Methods and Applications (1994) 9781138105829 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138105829 Author 作者 Edited by Guri I Marchuk Format 版本 精装 Pages Number 页数 282页 Publication Date 出版日期 2017-09-28 Language 语种 英语 Book Contents 内容简介 This book presents new original numerical methods that have been developed to the stage of concrete algorithms and successfully applied to practical problems in mathematical physics. The book discusses new methods for solving stiff systems of ordinary differential equations, stiff elliptic problems encountered in problems of composite material mechanics, Navier-Stokes systems, and nonstationary problems with discontinuous data. These methods allow natural paralleling of algorithms and will find many applications in vector and parallel computers.
¥2441
【预订】Research Methods for Environmental Psychology 9781118795 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781118795330 Author 作者 Robert Gifford Format 版本 精装 Pages Number 页数 438页 Publisher 出版社 Wiley-Blackwell Publication Date 出版日期 2015-11-13 Language 语种 英语 Book Contents 内容简介 Research Methods for Environmental Psychology is the first new book covering research methods in environmental psychology in over 25 years, bringing the subject completely up-to-date with coverage of the latest methodology. Environmental psychology is an
¥1891
【预订】Numerical Methods in Geomechanics, Sixth Edition - Volum 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789061918110 Author 作者 G. Swoboda Format 版本 精装 Pages Number 页数 762页 Publisher 出版社 CRC Press Publication Date 出版日期 1988-01-01 Shipping Weight 商品重量 1451g Language 语种 其它（含多语） Book Contents 内容简介 .
¥3616
预订 New Methods of Teaching and Learning in Libraries 图书馆教学与学 国外库房发货，通常付款后3-5周到货
¥1760
预订 Mining Methods: 9786207842537 国外库房发货，通常付款后3-5周到货
¥798.00
预订 Novel Methods in Molecular and Cellular Biochem [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2722
【3-6周达】Myelin: Methods and Protocols (Softcover Reprint of t 【全球购】进口原版图书，一般3-6周左右到国内
¥1974
【3-6周达】Applied Methods of Cost-Benefit Analysis in Health Ca 【全球购】进口原版图书，一般3-6周左右到国内
¥922.00
【3-6周达】Methods in Cancer Stem Cell Biology [ISBN:97898199133 【全球购】进口原版图书，一般3-6周左右到国内
¥1588
预订 医学信息学方法Methods in Medical Informatics [ISBN:9781138374416 【全球购】进口原版图书，一般5-8周左右到国内
¥875.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车