THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCEPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：SAT 2004
- 出 版 社：SPRINGER-VERLAG
- 出版年份：2005
- ISBN：
- 页数：393 页
图书介绍：
《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE》目录
标签：
相关图书
作者其它书籍
- 《21世纪高职高专计算机课程规划教材 新编中文AutoCAD2004基础操作教程》《新编AutoCAD2004基础操作教程》编委会编 2004
- 《全国企业法律顾问执业资格考试复习指南 民商与经济法律知识分册》张德霖主编，2004年全国企业法律顾问执业资格考试用书编委会编审 2004
- 《2004肇庆·中国端砚文化节纪念册》2004肇庆·中国端砚文化节筹委会编 2004
- 《中国审计研究报告》2004年审计署审计科研所编 2005
- 《医疗保健类卓越绩效准则 中英文对照》鲍德里奇国家质量奖计划（2004）编；焦叔斌译 2005
- 《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE》SAT 2005 2005
- 《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE》SAT 2003 2004
- 《Mathematical Knowledge Management Third International Conference》MKM 2004 2004
- 《Robert A. M. Stern:Buildings and Projects》2004-2009 2222
- 《PROCEEDINGS OF:THE NINETEENTH ANNUAL MEETING THE AMERICAN SOCIETY FOR PRECISION ENGINEERING OCTOBER 》2004 WYNDHAM PALACE RESORT & SPA AT WALT DISNEY WORLD ORLANDO 2004
出版社其它书籍