Logic program synthesis transformation

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers

Pettorossi, Alberto

Sprache: Englisch

Verlag: Springer-Verlag, New York, 2002

3540439153 / 9783540439158

Hardcover

Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 20,13

EUR 5,21 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].

Logic based program synthesis and transformation : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).

Bruynooghe, Maurice (Ed.):

Sprache: Englisch

Verlag: Berlin etc. : Springer, 2004

3540221743 / 9783540221746

Softcover

Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Verbandsmitglied: GIAQ

Zustand: Gebraucht - Sehr gut

EUR 13,50

EUR 15,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Softcover/Paperback. Zustand: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Kung-Kiu, Lau (Ed.)

Sprache: Englisch

Verlag: Springer-Verlag, Berlin, 2001

3540421270 / 9783540421276

Softcover

Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 22,19

EUR 14,59 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Used.

Logic-Based Program Synthesis and Transformation

Sprache: Englisch

Verlag: Springer, 2008

3540787682 / 9783540787686

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 30,39

EUR 7,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. pp. 234 Illus.

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (PB)

Sprache: Englisch

Verlag: Springer, 2008

3540787682 / 9783540787686

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 45,09

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Logic Program Synthesis and Transformation

Lau K.K. Clement T.P.

Sprache: Englisch

Verlag: Springer, 1992

0387197427 / 9780387197425

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 46,29

EUR 7,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. x + 337 Illus.

Logic-Based Program Synthesis and Transformation

Sprache: Englisch

Verlag: Springer, 2009

3642005144 / 9783642005145

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 48,43

EUR 7,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 196 Illus.

Logic Program Synthesis and Transformation

Lau K.K. Clement T.P.

Sprache: Englisch

Verlag: Springer, 1992

0387197427 / 9780387197425

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 47,19

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. x + 337.

Logic Program Synthesis and Transformation

Kung-Kiu Lau

Sprache: Englisch

Verlag: Springer, 1993

0387198067 / 9780387198064

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 53,17

EUR 7,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 320.

Logic-Based Program Synthesis and Transformation

Hanus Michael

Sprache: Englisch

Verlag: Springer, 2009

3642005144 / 9783642005145

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 49,59

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 196.

Logic Program Synthesis and Transformation

Deville Yves

Sprache: Englisch

Verlag: Springer, 1994

0387198644 / 9780387198644

Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 55,02

EUR 7,58 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 245.

Logic Program Synthesis and Transformation

Clement Tim

Sprache: Englisch

Verlag: Springer, 1993

0387198067 / 9780387198064

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 54,19

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 320.

Logic Program Synthesis and Transformation

Deville Yves

Sprache: Englisch

Verlag: Springer, 1994

0387198644 / 9780387198644

Softcover

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht

EUR 56,13

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Zustand: Used. pp. 245.

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2014

3319141244 / 9783319141244

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,90

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2014

3662175088 / 9783662175088

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,90

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Sprache: Englisch

Verlag: Springer, 2012

3642322107 / 9783642322105

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 57,36

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2013

3642381960 / 9783642381966

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 57,36

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2018

3319944592 / 9783319944593

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)

Sprache: Englisch

Verlag: Springer, 2005

3540266550 / 9783540266556

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... (Lecture Notes in Computer Science, 4915)

Sprache: Englisch

Verlag: Springer, 2008

3540787682 / 9783540787686

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science, 883)

Sprache: Englisch

Verlag: Springer, 1994

3540587926 / 9783540587927

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

Sprache: Englisch

Verlag: Springer, 2006

3540326545 / 9783540326540

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)

Sprache: Englisch

Verlag: Springer, 2007

354071409X / 9783540714095

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372)

Sprache: Englisch

Verlag: Springer, 2002

3540439153 / 9783540439158

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817)

Sprache: Englisch

Verlag: Springer, 2000

3540676287 / 9783540676287

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048)

Sprache: Englisch

Verlag: Springer, 1996

3540609393 / 9783540609391

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

303045259X / 9783030452599

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2019

3030138372 / 9783030138370

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2015

331927435X / 9783319274355

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, ... 7-9 July 1993 (Workshops in Computing)

Sprache: Englisch

Verlag: Springer, 1994

3540198644 / 9783540198642

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,05

EUR 13,98 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Logic program synthesis transformation (139 Ergebnisse)

Optimieren Sie Ihre Suche

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 : 13th international workshop ; revised selected papers. (=Lecture notes in computer science ; Vol. 3018).

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

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (PB)

Logic Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected ... Computer Science and General Issues)

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: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Computer Science and General Issues)

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... (Lecture Notes in Computer Science, 4915)

Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science, 883)

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372)

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817)

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048)

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected ... Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, ... 7-9 July 1993 (Workshops in Computing)