CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, Sep...
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, Sep... by Ghilardi, Silvio, Sebastian... ISBN: 9783642042218 List Price: $83.00
$51.31 (Save 38%)
2.
String Processing and Information Retrieval : 18th International Symposium, SPIRE 2011, Pisa...
String Processing and Information Retrieval : 18th International Symposium, SPIRE 2011, Pisa... by Grossi, Roberto, Silvestri,... ISBN: 9783642245824 List Price: $95.00

OUT OF STOCK

See Availability on Amazon
3.
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc...
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... by Cimatti, Alessandro, Sebast... ISBN: 9783642316111 List Price: $99.00
$51.31 (Save 48%)
4.
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17...
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17... by Galmiche, Didier, Schulz, S... ISBN: 9783319942049 List Price: $109.99
$51.31 (Save 53%)