Articles liés à Theory and Applications of Satisfiability Testing -...
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Couverture souple
- ÉditeurSpringer
- Date d'édition2013
- ISBN 10 3642390706
- ISBN 13 9783642390708
- ReliureBroché
- Langueanglais
- Nombre de pages456
- ÉditeurJarvisalo Matti, Van Gelder Allen
Acheter neuf
Afficher cet article
EUR 55,05
EUR 3,55 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Theory and Applications of Satisfiability Testing -...
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020225788
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing - Sat 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19791893-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642390708_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing - SAT 2013
Edité par
Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10 : 3642390706
ISBN 13 : 9783642390708
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity. 456 pp. Englisch. N° de réf. du vendeur 9783642390708
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing - Sat 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19791893-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 456. N° de réf. du vendeur 26101212543
Quantité disponible : 4 disponible(s)
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642390706
ISBN 13 : 9783642390708
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Buchschnitt verkürzt- gepflegter, sauberer Zustand - Ausgabejahr 2013 | Seiten: 456 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 23823685/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642390706
ISBN 13 : 9783642390708
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity. N° de réf. du vendeur 9783642390708
Quantité disponible : 1 disponible(s)
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642390708
Quantité disponible : 10 disponible(s)
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2013
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 456 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 109043360
Quantité disponible : 4 disponible(s)