Peter Thiemann – författare
Visar alla böcker från författaren Peter Thiemann. Handla med fri frakt och snabb leverans.
7 produkter
Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Av Peter Thiemann, Torben Mogensen m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software …
Partial Evaluation
International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Av Olivier Danvy, Robert Glück m. fl.
Häftad, 1996
566 kr
Lägg i varukorg
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February …
Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Av John Hatcliff, Torben Mogensen m. fl.
Häftad, 1999
566 kr
Lägg i varukorg
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software …
Functional and Logic Programming
11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Av Tom Schrijvers, Peter Thiemann
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. …
Functional and Logic Programming
11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Av Peter Thiemann, Tom Schrijvers
E-bok, 2012
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. …
Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Häftad, 2016
566 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016.The 29 papers presented in this volume were …
Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
E-bok, 2016
755 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016. The 29 papers presented in this volume were …
