【预订】Formal Methods for an Informal World 9783031436772 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031436772 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 171页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-20 Language 语种 其它(含多语) Book Contents 内容简介 This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understandi
¥520.00
【预订】Software Engineering and Formal Methods. SEFM 2021 Collo 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031124280 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 344页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-17 Language 语种 其它(含多语)
¥520.00
【预订】Software Engineering and Formal Methods 9783319747804 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319747804 Author 作者 Cerone Format 版本 平装-胶订 Pages Number 页数 592页 Publication Date 出版日期 2018-02-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.2 cm Shipping Weight 商品重量 902g Language 语种 英语 Book Contents 内容简介 This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back’; FAACS 2017 -- ?1st Workshop on Formal Approaches for Advanced Computing Systems;?MSE 2017 -- 1st Workshop on Microservices: Science and Engineering;?CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;?FOCLASA 2017 --
¥770.00
【预订】Theoretical Aspects of Computing – ICTAC 2021 9783030853 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030853143 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-11 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in t
¥780.00
海外直订Software Engineering and Formal Methods: Sefm 2017 Collo
¥883.00
明星店铺 中华商务进口图书旗舰店
【预订】Mathematical Inequalities: A Perspective 9780367383275 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367383275 Author 作者 Cerone Pietro Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.7 cm Shipping Weight 商品重量 950g Language 语种 英语
¥730.00
海外直订Theoretical Aspects of Computing -- ICTAC 2011: 8th Inte
¥639.00
明星店铺 中华商务进口图书旗舰店
海外直订Mathematical Inequalities 数学不等式
¥1949
明星店铺 中华商务进口图书旗舰店
海外直订Software Engineering and Formal Methods. Sefm 2021 Collo
¥520.00
明星店铺 中华商务进口图书旗舰店
【预订】Mathematical Inequalities 9781439848968 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781439848968 Author 作者 Pietro Cerone and Silvestru Sever Dragomir Format 版本 精装 Pages Number 页数 408页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2010-12-01 Shipping Weight 商品重量 680g Language 语种 英语 Book Contents 内容简介 Drawing on the authors’ research work from the last ten years, Mathematical Inequalities discusses the importance of various mathematical inequalities in contemporary mathematics and how these inequalities are used in different applications, such as scientific modeling. The authors include numerous classical and recent results that are comprehensible to both experts and general scientists. For each inequality presented, results are complemented with many unique remarks that reveal rich interconnections between the inequalities. These discussions create a natural platform for further research in applicati
¥2022
【预订】Philanthroparties!: A Party-Planning Guide for Kids Who 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781582705873 Author 作者 Cerone, Lulu(作者) Format 版本 精装 Pages Number 页数 208页 Publisher 出版社 Aladdin/Beyond Words Publication Date 出版日期 2017-05-09 Product Dimensions 商品尺寸 9.3 x 7.3 x 0.8 cm Shipping Weight 商品重量 1600g Language 语种 英语
¥168.00
预订 Mathematical Inequalities 预订,预计下单后3-4周左右发货!
¥1140
预订 Theoretical Aspects of Computing -- ICTAC 2011 9783642232 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642232824 作者: Antonio Cerone 装帧: 平装-胶订 页数: 266页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2011-08-12 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 8th International Colloq
¥689.00
【预订】Philanthroparties!: A Party-Planning Guide for Kids Who 预订商品,精装,需要1-3个月发货,非质量问题不接受退换货。
¥226.31
【预订】Suzuki Violin School, Volume 1 Compact Disc只是光盘 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥173.87
海外直订Mathematical Inequalities: A Perspective 数学不等式:一个视角
¥739.00
明星店铺 中华商务进口图书旗舰店