Olivier Danvy – författare
Visar alla böcker från författaren Olivier Danvy. Handla med fri frakt och snabb leverans.
8 produkter
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Inbunden, 2008
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Automatic Program Development
A Tribute to Robert Paige
Av Alberto Pettorossi, Harry Mairson m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Programs as Data Objects
Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Av Olivier Danvy, Andrzej Filinski
Häftad, 2001
566 kr
Lägg i varukorg
This volume constitutes the proceedings of the Second Symposium on Programs asDataObjects(PADO-II),heldattheUniversityofAarhus,Denmark,onMay 21-23,2001. PADO-IIwascolocatedwiththeThirdInternationalWorkshopon Implicit Computational Complexity (ICC2001) and the Seventeenth Conference on the …
Programs as Data Objects
Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Av Andrzej Filinski, Olivier Danvy
E-bok, 2003
739 kr
Lägg i varukorg
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 …
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Av Gul Agha, Olivier Danvy m. fl.
Häftad, 2011
566 kr
Lägg i varukorg
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among …
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Av Jose Meseguer, Olivier Danvy m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among …
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Häftad, 2010
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
