記錄 2 之 2
Record:   Prev Next
作者 SAT 2011 (2011 : Ann Arbor, Mich., USA)
書名 Theory and application of satisfiability testing [electronic resource] : SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / edited by Karem A. Sakallah, Laurent Simon
出版項 Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
國際標準書號 9783642215810 (electronic bk.)
9783642215803 (paper)
book jacket
記錄 2 之 2
Record:   Prev Next