Theory and Applications of Satisfiability Testing

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,2004, Revised Selected Papers, Lecture Notes in Computer Science 3542 – Theoretical Computer Science and General Issues

ISBN: 354027829X
ISBN 13: 9783540278290
Herausgeber: Holger H Hoos/David G Mitchell
Verlag: Springer Verlag GmbH
Umfang: xiii, 393 S.
Erscheinungsdatum: 08.07.2005
Auflage: 1/2005
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 9724103 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …