Name: (eBook PDF) Theory and Applications of Satisfiability Testing -- SAT 2012 1st Edition 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcnzrguxtamrvgmxtamry.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Integrated Formal Methods 1st Edition 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

$19.99

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

ibuks

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

$19.99

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

ibuks

(eBook PDF) Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Formal Techniques for Distributed Systems 1st Edition Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Graph Transformation 1st Edition 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Logical Aspects of Computational Linguistics 1st Edition 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/167703700752c7dab49c.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

$19.99

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

Write a Review

ibuks

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