Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Barcode: 09783319141251
Brand: Springer International Publishing
Best Priced
sold by Hive Books
Hive Books
£33.99
Visit Store
Hive Books
Hive Books
£33.99
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer International Publishing

The Answer Machine
The Answer Machine
from £23.79
Electromagnetic Theory
Electromagnetic Theory
from £84.58
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
from £42.49
Circuit Analysis Laboratory Workbook
Circuit Analysis Laboratory Workbook
from £23.79
Knowledge Graphs
Knowledge Graphs
from £46.74
Customizable Computing
Customizable Computing
from £23.79
Lung Sounds : An Advanced Signal Processing Perspective
Lung Sounds : An Advanced Signal Processing Perspective
from £23.79
Bioinstrumentation
Bioinstrumentation
from £23.79
Genome Refactoring
Genome Refactoring
from £15.29
BioNanotechnology
BioNanotechnology
from £23.79
Symmetry Problems : The Navier-Stokes Problem
Symmetry Problems : The Navier-Stokes Problem
from £23.79
Action Programming Languages
Action Programming Languages
from £21.24
Atomically Precise Metal Nanoclusters
Atomically Precise Metal Nanoclusters
from £38.24
iRODS Primer 2 : Integrated Rule-Oriented Data System
iRODS Primer 2 : Integrated Rule-Oriented Data System
from £29.74
Information Communication
Information Communication
from £23.79
Argumentation Mining
Argumentation Mining
from £42.49
Business Processes
Business Processes
from £23.79
Speech Recognition Algorithms Using Weighted Finite-State Transducers
Speech Recognition Algorithms Using Weighted Finite-State Transducers
from £25.49
Disability Interactions : Creating Inclusive Innovations
Disability Interactions : Creating Inclusive Innovations
from £46.74
Link Reversal Algorithms
Link Reversal Algorithms
from £23.79

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
from £35.69
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
from £38.24
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
from £35.69
Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
from £38.24
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
from £38.24
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
from £38.24
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
from £38.24
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
from £38.24
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
from £38.24
Citizen in Sensor Networks : Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers
Citizen in Sensor Networks : Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers
from £38.24
Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
from £38.24