【预订】Verification, Model Checking, and Abstract Interpretatio
国外库房发货,通常付款后3-5周到货!
/ 2024-01-14
Product Details 基本信息 ISBN-13 书号 9783031505201 Author 作者 Rayna Dimitrova Format 版本 平装-胶订 Pages Number 页数 329页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.75 Shipping Weight 商品重量 1.11磅 Language 语种 其它(含多语) Book Contents 内容简介 The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural net
¥687.00
【预订】Verification, Model Checking, and Abstract Interpretatio
国外库房发货,通常付款后3-5周到货!
/ 2024-01-15
Product Details 基本信息 ISBN-13 书号 9783031505232 Author 作者 Rayna Dimitrova Format 版本 平装-胶订 Pages Number 页数 349页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.77 Shipping Weight 商品重量 1.15磅 Language 语种 其它(含多语) Book Contents 内容简介 The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural net
¥687.00
【预订】Frame, Glass, Verse 9781501730887
国外库房发货,通常付款后3-5周到货!
/ 2018-12-15
Product Details 基本信息 ISBN-13 书号 9781501730887 Author 作者 Rayna Kalas Format 版本 平装-胶订 Pages Number 页数 276页 Publisher 出版社 Cornell University Press Publication Date 出版日期 2018-12-15 Product Dimensions 商品尺寸 15.2 x 1.9 x 22.9 cm Language 语种 其它(含多语) Book Contents 内容简介 In a book that draws attention to some of our most familiar and unquestioned habits of thought--from "framing" to "perspective" to "reflection"--Rayna Kalas suggests that metaphors of the poetic imagination were once distinctly material and technical in character. Kalas explores the visual culture of the English Renaissance by way of the poetic image, showing that English writers avoided charges of idolatry and fancy through conceits that were visual, but not pictorial. Frames, mirrors, and windows have been pervasive and enduring metaphors for texts from classical antiquity to modernity; as
¥299.00
【预订】Frame, Glass, Verse 9780801445415
国外库房发货,通常付款后3-5周到货!
/ 2007-06-07
Product Details 基本信息 ISBN-13 书号 9780801445415 Author 作者 Rayna Kalas Format 版本 精装 Pages Number 页数 272页 Publisher 出版社 Cornell University Press Publication Date 出版日期 2007-06-07 Language 语种 其它(含多语) Book Contents 内容简介 In a book that draws attention to some of our most familiar and unquestioned habits of thought—from "framing" to "perspective" to "reflection"—Rayna Kalas suggests that metaphors of the poetic imagination were once distinctly material and technical in character. Kalas explores the visual culture of the English Renaissance by way of the poetic image, showing that English writers avoided charges of idolatry and fancy through conceits that were visual, but not pictorial. Frames, mirrors, and windows have been pervasive and enduring metaphors for texts from classical antiquity to modernity; as a result, those metaphors seem universally to emphasize the mim
¥599.00
【预订】Create Your Own Hand-Printed Cloth: Stamp, Screen & Sten
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
/ 湖北美术出版社
¥284.31