【预订】Der Krasse Fuchs: Roman 9781147672688 美国库房发货，通常付款后3-5周到货！

¥312.00

中国进口图书旗舰店

Bloem, Walter /2010-03-20 /Nabu Press

预订 Software Verification: 13th International Conference, Vst 【全球购】进口原版图书，预计3-6周左右到国内

¥547.00

书之源外文图书

Bloem, Roderick, Dimitrova, Rayna, Fan, /2022-02-22 /Springer

海外直订Decidability of Parameterized Verification 参数化验证的可判性

¥535.00

中华商务进口图书旗舰店

Bloem, Roderick /2015-09-28 /Springer

【预订】Vormarsch (1916) 9781165804191 美国库房发货，通常付款后3-5周到货！

¥474.00

中国进口图书旗舰店

Bloem, Walter /2010-09-10 /Kessinger Publishing

预订 Decidability of Parameterized Verification 国外库房发货，通常付款后3-5周到货

¥547.00

中国进口图书旗舰店

Springer

预订Berend Strik: Deciphering the Artist's Mind [ISBN:97803002 【全球购】进口原版图书，约3-6周到达国内后发出

¥463.00

书之源外文图书

Bloem,Marja;Strik,Berend /2020-08-25 /Mercatorfonds

海外直订Trusted Systems: 5th International Conference, Intrust 2

¥553.00

中华商务进口图书旗舰店

Bloem, Roderick /2013-11-10 /Springer

预订 Trusted Systems: 5th International Conference, Intrust 20 【全球购】进口原版图书，约3-6周到达国内后发出

¥513.00

书之源外文图书

2013-11-11 /Springer

海外直订Single Sample Statistics: exercises in learning from jus

¥109.00

中华商务进口图书旗舰店

Bloem, Peter /2016-04-27 /Createspace Independent Publishing Platform

