【预订】Formal Methods and Software Engineering: 19th Internatio 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783319686899 Author 作者 Ong, Luke Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-10-14 Language 语种 英语

¥548.00

中国进口图书旗舰店

Ong, Luke /2017-10-14 /Springer

【3-6周达】Methods and Materials for Remote Sensing: Infrared Ph 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Abrahamian, Yuri /2012-11-21 /Springer

【3-6周达】Formal Methods for Safety and Security: Case Studies 【全球购】进口原版图书，一般3-6周左右到国内

¥1298

书之源外文图书

Nanda, Manju /2017-11-22 /Springer

【3-6周达】Direct Methods in the Calculus of Variations [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内

¥1750

书之源外文图书

Dacorogna, Bernard /2010-11-29 /Springer

【3-6周达】Toyota Methods and Operating Models: Achieve Business 【全球购】进口原版图书，一般3-6周左右到国内

¥2004

书之源外文图书

Cortiglioni, Stefano; Salcerini, Leonard /2020-04-28 /Kogan Page

【预售 按需印刷】Matrices Methods and Applications

¥1213.8

中图图书旗舰店

Stephen Barnett /1990-03-05 /Oxford University Press

【3-6周达】Kernel Methods for Machine Learning with Math and Pyt 【全球购】进口原版图书，一般3-6周左右到国内

¥535.00

书之源外文图书

Suzuki, Joe /2022-05-15 /Springer

【3-6周达】Schwarz Methods and Multilevel Preconditioners for Bo 【全球购】进口原版图书，一般3-6周左右到国内

¥1974

书之源外文图书

Stephan, Ernst P., Tran, Thanh /2022-08-20 /Springer

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

¥585.00

书之源外文图书

Dongol, Brijesh, Petre, Luigia, Smith, G /2019-10-16 /Springer

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

¥585.00

书之源外文图书

De Boer, Frank S. /2005-10-01 /Springer

预订 Key Methods in Second Language Acquisition Research [ISBN 【全球购】进口原版图书，约3-6周到达国内后发出

¥1017

书之源外文图书

2015-07-01 /Equinox Publishing (Indonesia)

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

¥1024

书之源外文图书

2014-12-01 /Edinburgh University Press

【3-6周达】Models, Methods, Concepts & Applications of the Analy 【全球购】进口原版图书，一般3-6周左右到国内

¥2444

书之源外文图书

Thomas L. Saaty;Luis G. Vargas /2012-04-12 /Springer US

预订 Linking Methods in Critical Point Theory [ISBN:9780817640 【全球购】进口原版图书，约3-6周到达国内后发出

¥921.00

书之源外文图书

1999-07-01 /Birkhauser

预订 Key Methods in Geography [ISBN:9781529772081] 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥2354

书之源外文图书

Clifford,Nicholas;Cope,Meghan;Gillespie, /2023-06-19 /Sage Publications Ltd

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

¥1684

书之源外文图书

Parrish,Nicholas F.;Iwasaki,Yuka W. /2023-07-22 /Humana

【3-6周达】Direct Methods for Limit State of Materials and Struc 【全球购】进口原版图书，一般3-6周左右到国内

¥1781

书之源外文图书

Garcea,Giovanni;Weichert,Dieter /2023-06-09 /Springer

【3-6周达】Design Methods for Reducing Failure Probabilities wit 【全球购】进口原版图书，一般3-6周左右到国内

¥1684

书之源外文图书

Mona Fuhrl?nder /2023-08-29 /Springer

预订 New Methods Food Preservation: 9780751400489 国外库房发货，通常付款后3-5周到货

¥1576

中国进口图书旗舰店

Gould, G. W.(作者);Gould(作者) /Aspen Publishers

【预售 按需印刷】Numerical Methods for Solving Fredholm Eq 北京发货，付款后10天内发货

¥952.00

中图图书旗舰店

Gunawan Fergyanto E. /2015-10-19 /KS OmniScriptum Publishing

预售 按需印刷 Methods for estimating the counterfeiting 北京发货，付款后10天内发货

¥868.00

中图图书旗舰店

Emilia Pascu /2013-12-04 /KS OmniScriptum Publishing

【3-6周达】Formal Methods: 22nd International Symposium, FM 2018 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Havelund, Klaus /2018-08-20 /Springer

【3-6周达】Modern Methods of Plant Analysis / Moderne Methoden d 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

K. Paech; M. V. Tracey /2012-02-12 /Springer Berlin Heidelberg

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

¥1684

书之源外文图书

Meurant,Gérard; Duintjer Tebbens,Jurjen /2020-11-29 /Springer International Publishing

【预订】Formal Methods for Mining Structured Objects 美国库房发货，通常付款后3-5周到货！

¥1095

中国进口图书旗舰店

暂无作者信息 /2013-03-21 /暂无出版社信息

【预订】Software Methods for Business Reengineering 9781461 美国库房发货，通常付款后3-5周到货！

¥548.00

中国进口图书旗舰店

Berztiss, Alfs /2011-10-05 /Springer

预订Modern Methods of Teaching 预订，预计下单后2-3周左右发货！

¥1072

上海外文书店旗舰店

Negassa, Tolera /2012-03-28 /LAP Lambert Academic Publishing

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

¥851.00

中华商务进口图书旗舰店

Schlechta, Karl /2018-11-13 /Springer

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

¥585.00

书之源外文图书

Alpuente, Maria /2009-10-26 /Springer

【3-6周达】Methods of Applied Fourier Analysis [ISBN:97814612726 【全球购】进口原版图书，一般3-6周左右到国内

¥769.00

书之源外文图书

Ramanathan, Jayakumar(Author) /2012-10-23 /Birkhauser Boston

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

¥585.00

书之源外文图书

Satir Peter /2018-06-09 /Humana

【3-6周达】Formal Methods in Computer-Aided Design: 4th Internat 【全球购】进口原版图书，一般3-6周左右到国内

¥773.00

书之源外文图书

Aagaard, Mark D. /2002-10-23 /Springer

【3-6周达】Adaptive Methods For Variational Inequalities [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内

¥1047

书之源外文图书

Zhang, Chen-Song /2010-07-19 /LAP Lambert Academic Publishing

【3-6周达】Formal Methods and Software Engineering: 20th Interna 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Sun, Jing /2018-10-11 /Springer

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

¥585.00

书之源外文图书

Howar, Falk /2018-08-30 /Springer

预订 New Methods and Paradigms for Modeling Dynamic Processes 【全球购】进口原版图书，一般5-8周左右到国内

¥2002

书之源外文图书

Bilan,Stepan Mykolayovych ; Bilan,Mykola /2020-09-22 /Engineering Science Reference

预订 Wavelet Methods for Dynamical Problems: With Application 【全球购】进口原版图书，一般5-8周左右到国内

¥786.00

书之源外文图书

Gopalakrishnan,S. /2010-03-12 /CRC Press

预订 Mixed Methods Research Design for the Built Environment [ 【全球购】进口原版图书，一般5-8周左右到国内

¥1977

书之源外文图书

Akotia,Julius;Awuzie,Bankole Osita;Egbu, /2023-12-08 /Routledge

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

¥585.00

书之源外文图书

Bonsangue, Marcello M. /2009-09-07 /Springer

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

¥2444

书之源外文图书

Parrish, Nicholas F., Iwasaki, Yuka W. /2022-08-08 /Humana

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

¥1684

书之源外文图书

Lawson, Victoria A. /2017-09-02 /Humana

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

¥1105

书之源外文图书

Barnett, Yvonne A. /2000-05-26 /Humana

预订 Formal Methods for Open Object-Based Distributed Systems 【全球购】进口原版图书，一般5-8周左右到国内

¥1273

书之源外文图书

Jacobs, Bart /2002-03-31 /Springer

【3-6周达】Formal Methods: Applications and Technology: 11th Int 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Brim, Lubos /2007-03-01 /Springer

预订 按需印刷 Methods for Solving Inverse Problems in Mathematical

¥3320.1

中图图书旗舰店

Global Express Ltd. Co.; Aleksey I. Pril /2014-04-21 /taylor

预订 按需印刷 Methods for Neural Ensemble Recordings

¥1992.4

中图图书旗舰店

Miguel A. L. Nicolelis /2007-12-03 /taylor

按需印刷DGYT Methods of Noncommutative Analysis 预订，预计下单后3-6周左右发货！

¥1862

上海外文书店旗舰店

Vladimir E. Nazaikinskii /De Gruyter

预订 Formal Methods for Distributed System Development: Forte 【全球购】进口原版图书，一般5-8周左右到国内

¥1916

书之源外文图书

Bolognesi, Tommaso /2000-09-30 /Springer

预订 Formal Methods and Software Engineering [ISBN:97835400002 【全球购】进口原版图书，一般5-8周左右到国内

¥1282

书之源外文图书

Chris George; Huaikou Miao /2002-10-09 /Springer Berlin Heidelberg

【3-6周达】Research Methods for Evidence-Based Practice [ISBN:97 【全球购】进口原版图书，预计3-6周左右到国内

¥776.00

书之源外文图书

Wodarski,John S.;Hopson,Laura /2011-10-31 /Sage Publications, Inc

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

¥2110

中国进口图书旗舰店

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

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

Product Details 基本信息 ISBN-13 书号 9781138463783 Format 版本 精装 Pages Number 页数 384页 Publication Date 出版日期 2017-11-13 Language 语种 英语

¥1986

中国进口图书旗舰店

暂无作者信息 /2017-11-13 /暂无出版社信息

按需印刷TF Methods of the Policy Process 预订，预计下单后3-6周左右发货！

¥1638

上海外文书店旗舰店

Weible /Taylor&Francis

海外直订String Methods for Beginners 面向初学者的字符串方法

¥560.00

中华商务进口图书旗舰店

Giray, Selim /2020-03-29 /Routledge

预订 Mixing Methods in Psychology: The Integration of Qualitat 【全球购】进口原版图书，一般5-8周左右到国内

¥1841

书之源外文图书

Todd,Zazie;Nerlich,Brigitte;McKeown,Suza /2004-09-01 /Psychology Press

预订 按需印刷 Methods in Cellular Immunology

¥1881.9

中图图书旗舰店

2001-06-26 /taylor

【预售 按需印刷】Practical Methods for Improving the Motio

¥953.70

中图图书旗舰店

Daniel Wegerif /2019-05-31 /Dissertation Discovery Company, LLC

【预售 按需印刷】Mitigation Methods of Wind Acceleration f 北京发货，付款后10天内发货

¥862.00

中图图书旗舰店

Fernando Pereira Mosqueira /2011-03-16 /KS OmniScriptum Publishing

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

Product Details 基本信息 ISBN-13 书号 9783540684107 Author 作者 Jasmin Fisher Format 版本 平装-胶订 Pages Number 页数 139页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-26 Shipping Weight 商品重量 248g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainstheproceedingsoftherstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the speci?cation, development and veri?cation of biological m- els.Italsofocusedonthedesignoftoolstoexecuteandanalyzebiologicalmodels in ways

¥548.00

中国进口图书旗舰店

Jasmin Fisher /2008-05-26 /Springer Berlin Heidelberg