【预售】Ballerina Project 芭蕾女王计划 Dane Shitag摄影师 英文原版图书籍进口正版 摄影集
预售10-12周左右到货发出
/ 2019-11-19
¥223.00
进入翰德图书专营店
【预订】Rigorous State-Based Methods 9783030480769
国外库房发货,通常付款后3-5周到货!
/ 2020-05-15
Product Details 基本信息 ISBN-13 书号 9783030480769 Author 作者 Alexander Raschke Format 版本 平装-胶订 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-05-15 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020.The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributin
¥520.00
【预订】Rigorous State-Based Methods 9783030775421
国外库房发货,通常付款后3-5周到货!
/ 2021-05-23
Product Details 基本信息 ISBN-13 书号 9783030775421 Author 作者 Raschke Alexander Format 版本 平装-胶订 Pages Number 页数 167页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-05-23 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the proceedings of the 8th International Conference onRigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
¥623.00
【预订】Energy and Water Cycles in the Climate System 9783642769
美国库房发货,通常付款后3-5周到货!
/ 2011-12-16
/ 暂无出版社信息
¥1040
【预订】Radiation and Water in the Climate System 9783540614708
美国库房发货,通常付款后3-5周到货!
/ 1996-09-17
/ 暂无出版社信息
¥1502
【预订】Simple Steps to Trading Discipline: Increasing Profits w
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥271.29
预订 Rigorous State-Based Methods 9783030775421
海外仓库发货,通常付款后4-9周到货!
/ 2021-07-22
/ Springer
图书信息 书号: 9783030775421 作者: Alexander Raschke 装帧: 平装-胶订 页数: 167页 出版社: Springer 尺寸: 23.3 x 15.5 x 23.3 cm 出版日期: 2021-07-22 重量: 258g 语种: 英语 内容简介 Regular Research Articles.- Unbounded Barrier-Synchronized Concurrent ASMs for Effect
¥586.00
【预订】Satellite Data for Atmosphere, Continent and Ocean Resea
国外库房发货,通常付款后3-5周到货!
/ 1996-09-01
Product Details 基本信息 ISBN-13 书号 9780080426723 Author 作者 Raschke Sa Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Elsevier Science Publication Date 出版日期 1996-09-01 Product Dimensions 商品尺寸 Language 语种 其它(含多语)
¥860.00