Name: (eBook PDF) Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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

ibuks

(eBook PDF) Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings

$19.99

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

ibuks

(eBook PDF) Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

$19.99

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

ibuks

(eBook PDF) Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

$19.99

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

ibuks

(eBook PDF) Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

$19.99

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

ibuks

(eBook PDF) Learning Theory 1st Edition 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings

$29.99

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

ibuks

(eBook PDF) Case-Based Reasoning Research and Development: 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 1st Edition 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

$19.99

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

ibuks

(eBook PDF) Algorithms for Computational Biology First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings

$19.99

(eBook PDF) Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Write a Review

ibuks

(eBook PDF) Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings