【3-6周达】Tracer Methods in Hormone Research, 普通生物学 [ISBN:97836 【全球购】进口原版图书，一般3-6周左右到国内

¥1105

书之源外文图书

Gurpide,E. /2012-06-12 /Springer

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

¥585.00

书之源外文图书

Silva Da Silva, Tiago; Estácio, Bernardo /2017-03-24 /Springer

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

¥1202

书之源外文图书

Alinezhad, Alireza; Khalili, Javad /2019-09-03 /Springer

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

¥585.00

书之源外文图书

Ribeiro, Leila /2016-11-13 /Springer

3-6周达 Mixed Methods Research For Nursing And The Health Scie 【全球购】进口原版图书，预计3-6周左右到国内

¥842.00

书之源外文图书

Elizabeth Halcomb /2009-01-02 /John Wiley & Sons

3-6周达 Vortex Methods: Theory and Practice [ISBN:978052106170 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥551.00

书之源外文图书

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

预订Research Methods for Sports Studies 预订，预计下单后2-3周左右发货！

¥683.00

上海外文书店旗舰店

Jones, Ian (Northumbria University) /2022-03-01 /Taylor & Francis Ltd

海外直订Modern Methods in Phytomedicine 现代植物医学方法

¥1578.07

中华商务进口图书旗舰店

Thangaraj /2014-12-31 /Daya Pub. House

海外直订Metric Methods for Analyzing Partially Ranked Data 部分排序数

¥2253

中华商务进口图书旗舰店

Critchlow, Douglas E. /1986-01-05 /Springer

海外直订Mixed Methods Research in the Movement Sciences 运动科学中的混合

¥2353

中华商务进口图书旗舰店

No /2012-06-11 /Taylor & Francis Ltd

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

¥2651

中华商务进口图书旗舰店

Ciancarini, Paolo /1999-02-27 /Springer

【预售 按需印刷】Laboratory methods of soil testing in Con 北京发货，付款后10天内发货

¥1980

中图图书旗舰店

Wycliffe Namwiba /2014-06-16 /KS OmniScriptum Publishing

海外直订Formal Methods and Software Engineering: 23rd Internatio

¥662.00

中华商务进口图书旗舰店

Riesco, Adrian /2022-10-09 /Springer

海外直订Krylov Methods for Nonsymmetric Linear Systems: From The

¥1324

中华商务进口图书旗舰店

Meurant, Gérard /2021-10-15 /Springer

海外直订The Methods of Distances in the Theory of Probability an

¥2253

中华商务进口图书旗舰店

Rachev, Svetlozar T. /2013-01-02 /Springer

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

¥7030

中国进口图书旗舰店

F.M. Fernandez,E.A.Castro /1988-08-08 /CRC Press Inc

【预订】Modelling Methods For Energy In Buildings 美国库房发货，通常付款后3-5周到货！

¥2043

中国进口图书旗舰店

Chris Underwood,Francis W.H. Yik /1988-08-08 /Blackwell Science Ltd

【预订】Emerging Methods, Technologies, And Process 美国库房发货，通常付款后3-5周到货！

¥1703

中国进口图书旗舰店

Andrea De Lucia /1988-08-08 /Wiley-IEEE ComputerSociety Pr

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

¥1722

中国进口图书旗舰店

Y. Ryabov,Y.Mitropolskii,E. Grebenikov /1988-08-08 /Taylor FrancisLtd

【预订】Formal Methods – The Next 30 Years 9783030309411 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030309411 Author 作者 Maurice H. ter Beek Format 版本 平装-胶订 Pages Number 页数 774页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-09-15 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 2420g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling La

¥548.00

中国进口图书旗舰店

Maurice H. ter Beek /2019-09-15 /Springer Berlin Heidelberg

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

¥1325

中华商务进口图书旗舰店

Davies, Jim /2004-10-27 /Springer

海外直订Formal Methods for Software Engineering 软件工程的形式化方法

¥740.00

中华商务进口图书旗舰店

Roggenbach, Markus /2023-06-23 /Springer Nature Switzerland AG

海外直订Kernel Methods and Hybrid Evolutionary Algorithms in Ene

¥576.00

中华商务进口图书旗舰店

Hong, Wei-Chiang /2018-10-17 /Mdpi AG

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

¥662.00

中华商务进口图书旗舰店

Barthe, Gilles /2008-07-31 /Springer

海外直订Korso: Methods, Languages, and Tools for the Constructio

¥662.00

中华商务进口图书旗舰店

Broy, Manfred /1995-11-07 /Springer

海外直订Oat: Methods and Protocols OAT：方法和协议

¥1605

中华商务进口图书旗舰店

Gasparis, Sebastian /2018-07-14 /Humana

海外直订Modern Methods of Development 现代发展方法

¥750.23

中华商务进口图书旗舰店

Sharifov, Gulomzhon /2022-11-25 /Our Knowledge Publishing

【3-6周达】Methods for Detection of Dehalogenase [ISBN:978365932 【全球购】进口原版图书，约3-6周到达国内后发出

¥1008

书之源外文图书

Khosrowabadi Elham; Alomar Duha /2013-01-16 /LAP Lambert Academic Publishing

海外直订Extraction Methods in Organic Analysis 有机分析中的萃取方法

¥2020

中华商务进口图书旗舰店

No /1999-02-28 /John Wiley and Sons Ltd

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

¥2315

中国进口图书旗舰店

Roger L. Easton Jr. /1988-08-08 /Wiley; 2

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

¥1693

中华商务进口图书旗舰店

Giusti, Enrico /2003-01-15 /World Scientific Publishing Company

海外直订Mixed Methods in Ethnographic Research: Historical Persp

¥715.00

中华商务进口图书旗舰店

Pelto, Pertti J. /2017-03-02 /Routledge

海外直订Formal Methods: Foundations and Applications: 21st Brazi

¥768.00

中华商务进口图书旗舰店

Massoni, Tiago /2018-10-24 /Springer

海外直订The Methods of the Gernet Classicists Pbdirect: The Stru

¥719.00

中华商务进口图书旗舰店

Champagne, Roland /2015-03-15 /Routledge

海外直订医药图书Methods in Medical Informatics 医学信息学方法

¥971.00

中华商务进口图书旗舰店

Berman, Jules J. /2018-09-17 /Taylor & Francis Ltd

【预订】Asymptotic Methods in the Theory of Plates with Mixed Bo 美国库房发货，通常付款后3-5周到货！

¥1646

中国进口图书旗舰店

Johnson, Id /2014-04-07 /Wiley

【预售 按需印刷】Research Methods in the Health Sciences

¥745.45

中图图书旗舰店

Deborah Zelizer /2018-12-05 /Cognella Inc.

【预售 按需印刷】Multigrid Methods on GPUs 北京发货，付款后10天内发货

¥765.00

中图图书旗舰店

Peter Thoman /2008-04-24 /KS OmniScriptum Publishing

【预售 按需印刷】Hybrid Methods in Feature Selection 北京发货，付款后10天内发货

¥901.00

中图图书旗舰店

Senthamarai Kannan Subramanian /2011-06-02 /KS OmniScriptum Publishing

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

¥1017.45

中图图书旗舰店

Henderson /2003-01-27 /John Wiley & Sons

海外直订Smart Methods for Environmental Externalities 环境外部性的智能方法

¥1422

中华商务进口图书旗舰店

Roo, Gert de /2011-12-27 /Taylor & Francis Ltd

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

¥1158

中图图书旗舰店

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

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

¥1872.55

中图图书旗舰店

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

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

¥585.00

书之源外文图书

Liu, Shaoying /2008-10-08 /Springer

【3-6周达】Methods of Celestial Mechanics: Volume II: Appl [ISBN 【全球购】进口原版图书，一般3-6周左右到国内

¥585.00

书之源外文图书

Beutler,Gerhard /2014-11-30 /Springer

预订 Computer Methods and Recent Advances in Geomechanics [ISB 【全球购】进口原版图书，一般5-8周左右到国内

¥5446

书之源外文图书

Oka, Fusao /2014-10-01 /CRC Press

【3-6周达】Some Methods For Estimation Of Small Area Statistics 【全球购】进口原版图书，一般3-6周左右到国内

¥821.00

书之源外文图书

Sharma,Manoj Kumar;Sisodia,B. V. S. /2013-10-11 /LAP Lambert Academic Publishing

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

¥2156

书之源外文图书

Agusti,Javier /2023-10-29 /Humana

【3-6周达】Mixed Methods Research Pgswrm P [ISBN:9780199747450] 【全球购】进口原版图书，一般3-6周左右到国内

¥644.00

书之源外文图书

Watkins /2016-01-27 /OUP Us

3-6周达 Kernel Methods and Machine Learning [ISBN:978110702496 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥1016

书之源外文图书

Kung, S Y /2014-06-23 /Cambridge University Press

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

¥1638

上海外文书店旗舰店

* /2019-11-07 /Taylor & Francis Ltd

【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: 22nd International Symposium, FM 2018 【全球购】进口原版图书，一般3-6周左右到国内

¥1013

书之源外文图书

Havelund, Klaus /2018-08-20 /Springer

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

¥921.00

书之源外文图书

1999-07-01 /Birkhauser

【预订】Integral Methods in Science and Engineering Y97805823040 美国库房发货，通常付款后3-5周到货！

¥1989

中国进口图书旗舰店

Constanda, C. /1988-08-08 /CRC Press

按需印刷New Methods in Cognitive Psychology 预订，预计下单后3-4周左右发货！

¥593.00

上海外文书店旗舰店

* /2020-01-01 /Taylor & Francis Ltd

海外直订医药图书Methods in Pharmacology: Molecular and Cellular Biol

¥1988

中华商务进口图书旗舰店

Glossmann, H. /1993-09-29 /Springer

【预售 按需印刷】Efficient methods for the CELP speech cod 北京发货，付款后10天内发货

¥905.00

中图图书旗舰店

Al-Azzawi Nemir /2015-07-16 /KS OmniScriptum Publishing

海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法

¥2507

中华商务进口图书旗舰店

No /2014-07-03 /ISTE Ltd and John Wiley & Sons Inc