Theory and Applications of Satisfiability Testing 7Th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004 : Revised Selected Papers
著者 Holger H. Hoos, David G. Mitchell
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 08-Jul-2005 |
| ISBN: | 354027829X |
| ISBN13: | 9783540278290 |
| 形式: | Paperback |
| 重量: | 735 gms |
| 書誌情報: | pp. 412, Illus. |
書籍タイトル "Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues" 年発行 2005. 書籍ＩＳＢＮ番号 354027829X|9783540278290 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xiii + 393 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98073 冊の素晴らしい書籍がございます