Tipsa dina vänner om produkten:
Automatic Program Development: A Tribute to Robert Paige Olivier Danvy 2008 edition
Pris
SEK 1.099
Beställningsvara
Förväntad leverans 30 okt - 9 nov
Få avisering om nya utgåvor med Olivier Danvy
Lägg till din iMusic-önskelista
eller
Finns även som:
Automatic Program Development: A Tribute to Robert Paige
Olivier Danvy
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
272 pages, biography
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 8 januari 2008 |
| ISBN13 | 9781402065842 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 272 |
| Mått | 155 × 235 × 17 mm · 580 g |
| Språk | Engelska |
| Redaktör | Danvy, Olivier |
| Redaktör | Henglein, Fritz |
| Redaktör | Mairson, Harry |
| Redaktör | Pettorossi, Alberto |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Inbunden Bok) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Inbunden Bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-inbunden-bok&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Inbunden Bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-inbunden-bok&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Pocketbok) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-pocketbok&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-inbunden-bok&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-inbunden-bok&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Inbunden Bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-inbunden-bok&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-inbunden-bok&class=scaled&v=1782130051)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2027-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602568)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Inbunden Bok) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2027-computational-methods-in-synthetic-biology-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602614)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602583)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/542/9781071655542.jpg?2026-atomic-force-microscopy-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1791812257)
![Cover for Ewing Sarcoma: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/863/9781071655863.jpg?2026-ewing-sarcoma-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602610)
![Cover for RNA Remodeling Proteins: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/702/9781071655702.jpg?2026-rna-remodeling-proteins-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1790602627)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-inbunden-bok&class=scaled&v=1788180241)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1777954830)
![Cover for MicroRNA Target Identification: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9781071653913.jpg?2026-microrna-target-identification-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1788244300)
![Cover for Bacterial Multidrug Exporters: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/159/9781071653159.jpg?2026-bacterial-multidrug-exporters-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1780315985)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Inbunden Bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-inbunden-bok&class=scaled&v=1780314367)