【预订】Advanced Methods in Protein Microsequence Analysis 97836 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Lectin Methods and Protocols 9781617370243 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Meshfree Methods for Partial Differential Equations 9783 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Scattering Methods and the Properties of Polymer Materia 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Microchip Methods in Diagnostics 9781617378560 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Classical Methods of Statistics 9783642439797 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Geometric Methods in Physics 9783319387451 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Complex Methods for Partial Differential Equations 97814 美国库房发货，通常付款后3-5周到货！
¥1095
海外直订Tensor Methods in Statistics: Monographs on Statistics a
¥704.00
【预订】Research Methods In Occupational Health Psychology 97811 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138115743 Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Routledge Publication Date 出版日期 2017-07-07 Language 语种 英语 Book Contents 内容简介 Research Methods in Occupational Health Psychology: Measurement, Design, and Data Analysis provides a state-of-the-art review of current issues and best practices in the science of Occupational Health Psychology. Occupational Health Psychology (OHP) is a multidisciplinary and rapidly growing area of research and it is difficult or impossible for researchers to keep up with developments in all of the fields where scholars conduct OHP science. This book will help OHP scholars improve their own research by translating recent innovations in methodology into sets of concrete recommendations that will help scholars improve their own research as well as their training of future researchers.
¥648.00
预订 New Methods and Theory on Immigrant Integration: Insights 国外库房发货，通常付款后3-5周到货
¥1356
预订 New Methods in Cognitive Psychology [ISBN:9781848726314] 【全球购】进口原版图书，一般5-8周左右到国内
¥706.00
预订 Wavelet Methods for Time Series Analysis [ISBN:9780521685 【全球购】进口原版图书，约3-6周到达国内后发出
¥761.00
【预订】Meshfree Methods for Partial Differential Equations VI 9 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Asymptotic Methods in Quantum Mechanics: Application to 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Meshfree Methods for Partial Differential Equations V 97 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Scientific Methods for the Study of Polymer Colloids and 美国库房发货，通常付款后3-5周到货！
¥3285
【预订】Numerical Methods for Differential Equations, Optimizati 美国库房发货，通常付款后3-5周到货！
¥1643
【预订】Numerical Methods for Two-phase Incompressible Flows 978 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Preventive Methods for Coastal Protection: Towards the U 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Numerical Methods for Partial Differential Equations 978 美国库房发货，通常付款后3-5周到货！
¥1386
【预订】Sirtuins: Methods and Protocols 9781493960453 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Asymptotic Methods in Fluid Mechanics: Survey and Recent 美国库房发货，通常付款后3-5周到货！
¥3033
【预订】Fusion Methods for Unsupervised Learning Ensembles 97836 美国库房发货，通常付款后3-5周到货！
¥1205
【预订】Geometric Methods in PDE’s 9783319026657 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Geometric Methods in Physics: XXXII Workshop, Bia Owie A 美国库房发货，通常付款后3-5周到货！
¥548.00
预订Research Methods:The Essential Knowledge Base 预订，预计下单后2-3周左右发货！
¥1049
预订Research Methods in Criminal Justice and Criminology [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出
¥3246
【预订】Subspace Methods for Pattern Recognition in Intelligent 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Advanced Methods in the Evaluation of Nuclear Scattering 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Epigenetic Methods in Neuroscience Research 978149392753 美国库房发货，通常付款后3-5周到货！
¥1095
海外直订Formal Methods Teaching: 5th International Workshop, Fmt
¥615.00
海外直订医药图书Methods in Cell Biology: Volume 158 细胞生物学方法:第158卷
¥2365
海外直订医药图书Methods in Methane Metabolism, Part a: Methanogenesi
¥2838
【预订】Antibody Methods and Protocols 9781617799303 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781617799303 Author 作者 Proetzel Format 版本 精装 Pages Number 页数 325页 Publication Date 出版日期 2012-06-23 Shipping Weight 商品重量 826g Language 语种 英语 Book Contents 内容简介 The rapidly growing field of antibody research is the result of many advancing technologies allowing current developments to take advantage of molecular engineering to create tailor-made antibodies.? Antibody Methods and Protocols attempts to provide insight into the generation of antibodies using in vitro and in vivo approaches, as well as technical aspects for screening, analysis, and modification of antibodies and antibody fragments.? The detailed volume is focused on basic protocols for isolating antibodies and, at the same time, it selects a range of specific areas with the aim of providing guides for the overall process of antibody isolation and characterization as well as protoc
¥1095
【预订】Clinical Methods in Medical Family Therapy 9783030098537 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030098537 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-12-19 Language 语种 英语
¥932.00
【预订】Numerical Methods for Optimal Control Problems 978303001 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030019587 Author 作者 Falcone Format 版本 精装 Pages Number 页数 240页 Publication Date 出版日期 2019-01-20 Language 语种 英语 Book Contents 内容简介 This work presents recent mathematical methods in the area of optimal control with a particular emphasis on the computational aspects and applications. Optimal control theory concerns the determination of control strategies for complex dynamical systems, in order to optimize some measure of their performance. Started in the 60’s under the pressure of the "space race" between the US and the former USSR, the field now has a far wider scope, and embraces a variety of areas ranging from process control to traffic flow optimization, renewable resources exploitation and management of financial markets. These emerging applications require more and more efficient numerical methods for their solution, a very difficult task due the h
¥1205
【预订】Interval Methods for Solving Nonlinear Constraint Satisf 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030137946 Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2019-03-19 Language 语种 英语 Book Contents 内容简介 This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.
¥1095
【预订】The Latest Methods of Construction Design 9783319794204 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319794204 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-03-28 Language 语种 英语 Book Contents 内容简介 This book is based on the 55th International Conference of Machine Design Departments 2014 (ICMD 2014) which was hosted by the Czech Technical University in September 2014. It features scientific articles which solve progressive themes from the field of machine design. The book addresses a broad range of themes including tribology, hydraulics, materials science, product innovation and experimental methods. It presents the latest interdisciplinary high-tech work. People with an interest in the latest research results in the field of machine design and manufacturing engineering will value this book with contributions of leading academic scientists and experts from all around the world.
¥1643
【预订】Policy and Methods in German and American Antitrust 美国库房发货，通常付款后3-5周到货！
¥1024
【预订】Resampling Methods: A Practical Guide to Data 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】Numerical Methods for Controlled Stochastic Delay 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Microchip Methods in Diagnostics 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Research Methods In Communication Disorders 美国库房发货，通常付款后3-5周到货！
¥839.00
【预订】Tracer Methods in Hormone Research 9783642808944 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Modern Methods of Geochemical Analysis 9781468418323 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Geometric Methods in Physics 9783034807845 美国库房发货，通常付款后3-5周到货！
¥1643
预订 Proof Methods for Modal and Intuitionistic Logics: 978904 国外库房发货，通常付款后3-5周到货
¥2190
海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑和直
¥2285
海外直订Formal Methods: Foundations and Applications: 25th Brazi
¥615.00
预订 Modern Methods of Plant Analysis / Moderne Methoden der P 国外库房发货，通常付款后3-5周到货
¥548.00
【预订】Research Methods in Sports Coaching 美国库房发货，通常付款后3-5周到货！
¥2412
【3-6周达】Research Methods [ISBN:9780816083169] 【全球购】进口原版图书，一般3-6周左右到国内
¥865.00
【预订】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
【预订】Formal Methods for Industrial Critical Systems 978331919 美国库房发货，通常付款后3-5周到货！
¥525.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车