Articles liés à Theory and Applications of Satisfiability Testing -...

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Couverture souple

 
9783540797180: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Couverture souple
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Editeur : Springer, 2008

Synopsis

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540797181
ISBN 13 
9783540797180
Reliure
Broché
Nombre de pages
324
Éditeur
Buning Hans Kleine
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 324...
Afficher cet article
9783540797180: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
EUR 30,25

Autre devise

EUR 9,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540797180: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
EUR 28,08

Autre devise

Gratuit expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Theory and Applications of Satisfiability Testing -...

Image d'archives

Hans Kleine Buning, Xishun Zhao
Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-1319

Contacter le vendeur

Acheter neuf

EUR 28,08
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hans Kleine Buning, Xishun Zhao
Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-271004

Contacter le vendeur

Acheter neuf

EUR 28,08
Autre devise
Frais de port : EUR 2,88
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 324 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 4430223/12

Contacter le vendeur

Acheter D'occasion

EUR 30,25
Autre devise
Frais de port : EUR 9,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-197752

Contacter le vendeur

Acheter neuf

EUR 47,02
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 324. N° de réf. du vendeur 26294161

Contacter le vendeur

Acheter neuf

EUR 39,87
Autre devise
Frais de port : EUR 7,74
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Kleine B?ning Hans Zhao Xishun
Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 324. N° de réf. du vendeur 18294171

Contacter le vendeur

Acheter neuf

EUR 41,10
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 324 Illus. N° de réf. du vendeur 7586510

Contacter le vendeur

Acheter neuf

EUR 39,26
Autre devise
Frais de port : EUR 10,21
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Kleine Büning
Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-271005

Contacter le vendeur

Acheter neuf

EUR 47,02
Autre devise
Frais de port : EUR 2,88
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Kleine Büning, Hans|Zhao, Xishun
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from. N° de réf. du vendeur 4901307

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Kleine Büning, Hans [Editor]; Zhao, Xishun [Editor];
Edité par Springer, 2008
ISBN 10 : 3540797181 ISBN 13 : 9783540797180
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-0527

Contacter le vendeur

Acheter D'occasion

EUR 7,20
Autre devise
Frais de port : EUR 55,91
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 12 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre