Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)

Der Band aus dem LOPSTR‑Symposium 2016 in Edinburgh fasst neueste Theorien zur logikbasierten Programmsynthese zusammen, beleuchtet innovative Trans ...
Logic-Based Program Synthesis and
Wo zu kaufen (3) Eigenschaften
Gesponsert
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
53.04 EUR
Preis aktualisiert am: 06-11-2026 07:20:55
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
Hugendubel
53.49 EUR
Preis aktualisiert am: 06-11-2026 12:32:11
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:28:45
Siehe Produktangebot

Allgemein

Marke
Hermenegildo, Manuel V.
ISBN
Hermenegildo, Manuel V. 3319631381

Eigenschaften

Ähnliche Produkte

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)
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)
Aus53.49 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Aus52.94 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)
Aus52.94 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Notes in Computer Science, Band 7844)
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Notes in Computer Science, Band 7844)
Aus48.99 EUR 4
Produkt anzeigen
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, Band 7225)
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, Band 7225)
Aus48.99 EUR 3
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Aus59.00 EUR 1
Produkt anzeigen
Menü