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

(eBook PDF) Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Name: (eBook PDF) Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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) Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Related Products

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

ibuks

(eBook PDF) Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L Aquila, Italy, July 22-24, 2015. Proceedings

$19.99

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

ibuks

(eBook PDF) Advanced Computational Methods for Knowledge Engineering: Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

$24.99

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

ibuks

(eBook PDF) Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

$19.99

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

ibuks

(eBook PDF) Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

$19.99

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

ibuks

(eBook PDF) Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996 2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

$19.99

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

ibuks

(eBook PDF) Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

$29.99

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

ibuks

(eBook PDF) Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

$19.99

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

ibuks

(eBook PDF) Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

$19.99

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

ibuks

(eBook PDF) Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

$19.99