【3-6周达】Decidability of Parameterized Verification [ISBN:9783 【全球购】进口原版图书，预计3-6周左右到国内

¥456.00

书之源外文图书

Bloem, Roderick, Jacobs, Swen, Kalimov, /2015-09-29 /Springer

预订 Fetch and the Not So Fine Art of Making Friends 国外库房发货，通常付款后3-5周到货

¥185.00

中国进口图书旗舰店

Bloem, Ken(作者);Luna, Monica(Illustrator) /Ken Bloem

海外直订The Old Italian School of Singing: A Theoretical and Pra

¥830.00

中华商务进口图书旗舰店

Bloem-Hubatka, Daniela /2012-02-08 /McFarland & Company

预订 Winning Pursuit (Mystery): 9798330535781 国外库房发货，通常付款后3-5周到货

¥1513

中国进口图书旗舰店

2024-11-04 /Carrie Bloem

预订The Old Italian School of Singing: A Theoretical and Pract 【全球购】进口原版图书，约3-6周到达国内后发出

¥824.00

书之源外文图书

2012-01-26 /McFarland & Company

预订 Microbiological Methods for Assessing Soil Quality [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内

¥1697

书之源外文图书

Bloem, J. /2006-03-01 /Oxford University Press, USA

3-6周达 Hardware and Software: Verification and Testing: 12th 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥507.00

书之源外文图书

2016-11-01 /Springer

预订Ending Parkinson's Disease:A Prescription for Action 预订，预计下单后3-6周左右发货！

¥181.00

上海外文书店旗舰店

Bloem, Bastiaan R.,Okun, Michael S.,Dors /2021-03-16 /PublicAffairs,U.S.

预订 Microbiological Methods for Assessing Soil Quality [ISBN: 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥659.00

书之源外文图书

Bloem, Jaap /2000-01-01 /Cabi

预订 Fetch and the Not So Fine Art of Making Friends 国外库房发货，通常付款后3-5周到货

¥253.00

中国进口图书旗舰店

Bloem, Ken(作者);Luna, Monica(Illustrator) /Ken Bloem

预订 Microbiological Methods for Assessing Soil Quality 预订商品

¥702.00

中国进口图书旗舰店

2008-10-01 /出版社

预订 Berend Strik: Deciphering the Artist’s Mind 贝伦德·斯特里克：解读艺术 国外库房发货，通常付款后3-5周到货

¥421.00

中国进口图书旗舰店

Marja Bloem^^Berend Strik /2020-07-03 /Yale University Press

预订 Microbiological Methods for Assessing Soil Quality 预订商品

¥1953

中国进口图书旗舰店

2005-12-20 /出版社

预订 Pizza Party Cookbook for Kids: Pizza Recipes, Party Decor 国外库房发货，通常付款后3-5周到货

¥134.00

中国进口图书旗舰店

Digital, Bloem’’s(作者) /Independently Published

【预订】Software Verification: 13th International Conference, VS 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9783030955601 Author 作者 Roderick Bloem Format 版本 平装-胶订 Pages Number 页数 212页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-03-16 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.45 Shipping Weight 商品重量 0.67 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID/19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber/physical systems with machine learning components and making large/scale verified software

¥670.00

中国进口图书旗舰店

2022-03-16 /Springer Berlin Heidelberg

按需印刷Colloquial Zulu:The Complete Course for Beginners 预订，预计下单后3-4周左右发货！

¥542.00

上海外文书店旗舰店

Sanneh, Sandra,Hammond-Bloem, Mary /2021-05-28 /Taylor & Francis Ltd

3-6周达 Nutrition and Health in Developing Countries [ISBN:978 【全球购】进口原版图书，预计3-6周左右到国内

¥2037

书之源外文图书

2016-08-23 /Humana Press

预订 Handbook of Phytosanitary Risk Management [ISBN:978178064 【全球购】进口原版图书，约3-6周到达国内后发出

¥2501

书之源外文图书

2020-11-06 /Cabi

3-6周达 Tropical Ecosystems: Structure, Functions and Challeng 【全球购】进口原版图书，预计3-6周左右到国内

¥1683

书之源外文图书

Garkoti,Satish Chandra ; Van Bloem,Skip /2020-10-15 /Springer

预订 Seth Siegelaub : Better Read Than Dead. Writings and Inte 【全球购】进口原版图书，约3-6周到达国内后发出

¥571.00

书之源外文图书

2020-01-01 /Walther Konig

3-6周达 Selected Issues in the Ethics of AI [ISBN:978303119274 【全球购】进口原版图书，预计3-6周左右到国内

¥504.00

书之源外文图书

Samuel Segun; Emma Ruttkamp-Bloem /2022-10-28 /Springer

预订 The Oxford Handbook of Citizenship 牛津公民手册: 9780198805854 国外库房发货，通常付款后3-5周到货

¥2203

中国进口图书旗舰店

Shachar, Ayelet; Bauboeck, Rainer; Bloem /2017-08-03 /Oxford University Press

预订 Nutrition and Health in Developing Countries [ISBN:978193 【全球购】进口原版图书，预计5-8周左右到国内

¥2168

书之源外文图书

Semba, Richard David, Piot, P., Bloem, M /2008-06-23 /Humana

Branded Protest : The Power of Branding and its Influence on 现货图书24小时发货

¥196.00

善本图书旗舰店

Ingeborg Bloem? /2019-10-07 /BIS Publishers

预售 按需印刷Kom?diantinnen德语ger

¥334.05

中图图书旗舰店

Walter Bloem /2022-04-06 /Hofenberg

战胜帕金森病 25个应对措施，行动处方（）

作为一个有帕金森病家族史的人，我一直在寻找一个大胆且可行的方案来帮助数百万受此疾病影响的人。现在终于找到了，就是这本书。 Justin McArthur，医学学士，硕士，约翰 霍普金斯医学院神经内科主任

¥49.00定价：¥98.00 (5折)

306条评论

[美] Ray Dorsey [美] Todd Sherer [美] Michael S. Okun [荷] Bastiaan R. Bloem /2021-05-01 /中国科学技术出版社

按需印刷Decidability of Parameterized Verification 预订，预计下单后2-3周左右发货！

¥750.00

上海外文书店旗舰店

Roderick Bloem /Morgan and Claypool Publishers