Sale!

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata

Original price was: $50.00.Current price is: $25.00.

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata Digital Instant Download

Author(s): Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.)
ISBN(s): 9783319035444, 9783319035451, 3319035444, 3319035452
Edition: 1
File Details: PDF, 3.54 MB
Year: 2013
Language: English
SKU: EB-4601950 Category: Tags: , , ,

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata – Ebook Instant Download/Delivery ISBN(s): 9783319035444,9783319035451,3319035444,3319035452

You may also like…

Sale!
Digital Libraries Social Media and Community Networks 15th International Conference on Asia Pacific Digital Libraries ICADL 2013 Bangalore India December 9 11 2013 Proceedings 1st Edition K. Saruladha
Quick View

Computers - Networking

Digital Libraries Social Media and Community Networks 15th International Conference on Asia Pacific Digital Libraries ICADL 2013 Bangalore India December 9 11 2013 Proceedings 1st Edition K. Saruladha

Original price was: $50.00.Current price is: $25.00.
Sale!
Ambient Intelligence 4th International Joint Conference AmI 2013 Dublin Ireland December 3 5 2013 Proceedings 1st Edition Serge Autexier
Quick View

Computers - Computer Science

Ambient Intelligence 4th International Joint Conference AmI 2013 Dublin Ireland December 3 5 2013 Proceedings 1st Edition Serge Autexier

Original price was: $50.00.Current price is: $25.00.
Sale!
Swarm Evolutionary and Memetic Computing 4th International Conference SEMCCO 2013 Chennai India December 19 21 2013 Proceedings Part I 1st Edition M. Fatih Tasgetiren
Quick View

Computers - Computer Science

Swarm Evolutionary and Memetic Computing 4th International Conference SEMCCO 2013 Chennai India December 19 21 2013 Proceedings Part I 1st Edition M. Fatih Tasgetiren

Original price was: $50.00.Current price is: $25.00.
Sale!
Big Data Analytics Second International Conference BDA 2013 Mysore India December 16 18 2013 Proceedings 1st Edition Sameep Mehta
Quick View

Computers - Networking

Big Data Analytics Second International Conference BDA 2013 Mysore India December 16 18 2013 Proceedings 1st Edition Sameep Mehta

Original price was: $50.00.Current price is: $25.00.
Sale!
Principles of Distributed Systems 1st Edition by Hein Meling 9783319038490 3319038494
Quick View

Computers - Computer Science

Principles of Distributed Systems 1st Edition by Hein Meling 9783319038490 3319038494

Original price was: $50.00.Current price is: $25.00.
Sale!
Sequences and Their Applications SETA 2014 8th International Conference Melbourne VIC Australia November 24 28 2014 Proceedings 1st Edition Kai-Uwe Schmidt
Quick View

Computers - Networking

Sequences and Their Applications SETA 2014 8th International Conference Melbourne VIC Australia November 24 28 2014 Proceedings 1st Edition Kai-Uwe Schmidt

Original price was: $50.00.Current price is: $25.00.
Sale!
Computational Science and Its Applications ICCSA 2018 18th International Conference Melbourne VIC Australia July 2 5 2018 Proceedings Part III Osvaldo Gervasi
Quick View

Computers

Computational Science and Its Applications ICCSA 2018 18th International Conference Melbourne VIC Australia July 2 5 2018 Proceedings Part III Osvaldo Gervasi

Original price was: $50.00.Current price is: $25.00.
Sale!
Progress in Cryptology INDOCRYPT 2013 14th International Conference on Cryptology in India Mumbai India December 7 10 2013 Proceedings 1st Edition Yoshinori Aono
Quick View

Computers - Networking

Progress in Cryptology INDOCRYPT 2013 14th International Conference on Cryptology in India Mumbai India December 7 10 2013 Proceedings 1st Edition Yoshinori Aono

Original price was: $50.00.Current price is: $25.00.
Sale!
Decision and Game Theory for Security 4th International Conference GameSec 2013 Fort Worth TX USA November 11 12 2013 Proceedings 1st Edition Emrah Akyol
Quick View

Mathematics

Decision and Game Theory for Security 4th International Conference GameSec 2013 Fort Worth TX USA November 11 12 2013 Proceedings 1st Edition Emrah Akyol

Original price was: $50.00.Current price is: $25.00.