Sale!

Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler

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

Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler Digital Instant Download

Author(s): Hana Chockler, Georg Weissenbacher
ISBN(s): 9783319961446, 9783319961453, 3319961446, 3319961454
Edition: 1st ed.
File Details: PDF, 20.33 MB
Year: 2018
Language: English
SKU: EB-7152462 Category: Tags: ,

Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler – Ebook Instant Download/Delivery ISBN(s): 9783319961446,9783319961453,3319961446,3319961454

You may also like…

Sale!
Theory of Cryptography 16th International Conference TCC 2018 Panaji India November 11 14 2018 Proceedings Part II 1st Edition by Amos Beimel,Stefan Dziembowski ISBN 3030038092 978-3030038090
Quick View

Business & Economics

Theory of Cryptography 16th International Conference TCC 2018 Panaji India November 11 14 2018 Proceedings Part II 1st Edition by Amos Beimel,Stefan Dziembowski ISBN 3030038092 978-3030038090

Original price was: $50.00.Current price is: $25.00.
Sale!
Web and Internet Economics 14th International Conference WINE 2018 Oxford UK December 15 17 2018 Proceedings George Christodoulou
Quick View

Computers - Networking

Web and Internet Economics 14th International Conference WINE 2018 Oxford UK December 15 17 2018 Proceedings George Christodoulou

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 28th International Conference CAV 2016 Toronto ON Canada July 17 23 2016 Proceedings Part II 1st Edition Swarat Chaudhuri
Quick View

Computers

Computer Aided Verification 28th International Conference CAV 2016 Toronto ON Canada July 17 23 2016 Proceedings Part II 1st Edition Swarat Chaudhuri

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 18 22 2014 Proceedings 1st Edition Armin Biere
Quick View

Computers - Programming

Computer Aided Verification 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 18 22 2014 Proceedings 1st Edition Armin Biere

Original price was: $50.00.Current price is: $25.00.
Sale!
Virtual Augmented and Mixed Reality Applications in Health Cultural Heritage and Industry 10th International Conference VAMR 2018 Held as Part of HCI International 2018 Las Vegas NV USA July 15 20 2018 Proceedings Part II Jessie Y.C. Chen
Quick View

Computers

Virtual Augmented and Mixed Reality Applications in Health Cultural Heritage and Industry 10th International Conference VAMR 2018 Held as Part of HCI International 2018 Las Vegas NV USA July 15 20 2018 Proceedings Part II Jessie Y.C. Chen

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri

Original price was: $50.00.Current price is: $25.00.
Sale!
Computational Collective Intelligence 10th International Conference ICCCI 2018 Bristol UK September 5 7 2018 Proceedings Part II Ngoc Thanh Nguyen
Quick View

Uncategorized

Computational Collective Intelligence 10th International Conference ICCCI 2018 Bristol UK September 5 7 2018 Proceedings Part II Ngoc Thanh Nguyen

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Vision ECCV 2018 15th European Conference Munich Germany September 8 14 2018 Proceedings Part III 1st Edition by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss ISBN 3030012182 978-3030012182
Quick View

Uncategorized

Computer Vision ECCV 2018 15th European Conference Munich Germany September 8 14 2018 Proceedings Part III 1st Edition by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss ISBN 3030012182 978-3030012182

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