海外直订Formal Methods and Models for System Design: A System Le

¥2120

中华商务进口图书旗舰店

Gupta, Rajesh /2004-09-30 /Springer

海外直订The Methods of Ethics 伦理学的方法

¥1219

中华商务进口图书旗舰店

Sidgwick, Henry /2023-02-16 /Outlook Verlag

【预订】Simulation Methods for Polymers 9780367446574 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367446574 Format 版本 平装-胶订 Pages Number 页数 622页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Language 语种 英语

¥773.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

【3-6周达】P-Adic Methods and Their Applications [ISBN:978019853 【全球购】进口原版图书，一般3-6周左右到国内

¥1000

书之源外文图书

Baker,Andrew J;Plymen,Roger J /1992-03-19 /Clarendon Press

海外直订Formal Methods Teaching: Third International Workshop an

¥662.00

中华商务进口图书旗舰店

Dongol, Brijesh /2019-10-15 /Springer

海外直订Formal Methods for Embedded Distributed Systems: How to

¥1325

中华商务进口图书旗舰店

Kordon, Fabrice /1991-09-14 /Springer

【预订】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.

¥1316

中国进口图书旗舰店

Victor J. Law /2013-03-05 /CRC Press

【预订】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.

¥2405

中国进口图书旗舰店

Robert S. Matson /2009-01-20 /CRC Press

【预订】Design Methods 美国库房发货，通常付款后3-5周到货！

¥1487

中国进口图书旗舰店

Jones /1992-09-15 /Wiley

【预售 按需印刷】ESTIMATION METHODS IN MULTILEVEL STRUCTUR

¥1046.35

中图图书旗舰店

Jimmy Byrd /2010-06-28 /KS OmniScriptum Publishing

【预售 按需印刷】Numerical Methods

¥2466.7

中图图书旗舰店

Bouleau /1993-12-17 /John Wiley & Sons

预订Research Methods for the Behavioral Sciences [ISBN:9781544 【全球购】进口原版图书，约3-6周到达国内后发出

¥1303

书之源外文图书

2019-03-06 /Sage Publications, Inc

预订 Novel Methods in Molecular and Cellular Biochem [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2722

书之源外文图书

Pierce,Grant N. /2012-10-10 /Springer

【3-6周达】Myelin: Methods and Protocols (Softcover Reprint of t 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Yang, Nianjun ; Zhao, Guohua ; Foord, Jo /2019-12-10 /Humana

按需印刷Merged Methods 预订，预计下单后2-3周左右发货！

¥496.00

上海外文书店旗舰店

Giampietro Gobo /Sage Publications

【预订】Advanced Methods of Structural Analysis 9783030443931 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030443931 Author 作者 Karnovsky Igor A. Format 版本 精装 Pages Number 页数 1336页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-04-01 Language 语种 其它（含多语） Book Contents 内容简介 This revised and significantly expanded edition contains a rigorous examination of key concepts, new chapters and discussions within existing chapters, and added reference materials in the appendix, while retaining its classroom-tested approach to helping readers navigate through the deep ideas, vast collection of the fundamental methods of structural analysis. The authors show how to undertake the numerous analytical methods used in structural analysis by focusing on the principal concepts, detailed procedures and results, as well as taking into account the advantages and disadvantages of each method and sphere of their effective application. The

¥3042

中国进口图书旗舰店

Karnovsky Igor A. /2021-04-01 /Springer Berlin Heidelberg

海外直订Formal Methods in Developmental Psychology: Progress in

¥662.00

中华商务进口图书旗舰店

Bisanz, Jeffrey /2011-10-12 /Springer

海外直订医药图书Methods in Mammary Gland Biology and Breast Cancer R

¥2651

中华商务进口图书旗舰店

Ip, Margot M. /2000-01-01 /Springer

【3-6周达】Formal Methods for Components and Objects: 9th Intern 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Aichernig Bernhard K. /2011-12-12 /Springer

按需印刷Data, Methods and Theory in the Organizational Sciences: 预订，预计下单后3-4周左右发货！

¥567.00

上海外文书店旗舰店

* /2022-03-15 /Taylor & Francis Ltd

预订 Global Methods for Combinatorial Isoperimetric Problems 组 国外库房发货，通常付款后3-5周到货

¥634.00

中国进口图书旗舰店

L. H. Harper /2010-12-01 /Cambridge University Press

预订 New Methods in Computational Quantum Mechanic/Advances in 国外库房发货，通常付款后3-5周到货

¥6708

中国进口图书旗舰店

1996-04-11 /Wiley-Interscience

【预订】Analytical Methods in the Determination of Bioactive Com 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030618780 Format 版本 精装 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-02 Language 语种 英语 Book Contents 内容简介 Most bioactive compounds have antioxidant activity, particularly tocochromanols, phenolics (flavonoids and phenolic acids), methylxantines and capsaicinoids. Some of these compounds have also other properties important for human health. For example, vitamin E protects against oxidative stress, but it is also known for its “non-antioxidant” functions, including cell signalling and antiproliferation. Selenium compounds and indoleamins are the components of the antioxidant enzymes. Selenium makes vitamin E acquisition easier and controls its physiological functions. In taking part in enzymatic reactions and protecting the cell against free radicals, selenium shows immunomodulative, antiphlogistic, an

¥2190

中国进口图书旗舰店

暂无作者信息 /2021-02-02 /Springer Berlin Heidelberg

【3-6周达】Visual Methods in Social Research [ISBN:9781446269756 【全球购】进口原版图书，预计3-6周左右到国内

¥669.00

书之源外文图书

Banks,Marcus;Zeitlyn,David /2015-06-18 /Sage Publications Ltd

海外直订Novel Methods and Technologies for Enterprise Informatio

¥1203

中华商务进口图书旗舰店

Piazolo, Felix /2014-07-17 /Springer

海外直订医药图书Methods in Neuroethological Research 神经行为学研究方法

¥1988

中华商务进口图书旗舰店

Ogawa, Hiroto /2013-07-23 /Springer

【3-6周达】Dynamic Methods for Damage Detection in Structures [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Morassi, Antonino /2010-10-19 /Springer

【3-6周达】Modern Methods in Analytical Morphology, 植物学 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Gu,J. /2012-10-24 /Springer

【3-6周达】Modern Methods in Operator Theory and Harmonic Analys 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Karapetyants,Alexey ; Kravchenko,Vladisl /2020-08-29 /Springer

预订 Meshless Methods for 3D Fracture Modelling with Level Set 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥891.00

书之源外文图书

Zhuang, Xiaoying /2012-03-01 /LAP Lambert Academic Publishing

海外直订Formal Methods for Industrial Critical Systems: 29th Int

¥735.00

中华商务进口图书旗舰店

Haxthausen, Anne E. /2024-08-20 /Springer

【预订】Research Methods in Psycholinguistics and the Neurobiolo 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781119109846 Author 作者 Annette de Groot Format 版本 精装 Pages Number 页数 392页 Publication Date 出版日期 2017-08-21 Language 语种 英语 Book Contents 内容简介 Bringing together contributions from a distinguished group of researchers and practitioners, editors Annette M. B. de Groot and Peter Hagoort explore the methods and technologies used by researchers of language acquisition, language processing, and communication, including: traditional observational and behavioral methods; computational modelling; corpus linguistics; and virtual reality. The book also examines neurobiological methods, including functional and structural neuroimaging and molecular genetics. Ideal for students engaged in the field, Research Methods in Psycholinguistics and the Neurobiology of Language examines the relative strengths and weaknesses of various methods in relation to competing approaches.

¥1170

中国进口图书旗舰店

Annette de Groot /2017-08-21 /暂无出版社信息

【3-6周达】Formal Methods for Autonomous Systems [ISBN:978163828 【全球购】进口原版图书，一般3-6周左右到国内

¥1214

书之源外文图书

Wongpiromsarn,Tichakorn,Ghasemi,Mahsa,Cu /2023-09-21 /Now Publishers

3-6周达 New Methods, Reflections and Application Domains in Tr 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥2019

书之源外文图书

Mouter, Niek /2021-04-14 /Academic Press

【3-6周达】Formal Methods for Industrial Critical Systems: 19th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lang, Frederic /2014-08-20 /Springer

【预售 按需印刷】Kernel Methods in Analysis of Genetic Mar 北京发货，付款后10天内发货

¥1400

中图图书旗舰店

Young Sylvia /2014-11-28 /KS OmniScriptum Publishing

预订 Advanced Methods for Seismic Performance Evaluation of Bu 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥559.00

书之源外文图书

Han, Sang Whan /2021-01-21 /Mdpi AG

【预订】Analytical Methods in Nonlinear Oscillations 97894024154 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789402415407 Author 作者 Esmailzadeh Format 版本 精装 Publication Date 出版日期 2018-07-12 Language 语种 英语 Book Contents 内容简介 This book covers both classical and modern analytical methods in nonlinear systems. A wide range of applications from fundamental research to engineering problems are addressed. The book contains seven chapters, each with miscellaneous problems and their detailed solutions. More than 100 practice problems are illustrated, which might be useful for students and researchers in the areas of nonlinear oscillations and applied mathematics. With providing real world examples, this book shows the multidisciplinary emergence of nonlinear dynamical systems in a wide range of applications including mechanical and electrical oscillators, micro/nano resonators and sensors, and also modelling of global warming, epidemic diseases, sociology, chemical reactions, biolog

¥1643

中国进口图书旗舰店

Esmailzadeh /2018-07-12 /暂无出版社信息

【预订】Modeling Methods for Medical Systems Biology 97833198935 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319893532 Author 作者 ?lvarez-Buylla Roces Format 版本 精装 Pages Number 页数 236页 Publication Date 出版日期 2018-07-11 Language 语种 英语 Book Contents 内容简介 This book contributes to better understand how lifestyle modulations can effectively halt the emergence and progression of human diseases. The book will allow the reader to gain a better understanding of the mechanisms by which the environment interferes with the bio-molecular regulatory processes underlying the emergence and progression of complex diseases, such as cancer. Focusing on key and early cellular bio-molecular events giving rise to the emergence of degenerative chronic disease, it builds on previous experience on the development of multi-cellular organisms, to propose a mathematical and computer based framework that allows the reader to analyze the complex interplay between bio-molecular processes and

¥1533

中国进口图书旗舰店

?lvarez-Buylla Roces /2018-07-11 /暂无出版社信息

【预订】Formal Methods and Software Engineering 9789819975839 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789819975839 Author 作者 Yi Li Format 版本 平装-胶订 Pages Number 页数 288页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

¥711.00

中国进口图书旗舰店

Yi Li /2023-11-23 /Springer Berlin Heidelberg

【3-6周达】Seismic Methods and Applications: A Guide for the Det 【全球购】进口原版图书，一般3-6周左右到国内

¥721.00

书之源外文图书

Stark, Andreas /2010-06-20 /Brown Walker Press (FL)

海外直订Formal Methods for Mobile Computing: 5th International S

¥662.00

中华商务进口图书旗舰店

Bernardo, Marco /2005-04-12 /Springer

海外直订Modern Methods in Mathematical Physics: Integral Equatio

¥616.00

中华商务进口图书旗舰店

Ryzhov, Vladimir /2022-11-03 /Springer

【3-6周达】Serpins: Methods and Protocols (Softcover Reprint of 【全球购】进口原版图书，一般3-6周左右到国内

¥1781

书之源外文图书

Muna, F /2019-12-10 /Humana

3-6周达 Formal Methods for Distributed Processing: A Survey of 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥563.00

书之源外文图书

2010-12-02 /Cambridge University Press

海外直订Formal Methods for Industrial Critical Systems: 24th Int

¥662.00

中华商务进口图书旗舰店

Larsen, Kim Guldstrand /2019-07-25 /Springer

【预订】Numerical Methods in Astrophysics: An Introduction (Seri 美国库房发货，通常付款后3-5周到货！

¥1722

中国进口图书旗舰店

Laughlin, G. /2006-12-13 /Taylor & Francis Group

Elementary Methods of Graph Ramsey Theory 9783031127618

Product Details 基本信息 ISBN-13 书号 9783031127618 Author 作者 Li Yusheng Format 版本 精装 Pages Number 页数 346页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.81 Shipping Weight 商品重量 1.50 Language 语种 其它（含多语）

¥1156

中国进口图书旗舰店

Li Yusheng /Springer

【预订】Kernel Methods for Pattern Analysis 美国库房发货，通常付款后3-5周到货！

¥1190

中国进口图书旗舰店

Shawe-Taylor, John /1988-08-08 /Cambridge UniversityPress

【3-6周达】New Methods of Source Reconstruction for Magnetoencep 【全球购】进口原版图书，一般3-6周左右到国内

¥1048

书之源外文图书

Kan, Jing /2000-01-01 /LAP Lambert Academic Publishing

【3-6周达】Formal Methods for Software Engineering [ISBN:9783030 【全球购】进口原版图书，一般3-6周左右到国内

¥868.00

书之源外文图书

Markus Roggenbach; Antonio Cerone; Bernd /2022-06-23 /Springer International Publishing

预订 Digital Methods and Tools to Support Healthy Ageing 英文原版 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1346

书之源外文图书

Ray, Pradeep Kumar, Liaw, Siaw-Teng, Ser /2021-12-24 /Institution of Engineering & Technology

【3-6周达】Methods for recognizing multispectral images based on 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Peleshchak, Roman ; Peleshchak, Ivan ; V /2020-12-22 /LAP Lambert Academic Publishing

海外直订Vortex Methods: Theory and Practice 涡流法：理论与实践

¥783.00

中华商务进口图书旗舰店

Cottet, Georges-Henri /2008-04-23 /Cambridge University Press

【预订】Numerical Methods for Diffusion Phenomena in Building Ph 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030315733 Author 作者 Mendes Format 版本 精装 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-01-24 Language 语种 英语 Book Contents 内容简介 This book is the second edition of Numerical methods for diffusion phenomena in building physics: a practical introductionoriginally published by PUCPRESS (2016). Itintends to stimulate research in simulation of diffusion problems in building physics, by providing an overview of mathematical models and numerical techniques such as the finite difference and finite-element methods traditionally used in building simulation tools.Nonconventional methods such as reduced order models, boundary integral approaches and spectral methods are presented, which might be considered in the next generation of building-energy-simulation tools.In this reviewed edition, an innovative way to si

¥548.00

中国进口图书旗舰店

Mendes /2020-01-24 /Springer Berlin Heidelberg

【3-6周达】Mtor: Methods and Protocols (2012) [ISBN:978161779429 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Weichhart, Thomas /2011-12-02 /Humana

【3-6周达】Formal Methods for Industrial Critical Systems: 26th 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Lluch Lafuente, Alberto ; Mavridou, Anas /2021-09-29 /Springer

【3-6周达】PCR: Methods and Protocols [ISBN:9781493983810] 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Domingues Lucilia /2018-08-08 /Springer

预订 Modern Methods of Street Cleaning [ISBN:9785518634541] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥498.00

书之源外文图书

Soper,George A. /2013-06-30 /Book on Demand Ltd.

【3-6周达】Formal Methods Teaching [ISBN:9783031275333] 【全球购】进口原版图书，一般3-6周左右到国内

¥626.00

书之源外文图书

Catherine Dubois; Pierluigi San Pietro /2023-02-21 /Springer Nature Switzerland