海外直订Formal Methods for Web Services: 9th International Schoo

¥609.00

中华商务进口图书旗舰店

Bernardo, Marco /2009-05-11 /Springer

海外直订医药图书Methods for Computer Design of Diffractive Eleme...

¥2937

中华商务进口图书旗舰店

Soifer, VA /2002-02-03 /John Wiley & Sons Inc

【预售 按需印刷】Molecular Methods in Ecology

¥1872.55

中图图书旗舰店

Baker /2000-09-06 /John Wiley & Sons

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

中国进口图书旗舰店

Falcone /2019-01-20 /暂无出版社信息

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

中国进口图书旗舰店

暂无作者信息 /2019-03-19 /Springer

【预售 按需印刷】Research Methods and Tools in Social Scie 北京发货，付款后10天内发货

¥1158

中图图书旗舰店

Victoria Folea /2021-03-02 /KS OmniScriptum Publishing

【预售按需印刷】Iterative Methods for Approximating Eigenv

¥650.25

中图图书旗舰店

Mohammed Hasen /2019-09-03 /KS OmniScriptum Publishing

【预售 按需印刷】Research Methods for Public Health

¥504.05

中图图书旗舰店

Stuart McClean /2019-10-07 /Sage Publications

海外直订Formal Methods in Macro-Biology: First International Con

¥559.00

中华商务进口图书旗舰店

Fages, Fran?ois /2014-09-11 /Springer

【预订】Nonlinear Methods in Riemannian and Kahlerian Geometry: 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Jost, Jurgen /1988-08-08 /Birkhauser

【预订】Computer Methods in Structural Analysis 9781138470385 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781138470385 Author 作者 J.L. Meek Format 版本 精装 Publisher 出版社 CRC Press Publication Date 出版日期 2017-08-22 Language 语种 其它（含多语）

¥2033

中国进口图书旗舰店

J.L. Meek /2017-08-22 /CRC Press

【3-6周达】Methods for studying nonlinear boundary value problem 【全球购】进口原版图书，一般3-6周左右到国内

¥676.00

书之源外文图书

Igbolov,Saidmuhammad Ibragimovich /2023-11-29 /Our Knowledge Publishing

【3-6周达】Agile Methods: 9th Brazilian Workshop, Wbma 2018, Cam 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Tonin, Graziela Simone /2019-03-07 /Springer

预订 Root Methods: A Handbook [ISBN:9783642086021] 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥1644

书之源外文图书

Smit, A. L., Bengough, A. G., Engels, C. /2010-12-01 /Springer

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

¥585.00

书之源外文图书

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

【3-6周达】Logical Methods: The Art of Thinking Abstractly and M 【全球购】进口原版图书，一般3-6周左右到国内

¥486.00

书之源外文图书

Roger Antonsen /2021-11-01 /Springer

