Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings Tapa blanda - 2005 - 2005th Edición
de Fahiem Bacchus (Editor); Toby Walsh (Editor)
Primera línea
The SAT-based problem solving approach presents some limitations when solving many real-life problems due to the fact that it only provides a solution when the formula that models the problem we are trying to solve is shown to be satisfiable.
Detalles
- Título Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
- Autor Fahiem Bacchus (Editor); Toby Walsh (Editor)
- Encuadernación Tapa blanda
- Número de edición 2005th
- Edición 2005
- Páginas 492
- Volúmenes 1
- Idioma ENG
- Editorial Springer, New York
- Fecha de publicación 2005-06-09
- ISBN 9783540262763 / 3540262768
- Peso 1.55 libras (0.70 kg)
- Dimensiones 9.21 x 6.14 x 1.02 pulgadas (23.39 x 15.60 x 2.59 cm)
- Dewey Decimal Code 511.3
Más ejemplares
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings ... Computer Science and General Issues)
de Bacchus, Fahiem [Editor]; Walsh, Toby [Editor];
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 44.12EUR 5.65 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005-06-09. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Precio
EUR 44.12
EUR 5.65
enviando a USA
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science, 3569)
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 1
- Librería
-
San Rafael, California, United States
- Precio
-
EUR 47.08EUR 3.76 enviando a USA
Mostrar detalles
Descripción:
New. Well packaged and promptly shipped from California. US veteran operated.
Precio
EUR 47.08
EUR 3.76
enviando a USA
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
de Fahiem Bacchus
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 771
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 62.87EUR 9.46 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings.
Precio
EUR 62.87
EUR 9.46
enviando a USA
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
de Fahiem Bacchus
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 71.16EUR 11.77 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. 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.
Precio
EUR 71.16
EUR 11.77
enviando a USA
Foto de archivo: la portada puede ser diferente
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING : 8TH INTERNATIONAL CONFERENCE, SAT 2005, ST ANDREWS, SCOTLAND, JUNE 19-23, 2005, PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)
de FAHIEM BACCHUS ,TOBY WALSH ,
- Nuevo
- Tapa blanda
- First
- Estado
- New
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 4
- Librería
-
New Delhi, India
- Precio
-
EUR 59.38EUR 9.42 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005. 1st. Paperback. New/New.
Precio
EUR 59.38
EUR 9.42
enviando a USA
Foto de archivo: la portada puede ser diferente
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING : 8TH INTERNATIONAL CONFERENCE, SAT 2005, ST ANDREWS, SCOTLAND, JUNE 19-23, 2005, PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)
de FAHIEM BACCHUS ,TOBY WALSH ,
- Usado
- Tapa blanda
- First
- Estado
- UsedLikeNew
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 4
- Librería
-
New Delhi, India
- Precio
-
EUR 59.38EUR 9.42 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005. 1st. Paperback. UsedLikeNew/UsedLikeNew.
Precio
EUR 59.38
EUR 9.42
enviando a USA
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings
de Bacchus, Fahiem ; Walsh, Toby
- Usado
- very good
- Tapa dura
- Estado
- Usado - Very Good
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 1
- Librería
-
Redondo Beach, California, United States
- Precio
-
EUR 61.26EUR 4.67 enviando a USA
Mostrar detalles
Descripción:
New York: Springer Verlag, 2005. Book. Very Good. Hardcover. 8vo - over 7¾" - 9¾" tall. 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].
Precio
EUR 61.26
EUR 4.67
enviando a USA
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing
- Usado
- Estado
- Used
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 1
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 68.92EUR 3.76 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 508 . Papeback. Used.
Precio
EUR 68.92
EUR 3.76
enviando a USA
Foto de archivo: la portada puede ser diferente
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science, 3569)
de Bacchus, Fahiem [Editor]; Walsh, Toby [Editor];
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540262763 / 3540262768
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 170.59EUR 14.14 enviando a USA
Mostrar detalles
Descripción:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Precio
EUR 170.59
EUR 14.14
enviando a USA