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

(eBook PDF) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Name: (eBook PDF) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, 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) Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Related Products

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

ibuks

(eBook PDF) Hybrid Learning: Innovation in Educational Practices 8th International Conference, ICHL 2015, Wuhan, China, July 27 29, 2015. Proceedings

$19.99

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

ibuks

(eBook PDF) Learning Technology for Education in Cloud 4th International Workshop, LTEC 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings

$19.99

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

ibuks

(eBook PDF) Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

$19.99

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

ibuks

(eBook PDF) Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

$19.99

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

ibuks

(eBook PDF) Decision and Game Theory for Security 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings

$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

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

ibuks

(eBook PDF) FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

$19.99