预订 Godunov Methods: Theory and Applications [ISBN:9781461351 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥3423

书之源外文图书

Toro, E. F. /2012-11-12 /Springer

预订 New Methods in Cognitive Psychology [ISBN:9781848726314] 【全球购】进口原版图书，一般5-8周左右到国内

¥706.00

书之源外文图书

Spieler,Daniel /2019-11-10 /Routledge

预订 按需印刷 Methods, Measures, and Theories in Eyewitness Identi

¥553.35

中图图书旗舰店

2021-02-25 /taylor

【预售 按需印刷】INVERSE METHODS FOR ATMOSPHERIC SOUNDING

¥1173

中图图书旗舰店

Clive D Rodgers /2000-07-17 /World Scientific Publishing Co Pte Ltd

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

¥950.30

中图图书旗舰店

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

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

Product Details 基本信息 ISBN-13 书号 9781138413177 Author 作者 Wolfgang Boehm Format 版本 精装 Pages Number 页数 196页 Publisher 出版社 A K Peters/CRC Press Publication Date 出版日期 2020-12-18 Language 语种 英语 Book Contents 内容简介 This book is written for engineers and other practitioners using numerical methods in their work and serves as a textbook for courses in applied mathematics and numerical analysis.

¥2856

中国进口图书旗舰店

Wolfgang Boehm /2020-12-18 /A K Peters/CRC Press

预订 按需印刷 Methods in Chemosensory Research

Written by world experts in the field of neuronal chemoreception, Methods in Chemosensory Research describes new molecular, electrophysiological, genetic, behavioral, psychophysical, and imaging techniques that have recently been adapted to investigate the basic neuronal mechanisms underlying chemoreception: taste, olfaction and chemical-induced irritation. This unique book includes a wide variety of new and innovative imaging methods, electrophysiological methods, methods to investigate development, and various aspects of behavioral testing. Covering the entire spectrum of chemoreception, each section not only describes what information can be obtained by using each method, but also shows how to apply each method to obtain reliable results. The book presents a comprehensive view of how the brain uses information about chemical stimuli that interact with receptors in the nose and tongue. Methods in Chemosensory Research gives you the new tools to learn how chemicals affect activity from the genetic to

¥2047.65

中图图书旗舰店

2001-09-26 /taylor

海外直订Matrix Methods for Optical Layout 光学布图的矩阵方法

¥703.00

中华商务进口图书旗舰店

Kloos, Gerhard /2007-10-29 /SPIE Press

【预订】Formal Methods: Foundations and Applications [ISBN:97830 【全球购】进口原版图书，一般10-12周左右到国内

¥674.00

书之源外文图书

C. Nogueira /2024-11-29 /Springer

海外直订Direct Methods in the Theory of Elliptic Equations 椭圆方程理

¥1590

中华商务进口图书旗舰店

2011-10-05 /Springer

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

¥662.00

中华商务进口图书旗舰店

Lau, Kung-Kiu /2005-11-30 /Springer

【预售 按需印刷】Aims and Methods of Vegetation Ecology 北京发货，付款后10天内发货

¥993.00

中图图书旗舰店

Dieter Mueller-Dombois /2003-07-01 /The Blackburn Press

海外直订Soft Methods in Probability, Statistics and Data Analysi

¥662.00

中华商务进口图书旗舰店

Grzegorzewski, Przemyslaw /2002-09-03 /Physica-Verlag

海外直订P-Adic Methods and Their Applications p-adic方法及其应用

¥1545

中华商务进口图书旗舰店

Baker, Andrew J. /1992-03-18 /Clarendon Press

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

¥2407

中华商务进口图书旗舰店

Ip, Margot M. /2012-10-12 /Springer

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

¥2120

中华商务进口图书旗舰店

Gupta, Rajesh /2004-09-30 /Springer

预订 Vortex Methods Theory and Practice 涡方法 9780521061704 国外库房发货, 通常付款后12-16周到货

¥673.00

中国进口图书旗舰店

Georges-Henri Cottet /2008-04-01 /Cambridge University Press

海外直订医药图书Methods of Cancer Diagnosis, Therapy, and Progno...

¥2476

中华商务进口图书旗舰店

2010-10-03 /Springer

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

¥662.00

中华商务进口图书旗舰店

Najm, Elie /2003-11-09 /Springer

海外直订医药图书Methods for Meta-Analysis in Medical Research 医学研究中的

¥1547

中华商务进口图书旗舰店

Sutton, Alexander J. /2000-01-01 /Wiley

海外直订Formal Methods for Distributed System Development: Forte

¥2651

中华商务进口图书旗舰店

Bolognesi, Tommaso /2000-01-01 /Springer

【预订】Iterative Methods for the Solution of Equations 97808284 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780828403122 Author 作者 J. F. Traub Format 版本 精装 Pages Number 页数 310页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1982-01-01 Language 语种 英语 Book Contents 内容简介 From the Preface (1964): "This book presents a general theory of iteration algorithms for the numerical solution of equations and systems of equations. The relationship between the quantity and the quality of information used by an algorithm and the efficiency of the algorithm is investigated. Iteration functions are divided into four classes depending on whether they use new information at one or at several points and whether or not they reuse old information. Known iteration functions are systematized and new classes of computationally effective iteration functions are introduced. Our interest in the efficient use of information is influenced by th

¥779.00

中国进口图书旗舰店

J. F. Traub /1982-01-01 /American Mathematical Society (AMS)

【预订】Modern Methods in Carbohydrate Synthesis 9783718659210 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783718659210 Author 作者 Shaheer H. Khan Format 版本 平装-胶订 Pages Number 页数 576页 Publication Date 出版日期 1996-03-01 Shipping Weight 商品重量 1288g Language 语种 英语

¥2311

中国进口图书旗舰店

Shaheer H. Khan /1996-03-01 /暂无出版社信息

海外直订Matrix Methods in the Design Analysis of Mechanisms and

¥1039

中华商务进口图书旗舰店

Uicker, John J. /2013-04-14 /Cambridge University Press

海外直订Direct Methods in the Calculus of Variations 变分法中的直接法

¥2253

中华商务进口图书旗舰店

Dacorogna, Bernard /2010-11-28 /Springer

【预售 按需印刷】Numerical Methods for Ordinary

¥2146.25

中图图书旗舰店

Butcher /2003-07-09 /John Wiley & Sons

【预订】Numerical Methods for Solving Discrete Event Systems: Wi 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783031100840 Author 作者 Grassmann Winfried Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Publication Date 出版日期 2023-11-19 Language 语种 其它（含多语）

¥658.00

中国进口图书旗舰店

Grassmann Winfried /2023-11-19 /Springer

【预订】Formal Methods in Outer Space 9783030873479 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030873479 Author 作者 Ezio Bartocci Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-28 Language 语种 其它（含多语） Book Contents 内容简介 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the

¥603.00

中国进口图书旗舰店

Ezio Bartocci /2021-09-28 /Springer Berlin Heidelberg

【3-6周达】Methods in Biological Oxidative Stress [ISBN:97816173 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Hensley, Kenneth /2010-11-09 /Humana

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

¥516.00

书之源外文图书

Conrad,Victor /2008-11-04 /Kirk Press

3-6周达 Select Methods in Chemical Analysis: Third Edition [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥688.00

书之源外文图书

Crookes, William /2017-05-28 /Hansebooks

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

¥585.00

书之源外文图书

Salaun, Gwen /2011-09-19 /Springer

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

¥693.00

中图图书旗舰店

Andrew Barron /2020-05-30 /Lulu Press

预售 按需印刷Methods for Assessing Brand Value. A Compar 北京发货，付款后10天内发货

¥777.00

中图图书旗舰店

Tatiana Soto J. /2008-08-08 /Books on Demand

海外直订Java Methods for Financial Engineering: Applications in

¥986.00

中华商务进口图书旗舰店

Barker, Philip /2010-10-12 /Springer

海外直订Direct Methods in Control Problems 控制问题中的直接方法

¥1003

中华商务进口图书旗舰店

Falb, Peter /2020-01-02 /Birkhauser

海外直订Vortex Methods 旋涡法

¥1325

中华商务进口图书旗舰店

Lung-An Ying /1997-11-29 /Springer

【预售 按需印刷】Inventory Methods in LCA

¥775.20

中图图书旗舰店

Andreas Ciroth /2008-05-08 /KS OmniScriptum Publishing

【3-6周达】New Methods and Applications in Multiple Attribute De 【全球购】进口原版图书，一般3-6周左右到国内

¥916.00

书之源外文图书

Alireza Alinezhad; Javad Khalili /2020-09-01 /Springer

预订 Data, Methods and Theory in the Organizational Sciences: 【全球购】进口原版图书，一般5-8周左右到国内

¥675.00

书之源外文图书

Murphy, Kevin R /2022-03-15 /Routledge

按需印刷Mixing Methods in Social Research:Qualitative, Quantitat 预订，预计下单后2-3周左右发货！

¥1415

上海外文书店旗舰店

Hall, Ralph P. /2020-03-24 /SAGE Publications Ltd

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

¥1225

上海外文书店旗舰店

ARAK M MATHAI /World Scientific Publishing Co Pte Ltd

预订 Mixed Methods [ISBN:9781107147126] 【全球购】进口原版图书，约3-6周到达国内后发出

¥1316

书之源外文图书

2016-08-12 /剑桥大学出版社

预订 Tableau Methods for Propositional Logic and Term Logic (P 【全球购】进口原版图书，约3-6周到达国内后发出

¥957.00

书之源外文图书

Jarmu?ek Tomasz /2021-01-01 /Peter Lang