Skip to content

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International
Stock Photo: Cover May Be Different

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings Paperback - 2016

by Nadia Creignou (Editor); Daniel Le Berre (Editor)

Details

  • Title Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  • Author Nadia Creignou (Editor); Daniel Le Berre (Editor)
  • Binding Paperback
  • Pages 564
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2016-06-12
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783319409696 / 3319409697
  • Weight 1.8 lbs (0.82 kg)
  • Dimensions 9.21 x 6.14 x 1.19 in (23.39 x 15.60 x 3.02 cm)
  • Dewey Decimal Code 004.015

More Copies for Sale

Theory and Applications of Satisfiability Testing – SAT 2016

Theory and Applications of Satisfiability Testing – SAT 2016

by Edited by Nadia Creignou

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantity Available
1
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$83.39
A$15.37 shipping to USA

Show Details

Description:
Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented
Item Price
A$83.39
A$15.37 shipping to USA
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...
Stock Photo: Cover May Be Different

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

by Nadia Creignou

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantity Available
1
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$91.53
A$19.14 shipping to USA

Show Details

Description:
Paperback / softback. New. This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.
Item Price
A$91.53
A$19.14 shipping to USA
Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference,...
Stock Photo: Cover May Be Different

Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings

by Creignou, Nadia (Editor)/ Le Berre, Daniel (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
A$119.42
A$19.24 shipping to USA

Show Details

Description:
Springer-Verlag New York Inc, 2016. Paperback. New. 588 pages. 9.25x6.10x1.33 inches.
Item Price
A$119.42
A$19.24 shipping to USA
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...
Stock Photo: Cover May Be Different

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings (Lecture Notes in Computer Science)

  • New
Condition
New
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$124.49
A$6.07 shipping to USA

Show Details

Description:
Springer , pp. 539 . Papeback. New.
Item Price
A$124.49
A$6.07 shipping to USA