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

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

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 Digital Instant Download

Author(s): Armin Biere, Roderick Bloem (eds.)
ISBN(s): 9783319088662, 9783319088679, 3319088661, 331908867X
Edition: 1
File Details: PDF, 14.13 MB
Year: 2014
Language: English
SKU: EB-4931890 Category: Tags: ,

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 – Ebook Instant Download/Delivery ISBN(s): 9783319088662,9783319088679,3319088661,331908867X

You may also like…

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 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
Quick View

Computers

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.
Sale!
Learning and Collaboration Technologies Designing and Developing Novel Learning Experiences First International Conference LCT 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part I 1st Edition Panayiotis Zaphiris
Quick View

Computers - Networking

Learning and Collaboration Technologies Designing and Developing Novel Learning Experiences First International Conference LCT 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part I 1st Edition Panayiotis Zaphiris

Original price was: $50.00.Current price is: $25.00.
Sale!
Informatics in Control Automation and Robotics 11th International Conference ICINCO 2014 Vienna Austria September 2 4 2014 Revised Selected Papers 1st Edition Joaquim Filipe 9783319264516, 3319264516
Quick View

Computers

Informatics in Control Automation and Robotics 11th International Conference ICINCO 2014 Vienna Austria September 2 4 2014 Revised Selected Papers 1st Edition Joaquim Filipe 9783319264516, 3319264516

Original price was: $50.00.Current price is: $25.00.
Sale!
Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.)
Quick View

Computers - Computer Science

Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.)

Original price was: $50.00.Current price is: $25.00.
Sale!
Automated Reasoning 7th International Joint Conference IJCAR 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 19 22 2014 Proceedings 1st Edition Stéphane Demri
Quick View

Computers - Computer Science

Automated Reasoning 7th International Joint Conference IJCAR 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 19 22 2014 Proceedings 1st Edition Stéphane Demri

Original price was: $50.00.Current price is: $25.00.
Sale!
Digital Human Modeling Applications in Health Safety Ergonomics and Risk Management 5th International Conference DHM 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings 1st Edition Vincent G. Duffy
Quick View

Computers - Networking

Digital Human Modeling Applications in Health Safety Ergonomics and Risk Management 5th International Conference DHM 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings 1st Edition Vincent G. Duffy

Original price was: $50.00.Current price is: $25.00.
Sale!
Runtime Verification 5th International Conference RV 2014 Toronto ON Canada September 22 25 2014 Proceedings 1st Edition by Borzoo Bonakdarpour, Scott A Smolka ISBN 3319111639 9783319111643
Quick View

Computers - Programming

Runtime Verification 5th International Conference RV 2014 Toronto ON Canada September 22 25 2014 Proceedings 1st Edition by Borzoo Bonakdarpour, Scott A Smolka ISBN 3319111639 9783319111643

Original price was: $50.00.Current price is: $25.00.
Sale!
Design User Experience and Usability User Experience Design Practice Third International Conference DUXU 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part IV 1st Edition Aaron Marcus (Eds.)
Quick View

Computers - Networking

Design User Experience and Usability User Experience Design Practice Third International Conference DUXU 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part IV 1st Edition Aaron Marcus (Eds.)

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