Theory and Application of Satisfiability Testing

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22,2011, Proceedings, Lecture Notes in Computer Science 6695 – Theoretical Computer Science and General Issues

ISBN: 3642215807
ISBN 13: 9783642215803
Herausgeber: Karem A Sakallah/Laurent Simon
Verlag: Springer Verlag GmbH
Umfang: xiii, 371 S., 35 s/w Illustr., 28 farbige Illustr., 371 p. 63 illus., 28 illus. in color.
Erscheinungsdatum: 01.06.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3636443 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …