【预订】Computer Methods in Chemical Engineering 9780367765255 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367765255 Author 作者 Ghasem Format 版本 精装 Pages Number 页数 490页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-11-24 Language 语种 其它（含多语） Book Contents 内容简介 While various software packages have become essential for performing unit operations and other kinds of processes in chemical engineering, the fundamental theory and methods of calculation must also be understood to effectively test the validity of these packages and verify the results. Computer Methods in Chemical Engineering, Second Edition presents the most used simulation software along with the theory involved. It covers chemical engineering thermodynamics, fluid mechanics, material and energy balances, mass transfer operations, reactor design, and computer applications in chemical engineering. The highly anticipated Second Edition is thoroughly updated to reflect the lat

¥2229

中国进口图书旗舰店

Ghasem /2021-11-24 /CRC Press

海外直订Modern Methods of Speech Processing 现代语音处理方法

¥1988

中华商务进口图书旗舰店

Ramachandran, Ravi P. /2012-09-26 /Springer

海外直订医药图书Methods of Protein Microcharacterization: A Practica

¥1325

中华商务进口图书旗舰店

Shively, John E. /2013-11-26 /Humana

海外直订Formal Methods and Software Engineering: 5th Internation

¥1325

中华商务进口图书旗舰店

Dong, Jin Song /2003-10-26 /Springer

海外直订Silac: Methods and Protocols Silac:方法和协议

¥2220

中华商务进口图书旗舰店

Luque-Garcia, Jose L. /2022-11-12 /Humana

海外直订Arts Methods for the Self-Representation of Undergraduat

¥1881

中华商务进口图书旗舰店

Matthews, Miranda /2023-04-06 /Routledge

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

¥567.00

上海外文书店旗舰店

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

海外直订Formal Methods for Open Object-Based Distributed Systems

¥662.00

中华商务进口图书旗舰店

Bonsangue, Marcello M. /2007-05-24 /Springer

3-6周达 Kras: Methods and Protocols [ISBN:9781071638217] 【全球购】进口原版图书，预计3-6周左右到国内

¥2276

书之源外文图书

Stephen,Andrew G.;Esposito,Dominic /2024-04-04 /Humana

预订 Robust Methods for Data Reduction [ISBN:9780367783518] 【全球购】进口原版图书，一般5-8周左右到国内

¥675.00

书之源外文图书

Alessio Farcomeni and Luca Greco /2021-03-31 /Chapman and Hall/CRC

3-6周达 Modern Methods for Affordable Clinical Gait Analysis [ 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1016

书之源外文图书

Nandy, Anup /2021-07-30 /Academic Press

【3-6周达】Modern Methods of Drug Discovery [ISBN:978303489397 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

2012-10-30 /Birkhauser

预订 Wavelet Methods in Mathematical Analysis and Engineering 【全球购】进口原版图书，一般5-8周左右到国内

¥564.00

书之源外文图书

Alain Damlamian /2010-09-22 /World Scientific Publishing Company

预订 Research Methods and Techniques in Architecture [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥645.00

书之源外文图书

Niezabitowska, El?bieta Danuta ; Niezabi /2018-07-16 /Routledge

【3-6周达】Direct Methods in Control Problems (2019) [ISBN:97808 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Falb, Peter /2020-02-06 /Birkhauser

海外直订Formal Methods: Applications and Technology: 11th Intern

¥662.00

中华商务进口图书旗舰店

Brim, Lubos /2007-02-28 /Springer

海外直订Formal Methods and Object Technology 形式化方法与对象技术

¥1325

中华商务进口图书旗舰店

Goldsack, Stephen J. /1996-04-25 /Springer

海外直订Formal Methods and Stochastic Models for Performance Eva

¥662.00

中华商务进口图书旗舰店

Wolter, Katinka /2007-09-30 /Springer

【预售 按需印刷】Physical Methods in Chemistry and Nano Sc 北京发货，付款后10天内发货

¥761.00

中图图书旗舰店

Andrew Barron /2020-05-30 /Lulu Press

环境追踪分析方法 Methods for Environmental Trace Analysis 英文原版 John 环境科学JohnR.Dean

¥778.00

中华商务进口图书旗舰店

John R. Dean /2003-03-13 /Wiley

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol

¥1233

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-11 /Springer

【预订】Diagnostic Methods in the Cardiac Catheterization 美国库房发货，通常付款后3-5周到货！

¥3073

中国进口图书旗舰店

Pedro A. Lemos,PaulSchoenhagen,Alexandra /1988-08-08 /Informa Healthcare

按需印刷100 Methods for Total Quality Management 预订，预计下单后2-3周左右发货！

¥740.00

上海外文书店旗舰店

Gopal K. Kanji /Sage Publications

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

¥1105

书之源外文图书

Kuhn, Ralf /2016-08-23 /Humana

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

¥1395

书之源外文图书

Luque-Garcia,Jose L. /2023-11-14 /Humana

【3-6周达】Formal Methods for Discrete-Time Dynamical Systems [I 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Belta, Calin /2018-07-21 /Springer

【3-6周达】Lie Methods in Optics II: Proceedings of the Se [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Wolf,Kurt B. /2014-08-23 /Springer

海外直订Modern Methods in Analytical Morphology 分析形态学的现代方法

¥963.00

中华商务进口图书旗舰店

Gu, Jiong /1994-11-29 /Kluwer Academic Publishers

海外直订RNA: Methods and Protocols RNA:方法和协议

¥1988

中华商务进口图书旗舰店

Nielsen, Henrik /2017-04-29 /Humana

海外直订Proof Methods for Modal and Intuitionistic Logics 模态逻辑与直

¥2651

中华商务进口图书旗舰店

Fitting, M. /1983-04-29 /Springer

海外直订Kernel Methods for Remote Sensing Data Analysis 遥感数据分析的核

¥1590

中华商务进口图书旗舰店

No /2009-10-22 /John Wiley & Sons Inc

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

¥3151

中国进口图书旗舰店

Bing Yan /2010-08-10 /CRC Press

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

¥828.00

中国进口图书旗舰店

Tai, Bee-Choo /1988-08-08 /Wiley-Blackwell

【3-6周达】On Methods, Volume 2: Books III-IV. on Regressus [ISB 【全球购】进口原版图书，一般3-6周左右到国内

¥553.00

书之源外文图书

1条评论

Zabarella,Jacopo /2014-04-14 /Harvard University Press

3-6周达 Advanced Methods and Mathematical Modeling of Biofilms 【全球购】进口原版图书，预计3-6周左右到国内后发出

¥1518

书之源外文图书

Delavar, Mojtaba Aghajani, Wang, Junye /2022-05-18 /Academic Press

【3-6周达】Powerful Methods for Solving Nonlinear evolution Equa 【全球购】进口原版图书，一般3-6周左右到国内

¥820.00

书之源外文图书

Arnous, A. H. /2014-11-10 /LAP Lambert Academic Publishing

【3-6周达】Formal Methods. FM 2019 International Workshops [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sekerinski,Emil; Moreira,Nelma; Oliveira /2020-11-04 /Springer International Publishing

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

¥1202

书之源外文图书

McGuckin Michael A. /2016-08-23 /Humana

【3-6周达】Cast Methods in Modelling: Computer Aided Systems The 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Pichler,Franz /2012-02-12 /Springer

【预订】Numerical Methods for Simulation and Optimization of Pie 美国库房发货，通常付款后3-5周到货！

¥2020

中国进口图书旗舰店

Bonomo Tiziana /2015-12-28 /Wiley-ISTE

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

¥3536

中国进口图书旗舰店

Brondos, Pam /1988-05-24 /CRC Press

【预订】Practical Methods for Biocatalysis and Biotransformation 美国库房发货，通常付款后3-5周到货！

¥1703

中国进口图书旗舰店

Whittall, John /2016-02-24 /Wiley

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

中国进口图书旗舰店

Markus Roggenbach /2022-03-16 /Springer Berlin Heidelberg

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

中国进口图书旗舰店

Haniel Barbosa /2023-12-19 /Springer Berlin Heidelberg

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

¥585.00

书之源外文图书

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

海外直订Mixed Methods in Criminology 犯罪学中的混合方法

¥2369

中华商务进口图书旗舰店

Heap, Vicky /2019-01-10 /Routledge

海外直订Hybrid Methods of Molecular Modeling 分子模拟的混合方法

¥6628

中华商务进口图书旗舰店

Tchougreeff, Andrei L. /2008-08-06 /Springer

预售 英文预定 Methods of Algebraic Geometry: Volume 2 海外预定商品预计1-3个月发货，海外购非质量问题不接受退货。

¥855.72

中图上海进口图书旗舰店

Hodge, W. V. D.,Pedoe, D. /2022-01-10 /Cambridge University Pres

海外直订医药图书Methods in Human Cytogenetics 人类细胞遗传学研究方法

¥662.00

中华商务进口图书旗舰店

Passarge, E. /2013-10-02 /Springer

Spectral Methods 现货图书

Product Details 基本信息 ISBN-13 书号 9783540710400 Author 作者 Shen Format 版本 精装 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-08-25 Shipping Weight 商品重量 889g Language 语种 英语 Book Contents 内容简介 Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of? basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The book contains a large number of figures which are designed to illu

¥1237

中国进口图书旗舰店

2条评论

Shen /2011-08-25 /Springer Berlin Heidelberg

【预订】Separation Methods in Proteomics 9780367391577 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367391577 Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 1.2 cm Shipping Weight 商品重量 1600g Language 语种 英语

¥922.00

中国进口图书旗舰店

暂无作者信息 /CRC Press

【3-6周达】Methods in Pharmacology: Volume 4a Renal Pharmacology 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

2012-02-05 /Springer

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

¥785.00

书之源外文图书

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

【预售 按需印刷】Research Methods for Pedagogy

¥1203.6

中图图书旗舰店

Melanie Nind /2016-10-06 /Bloomsbury USA 3PL

【预售 按需印刷】Data-Based Methods for Materials Design a

¥1140.7

中图图书旗舰店

Ghanshyam Pilania /2020-03-06 /Morgan and Claypool Publishers

海外直订医药图书Methods for Fragments Screening Using Surface Pl...

¥2467

中华商务进口图书旗舰店

No /2021-09-15 /Springer Verlag, Singapore

【预订】Tools and Methods of Program Analysis 9783031504228 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031504228 Author 作者 Rostislav Yavorskiy Format 版本 平装-胶订 Pages Number 页数 189页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-13 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.44 Shipping Weight 商品重量 0.66磅 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

¥711.00

中国进口图书旗舰店

Rostislav Yavorskiy /2024-01-13 /Springer Berlin Heidelberg

【预订】Functional Methods in Quantum Field Theory and Statistic 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780367579265 Author 作者 A.N. Vasiliev Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 CRC Press Publication Date 出版日期 2020-06-30 Product Dimensions 商品尺寸 234 x 156 mm (6.14 x 9.21 Shipping Weight 商品重量 0.6 Language 语种 其它（含多语） Book Contents 内容简介 Providing a systematic introduction to the techniques which are fundamental to quantum field theory, this book pays special attention to the use of these techniques in a wide variety of areas, including ordinary quantum mechanics, quantum mechanics in the second-quantized formulation, relativistic quantum field theory, Euclidean field theory, quantum statistics at finite temperature, and the classical statistics of nonideal gas and spin systems. The extended chapter on variational methods and functional Legendre transformations contains completely original mater

¥753.00

中国进口图书旗舰店

1条评论

A.N. Vasiliev /2020-06-30 /CRC Press

【3-6周达】Formal Methods: An Introduction to Symbolic Logic and 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Beth, E. W. /2011-10-12 /Springer

【预订】Computer Methods, Imaging and Visualization in Biomechan 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030431945 Author 作者 Ateshian Format 版本 精装 Pages Number 页数 657页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-01 Language 语种 英语 Book Contents 内容简介 This book gathers selected, extended and revised contributions to the 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, and the 4th Conference on Imaging and Visualization (CMBBE 2019), held on August 14-16, 2019, in New York City, USA. It reports on cutting-edge models and algorithms for studying various tissues and organs in normal and pathological conditions; innovative imaging and visualization techniques; and the latest diagnostic tools. Further topics addressed include: numerical methods, machine learning approaches, FEM models, and high-resolution imaging and real-time visualization methods applied for biomedical purposes.

¥1643

中国进口图书旗舰店

Ateshian /2020-04-01 /Springer Berlin Heidelberg