Name: (eBook PDF) Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Brand: ibuks
Price: 19.99 USD
Availability: InStock

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

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

$19.99

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

ibuks

(eBook PDF) Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) International Conference on Mathematical Sciences and Statistics 2013 Selected Papers

$30.00

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

ibuks

(eBook PDF) Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

$14.99

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

ibuks

(eBook PDF) Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / Edition 1

$24.99

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

ibuks

(eBook PDF) Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

$19.99

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

ibuks

(eBook PDF) Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

$19.99

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

ibuks

(eBook PDF) Swarm Robotics: SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / Edition 1

$19.99

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

Write a Review

ibuks

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