Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Note moyenne 0
( 0 avis fournis par GoodReads )
9783319243177: Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Acheter neuf Afficher le livre
EUR 58,84

Autre devise

Frais de port : EUR 7,14
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Heule, Marijn (Editor)/ Weaver, Sean (Editor)
Edité par Springer-Verlag New York Inc (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Paperback Quantité : 2
Vendeur
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer-Verlag New York Inc, 2015. Paperback. État : Brand New. 9.25x6.10 inches. In Stock. N° de réf. du libraire __3319243179

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 58,84
Autre devise

Ajouter au panier

Frais de port : EUR 7,14
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

MARIJN HEULE
Edité par Springer (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Paperback Quantité : 1
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2015. Paperback. État : NEW. 9783319243177 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de réf. du libraire HTANDREE0957671

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 58,86
Autre devise

Ajouter au panier

Frais de port : EUR 9,52
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Marijn Heule
Edité par Springer International Publishing AG (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer International Publishing AG, 2015. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 60,01
Autre devise

Ajouter au panier

Frais de port : EUR 10,71
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Heule, Marijn
Edité par Springer (2016)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9783319243177_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 70,62
Autre devise

Ajouter au panier

Frais de port : EUR 4,26
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Marijn Heule
Edité par Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. État : Neu. 23.5x15.5x cm. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. N° de réf. du libraire 9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 68,48
Autre devise

Ajouter au panier

Frais de port : EUR 12
De Allemagne vers Etats-Unis
Destinations, frais et délais

6.

Marijn Heule
Edité par Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Rheinberg-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. État : Neu. 23.5x15.5x cm. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. N° de réf. du libraire 9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 68,48
Autre devise

Ajouter au panier

Frais de port : EUR 17,13
De Allemagne vers Etats-Unis
Destinations, frais et délais

7.

Marijn Heule
Edité par Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Agrios-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. État : Neu. 23.5x15.5x cm. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. N° de réf. du libraire 9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 68,48
Autre devise

Ajouter au panier

Frais de port : EUR 17,13
De Allemagne vers Etats-Unis
Destinations, frais et délais

8.

Marijn Heule
Edité par Springer International Publishing AG (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
PBShop
(Secaucus, NJ, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer International Publishing AG, 2015. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IQ-9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 84,38
Autre devise

Ajouter au panier

Frais de port : EUR 3,78
Vers Etats-Unis
Destinations, frais et délais

9.

Edité par Springer International Publishing AG, Switzerland (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Paperback Quantité : > 20
impression à la demande
Vendeur
The Book Depository EURO
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer International Publishing AG, Switzerland, 2015. Paperback. État : New. 2015 ed.. 235 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****.This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. N° de réf. du libraire AAV9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 90,55
Autre devise

Ajouter au panier

Frais de port : EUR 3,57
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

10.

Marijn Heule
Edité par Springer-Verlag Gmbh Nov 2015 (2015)
ISBN 10 : 3319243179 ISBN 13 : 9783319243177
Neuf(s) Taschenbuch Quantité : 1
Vendeur
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Nov 2015, 2015. Taschenbuch. État : Neu. 23.5x15.5x cm. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. N° de réf. du libraire 9783319243177

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 68,48
Autre devise

Ajouter au panier

Frais de port : EUR 29,50
De Allemagne vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre