https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcmzugixtamrvgmxdmnzx.jpeg

(eBook PDF) Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

ibuks

$19.99

(No reviews yet) Write a Review

SKU:
UPC:
Condition:: New

Current Stock:

Quantity:

Adding to cart… The item has been added

Description

(eBook PDF) Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Related Products

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtemrygxxtamrvgmxtkoby.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings

$14.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtimjqgmxtamrvgmztgnzx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theory and Application of Satisfiability Testing 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtonztgaxtamrvgmBdqnzw.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theory and Applications of Satisfiability Testing -- SAT 2012 1st Edition 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsnbvgCxtamrvgiCdqmru.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtmmbxgextamrvgmAtenjr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgnrrgextamrvgmzdqojz.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdsobqgixtamrvgiCtcnjz.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtonrxhextamrvgmBdqmzq.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Symbolic and Quantiative Approaches to Resoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcnjtguxtamrvgmxdqnzr.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings

$19.99