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

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

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

Author(s): Stéphane Demri, Deepak Kapur, Christoph Weidenbach (eds.)
ISBN(s): 9783319085869, 9783319085876, 3319085867, 3319085875
Edition: 1
File Details: PDF, 9.82 MB
Year: 2014
Language: English
SKU: EB-4931754 Category: Tags: , ,

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 – Ebook Instant Download/Delivery ISBN(s): 9783319085869,9783319085876,3319085867,3319085875

You may also like…

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!
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!
Automated Reasoning 10th International Joint Conference IJCAR 2020 Paris France July 1 4 2020 Proceedings Part I 1st edition by Nicolas Peltier, Viorica Sofronie Stokkermans 9783030510749 3030510743
Quick View

Computers

Automated Reasoning 10th International Joint Conference IJCAR 2020 Paris France July 1 4 2020 Proceedings Part I 1st edition by Nicolas Peltier, Viorica Sofronie Stokkermans 9783030510749 3030510743

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!
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!
Automated Reasoning 10th International Joint Conference IJCAR 2020 Paris France July 1 4 2020 Proceedings Part II 1st Edition by Nicolas Peltier, ‎Viorica Sofronie Stokkermans ISBN 9783030510541 3030510549
Quick View

Computers

Automated Reasoning 10th International Joint Conference IJCAR 2020 Paris France July 1 4 2020 Proceedings Part II 1st Edition by Nicolas Peltier, ‎Viorica Sofronie Stokkermans ISBN 9783030510541 3030510549

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.
Sale!
Design User Experience and Usability Theories Methods and Tools for Designing the User Experience Third International Conference DUXU 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part I 1st Edition Aaron Marcus (Eds.)
Quick View

Computers - Networking

Design User Experience and Usability Theories Methods and Tools for Designing the User Experience Third International Conference DUXU 2014 Held as Part of HCI International 2014 Heraklion Crete Greece June 22 27 2014 Proceedings Part I 1st Edition Aaron Marcus (Eds.)

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