Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

£90.97

Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

£90.94

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

£46.21

ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

£91.16

Trends in Functional Programming (17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By David Van Horn, John Hughes

Trends in Functional Programming (17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By David Van Horn, John Hughes

£46.24

Central European Functional Programming School (6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Porkolab, Zoltan Horvath

Central European Functional Programming School (6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Porkolab, Zoltan Horvath

£61.39

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

£54.43

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

£46.34

Functional and Logic Programming (6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings (Lecture Notes in Computer Science))

By Zhenjiang Hu, Mario Rodriquez-Artalejo

Functional and Logic Programming (6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings (Lecture Notes in Computer Science))

By Zhenjiang Hu, Mario Rodriquez-Artalejo

£46.46

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

£46.86

Practical Aspects of Declarative Languages (12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Programming and Software Engineering))

By Manuel Carro, Ricardo Pena

Practical Aspects of Declarative Languages (12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Programming and Software Engineering))

By Manuel Carro, Ricardo Pena

£46.20

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

£51.62

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

£55

Central European Functional Programming School (4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Horvath, Rinus Plasmeijer

Central European Functional Programming School (4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Horvath, Rinus Plasmeijer

£46.31

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

£46.25

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

£43.17

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

£42.71

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

£47.53

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

£48.32

Beginning F#

By Pickering, Robert

Beginning F#

By Pickering, Robert

£31.56 Elsewhere ~~£32.99~~ Save £1.43 (4%)

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

£39.97 Elsewhere ~~£44.99~~ Save £5.02 (11%)

Implementation of Functional Languages (12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science))

By Markus Mohnen, Pieter Koopman

Implementation of Functional Languages (12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science))

By Markus Mohnen, Pieter Koopman

£46.22

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

£46.71

Implementation of Functional Languages (13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Arts, Markus Mohnen

Implementation of Functional Languages (13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Arts, Markus Mohnen

£46.18

View:
Safe Search(?):