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.)

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

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

Author(s): Gilles Dowek (eds.)
ISBN(s): 9783319089171, 9783319089188, 331908917X, 3319089188
Edition: 1
File Details: PDF, 9.15 MB
Year: 2014
Language: English
SKU: EB-4931912 Category: Tag:

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.) – Ebook Instant Download/Delivery ISBN(s): 9783319089171,9783319089188,331908917X,3319089188

You may also like…

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!
Web and Internet Economics 10th International Conference WINE 2014 Beijing China December 14 17 2014 Proceedings 1st Edition Tie-Yan Liu
Quick View

Computers - Networking

Web and Internet Economics 10th International Conference WINE 2014 Beijing China December 14 17 2014 Proceedings 1st Edition Tie-Yan Liu

Original price was: $50.00.Current price is: $25.00.
Sale!
Hybrid Systems Biology Second International Workshop HSB 2013 Taormina Italy September 2 2013 and Third International Workshop HSB 2014 Vienna Austria July 23 24 2014 Revised Selected Papers 1st Edition Oded Maler
Quick View

Computers

Hybrid Systems Biology Second International Workshop HSB 2013 Taormina Italy September 2 2013 and Third International Workshop HSB 2014 Vienna Austria July 23 24 2014 Revised Selected Papers 1st Edition Oded Maler

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 1st edition by Hana Chockler, Georg Weissenbacher 3319961446 9783540705451
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 1st edition by Hana Chockler, Georg Weissenbacher 3319961446 9783540705451

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!
Software Engineering and Formal Methods 14th International Conference SEFM 2016 Held as Part of STAF 2016 Vienna Austria July 4 8 2016 Proceedings 1st Edition by Rocco De Nicola 3319415913 9783319415918
Quick View

Computers

Software Engineering and Formal Methods 14th International Conference SEFM 2016 Held as Part of STAF 2016 Vienna Austria July 4 8 2016 Proceedings 1st Edition by Rocco De Nicola 3319415913 9783319415918

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!
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 by Armin Biere, Roderick Bloem 3319088661 9783319088662
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 by Armin Biere, Roderick Bloem 3319088661 9783319088662

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.