Theory and Applications of Satisfiability Testing SAT 2019 - - 图书 - Springer Nature Switzerland AG - 9783030242572 - 2019年6月29日
如封面与标题不符，以标题为准

Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition

价格
元 377
不含税

远程仓调货

预计送达时间 年7月9日 - 年7月21日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.

425 pages, 37 Illustrations, color; 478 Illustrations, black and white; XIV, 425 p. 515 illus., 37 i

介质类型 图书     Book
已发行 2019年6月29日
ISBN13 9783030242572
出版商 Springer Nature Switzerland AG
页数 425
商品尺寸 150 × 220 × 20 mm   ·   663 g
语言 德语  
编辑 Janota, Mikolas
编辑 Lynce, Ines

Mere med samme udgiver