Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par MIT Press, 1990
ISBN 10 : 0262023172ISBN 13 : 9780262023177
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Livre
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Edité par Mit Pr, 1990
ISBN 10 : 0262023172ISBN 13 : 9780262023177
Vendeur : Irish Booksellers, Portland, ME, Etats-Unis
Livre
Etat : Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Edité par Mit Pr, 1990
ISBN 10 : 0262023172ISBN 13 : 9780262023177
Vendeur : Michener & Rutledge Booksellers, Inc., Baldwin City, KS, Etats-Unis
Livre
Hardcover. Etat : Very Good. Etat de la jaquette : Fair. Text clean and solid; wear, tear, and rubbing to dust jacket; 8vo 8" - 9" tall; 256 pages.
Edité par Mit Pr, 1990
ISBN 10 : 0262023172ISBN 13 : 9780262023177
Vendeur : thebookforest.com, San Rafael, CA, Etats-Unis
Livre
hardcover. Etat : LikeNew. Text block, boards and binding are pristine. Dust wrapper in fine, like new condition. Well packaged and promptly shipped from California. US veteran operated.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Livre
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : thebookforest.com, San Rafael, CA, Etats-Unis
Livre
Etat : New. Well packaged and promptly shipped from California. US veteran operated.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer Verlag, New York, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-Unis
Livre
Hardcover. Etat : Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3569. [xii, 492 p. : ill. ; 24 cm].
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Books Puddle, New York, NY, Etats-Unis
Livre
Etat : New. pp. 508.
Edité par Springer Berlin Heidelberg Jun 2005, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullran ge of topics listed in the call for papers. 508 pp. Englisch.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Livre
Etat : New. pp. 508 Illus.
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullrange of topics listed in the call for papers.
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresear ch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional for.
Edité par Springer, 2005
ISBN 10 : 3540262768ISBN 13 : 9783540262763
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.