可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing PDF图书下载

图书名称:	可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing
出版时间:	2006-12
出版社:	湖北辞书出版社
图书作者:	Biere, Armin; Gomes, Carla P.;
ISBN:	9783540372066
页数:	438

数据来源:	淘宝、当当、京东、亚马逊、豆瓣
下载链接:	PDF格式下载

购买链接:	去淘宝购买去亚马逊购买

查看详细:	可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing