Von dem Buch Logic-Based Program Synthesis and Transformation haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Thomas Kuhr: Logic-Based Program Synthesis and Transformation (ISBN: 9783319178226) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Maurizio Proietti: Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. (ISBN: 9783319178219) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Logic-Based Program Synthesis and Transformation - 14 Angebote vergleichen
Bester Preis: € 2,59 (vom 21.04.2019)1
Logic-Based Program Synthesis and Transformation (2015)
DE PB NWISBN: 9783319178219 bzw. 3319178210, in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 14.05.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logic-Based Program Synthesis and Transformation, Titelzusatz: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Redaktion: Proietti, Maurizio // Seki, Hirohisa, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Mathematik // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Diskret // mathematisch // Roboter // Robotik // Industrieroboter // Betriebssystem // Operating System // Computer // Logik // COMPUTERS // Programming // General // Diskrete Mathematik // Betriebssysteme // Mathematik für Informatiker // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 333, Abbildungen: 61 schwarz-weiße Abbildungen, Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 8981) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 540 gr, Verkäufer: averdo.
Erscheinungsdatum: 14.05.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Logic-Based Program Synthesis and Transformation, Titelzusatz: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Redaktion: Proietti, Maurizio // Seki, Hirohisa, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Mathematik // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Diskret // mathematisch // Roboter // Robotik // Industrieroboter // Betriebssystem // Operating System // Computer // Logik // COMPUTERS // Programming // General // Diskrete Mathematik // Betriebssysteme // Mathematik für Informatiker // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 333, Abbildungen: 61 schwarz-weiße Abbildungen, Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 8981) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 540 gr, Verkäufer: averdo.
2
Logic-Based Program Synthesis and Transformation (2014)
~EN NW EB DLISBN: 9783319178226 bzw. 3319178229, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization. eBook.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization. eBook.
3
Logic-Based Program Synthesis and Transformation (2015)
EN NW EB DLISBN: 9783319178226 bzw. 3319178229, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, in-stock.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers p.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers p.
4
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (2014)
~EN NW EB DLISBN: 9783319178226 bzw. 3319178229, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Logic-Based Program Synthesis and Transformation (2014)
~EN PB NWISBN: 9783319178226 bzw. 3319178229, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Logic-Based Program Synthesis and Transformation (2015)
DE NWISBN: 3319178210 bzw. 9783319178219, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. (2014)
DE PB NWISBN: 9783319178219 bzw. 3319178210, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Logic-Based Program Synthesis and Transformation (2014)
~EN NW EB DLISBN: 9783319178226 bzw. 3319178229, vermutlich in Englisch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
DE NWISBN: 9783319178219 bzw. 3319178210, in Deutsch, Springer International Publishing, Springer International Publishing, Springer International Publishing, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Logic-Based Program Synthesis and Transformation (2014)
DE PB NWISBN: 9783319178219 bzw. 3319178210, in Deutsch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…