海外直订The Old Italian School of Singing: A Theoretical and Pra
¥878.00
明星店铺 中华商务进口图书旗舰店
海外直订Single Sample Statistics: exercises in learning from jus
¥114.00
明星店铺 中华商务进口图书旗舰店
海外直订Decidability of Parameterized Verification 参数化验证的可判性
¥535.00
明星店铺 中华商务进口图书旗舰店
【预订】Vormarsch (1916) 9781165804191 美国库房发货,通常付款后3-5周到货!
¥275.00
海外直订Trusted Systems: 5th International Conference, Intrust 2
¥553.00
明星店铺 中华商务进口图书旗舰店
预订Ending Parkinson's Disease:A Prescription for Action 预订,预计下单后3-6周左右发货!
¥213.00
【预订】Der Krasse Fuchs: Roman 9781147672688 美国库房发货,通常付款后3-5周到货!
¥312.00
【预订】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
¥572.00
¥334.05
作为一个有帕金森病家族史的人,我一直在寻找一个大胆且可行的方案来帮助数百万受此疾病影响的人。现在终于找到了,就是这本书。 Justin McArthur,医学学士,硕士,约翰 霍普金斯医学院神经内科主任
¥49.00定价:¥98.00 (5折)
按需印刷Decidability of Parameterized Verification 预订,预计下单后2-3周左右发货!
¥750.00