Gesamtpreis (1 Artikel Artikel):
Versandziel:
logic based program synthesis transformation (99 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (99)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (87)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (66)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Logic-Based Program Synthesis and Transformation
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 15,75
EUR 7,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 234 Illus.
-
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers
Verlag: Springer-Verlag, New York, 2002
ISBN 10: 3540439153 ISBN 13: 9783540439158
Sprache: Englisch
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
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: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,51
EUR 10,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 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 (PB)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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 Based Program Synthesis and Transformation (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new.
-
Logic-Based Program Synthesis and Transformation
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 70,95
EUR 7,35 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 196 Illus.
-
Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, Uk, July 24-28, 2000 : Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,62
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 181 pages. 9.00x6.00x0.25 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 18th International Symposium, Lopstr 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642005144 ISBN 13: 9783642005145
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,84
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 185 pages. 9.00x6.00x0.50 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030138372 ISBN 13: 9783030138370
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,02
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.47 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642125913 ISBN 13: 9783642125911
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,31
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 205 pages. 9.00x6.00x0.50 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540787682 ISBN 13: 9783540787686
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,57
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2008 edition. 217 pages. 9.00x6.00x0.75 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected . Computer Science and General Issues)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,08
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 248 pages. 9.00x5.75x0.50 inches. In Stock.
-
Logic Based Program Synthesis And Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,13
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 279 pages. 9.50x6.50x1.00 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 810, 2019, Revised Selected Papers
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 303045259X ISBN 13: 9783030452599
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,94
EUR 14,14 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 350 pages. 9.25x6.10x0.64 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 24th International Symposium, Lopstr 2014, Selected Papers
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319178210 ISBN 13: 9783319178219
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,97
EUR 14,14 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 348 pages. 9.25x6.10x0.79 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,17
EUR 14,14 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 400 pages. 9.25x6.10x0.79 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 68, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,49
EUR 14,14 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 329 pages. 9.25x6.10x0.87 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 331927435X ISBN 13: 9783319274355
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,84
EUR 14,14 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 404 pages. 9.25x6.10x0.79 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 2123, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,95
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 168 pages. 9.25x6.10x0.71 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,72
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540676287 ISBN 13: 9783540676287
Sprache: Englisch
EUR 48,37
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 910, 2025, Proceedings
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3032048478 ISBN 13: 9783032048479
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,45
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 223 pages. 9.25x6.10x9.21 inches. In Stock.
-
Logic-based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan, Italy, September 910, 2024, Proceedings
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031712935 ISBN 13: 9783031712937
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,21
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 257 pages. 9.25x6.10x8.90 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation
Verlag: Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Sprache: Englisch
EUR 52,76
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,51
EUR 28,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 252 pages. 9.00x6.00x0.75 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised . Notes in Computer Science, Band 11408)
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut - ungelesen,als Mängelexemplar gekennzeichnet, mit leichten Mängeln an Schnitt oder Umschlag durch Lager- oder Transportschaden -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
-
Logic Based Program Synthesis and Transformation
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540326545 ISBN 13: 9783540326540
Sprache: Englisch
EUR 59,94
EUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited ta.
-
Logic-based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642322107 ISBN 13: 9783642322105
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 100,38
EUR 11,31 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 263 pages. 9.25x6.00x0.75 inches. In Stock.
-
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642381960 ISBN 13: 9783642381966
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
-
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642322107 ISBN 13: 9783642322105
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
