Name: (eBook PDF) Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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

ibuks

(eBook PDF) Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

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

ibuks

(eBook PDF) Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Advances in Learning Classifier Systems: 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers / Edition 1

$19.99

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

ibuks

(eBook PDF) Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

$19.99

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

ibuks

(eBook PDF) Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Pozna?, Poland, November 27-29, 2015, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Sol ?, Czech Republic, May 25-28, 2015, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

$19.99

(eBook PDF) Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Write a Review

ibuks

(eBook PDF) Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers