Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (14)
Age Range
All Ranges
15+ (5)
All Ages (1)
Country
All Countries
Germany (10)
Switzerland (4)
    Results for "Erlang Programming"
    Erlang Programming
    16 results
    Sold By
    All Sellers
    Fishpond (14)
    Age Range
    All Ranges
    15+ (5)
    All Ages (1)
    Country
    All Countries
    Germany (10)
    Switzerland (4)
      16 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Programming Languages (Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Compu ..)
      By Hugh Glaser, Peter Hartel, Herbert R. Kuchen
      Programming Languages (Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Compu ..)
      By Hugh Glaser, Peter Hartel, Herbert R. Kuchen
      HK$540
      Principles of Declarative ­Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))
      By Catuscia Palamidessi, Hugh Glaser, Karl Meinke
      Principles of Declarative ­Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))
      By Catuscia Palamidessi, Hugh Glaser, Karl Meinke
      HK$700
      Functional and Logic ­Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola
      Functional and Logic ­Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola
      HK$555
      Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Koushik Sen, Sarfaz Khurshid
      Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Koushik Sen, Sarfaz Khurshid
      HK$582
      Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))
      By Einar Broch Johnsen, Luigia Petre
      Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))
      By Einar Broch Johnsen, Luigia Petre
      HK$554
      Tests and Proofs (7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Programming and Software Engineering))
      By Margus Veanes, Luca Vigano
      Tests and Proofs (7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Programming and Software Engineering))
      By Margus Veanes, Luca Vigano
      HK$472
      Functional and Logic ­Programming (13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Oleg Kiselyov, Andy King
      Functional and Logic ­Programming (13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Oleg Kiselyov, Andy King
      HK$740
      Tests and Proofs (10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Programming and Software Engineering))
      By Bernhard K. Aichernig, Carlo A. Furia
      Tests and Proofs (10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Programming and Software Engineering))
      By Bernhard K. Aichernig, Carlo A. Furia
      HK$788
      Logic-Based Program ­Synthesis and Transformation (26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Manuel V Hermenegildo, Pedro Lopez-Garcia
      Logic-Based Program ­Synthesis and Transformation (26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Manuel V Hermenegildo, Pedro Lopez-Garcia
      HK$840
      Reversible Computation (14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings (Lecture Notes in Computer Science))
      By Claudio Antares Mezzina, Krzysztof Podlaski
      Reversible Computation (14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings (Lecture Notes in Computer Science))
      By Claudio Antares Mezzina, Krzysztof Podlaski
      HK$600
      Automated Deduction - ­CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Claude Kirchner, Helene Kirchner
      Automated Deduction - ­CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Claude Kirchner, Helene Kirchner
      HK$660
      Computer Science Logic (13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science))
      By Jörg Flum, Mario Rodriguez-Artalejo
      Computer Science Logic (13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science))
      By Jörg Flum, Mario Rodriguez-Artalejo
      HK$573
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)
      By Erika Abraham, Klaus Havelund
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)
      By Erika Abraham, Klaus Havelund
      HK$675
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Specialized­ Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Specialized­ Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$933
      3
      Central European Functional ­Programming School (Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures (Theoretical Computer Science and General Issues))
      By Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok
      Central European Functional ­Programming School (Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures (Theoretical Computer Science and General Issues))
      By Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok
      Currently
      Unavailable
      Testing: Academic and ­Industrial Conference - ­Practice and Research ­Techniques (5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Leonardo Bottaci, Gordon Fraser
      Testing: Academic and ­Industrial Conference - ­Practice and Research ­Techniques (5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Leonardo Bottaci, Gordon Fraser
      Currently
      Unavailable