2010, ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2010, ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2011, ISBN: 9783642205514
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin H… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9783642205514
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
2010, ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
2010
ISBN: 9783642205514
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Aus… Mehr…
2011, ISBN: 9783642205514
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin H… Mehr…
2011, ISBN: 9783642205514
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation
EAN (ISBN-13): 9783642205514
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-14T15:59:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-11T14:55:43+02:00 (Vienna)
ISBN/EAN: 9783642205514
ISBN - alternative Schreibweisen:
978-3-642-20551-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: synthesis, austria international, transformation
Daten vom Verlag:
Autor/in: María Alpuente
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
249 Seiten
Erscheinungsjahr: 2011-04-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 249 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formal Methods; Partial Evaluation; Programming languages; Systems Modelling; Type Systems; C; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Algorithms; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Künstliche Intelligenz; Algorithmen und Datenstrukturen; BC
up-to-date results fast track conference proceedings state-of-the-art reportWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138387 Logic-Based Program Synthesis and Transformation (Fred Mesnard; Peter J. Stuckey)
- 9783319631387 Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pape (Manuel V Hermenegildo; Pedro Lopez-Garcia)
- 9783540787686 Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) (Andy King)
< zum Archiv...