Showing 1 - 4 of 4 Results
1.
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, Sep... by Ghilardi, Silvio, Sebastian... ISBN: 9783642042218 List Price: $83.00
2.
String Processing and Information Retrieval : 18th International Symposium, SPIRE 2011, Pisa... by Grossi, Roberto, Silvestri,... ISBN: 9783642245824 List Price: $95.00
3.
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... by Cimatti, Alessandro, Sebast... ISBN: 9783642316111 List Price: $99.00
4.
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17... by Galmiche, Didier, Schulz, S... ISBN: 9783319942049 List Price: $109.99