Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
120,20 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
Kategorien:
Beschreibung
First account of the subject by two of its leading exponents. Essentially self-contained.
First account of the subject by two of its leading exponents. Essentially self-contained.
Inhaltsverzeichnis
1. Introduction; 2. Optimal reduction; 3. The full algorithm; 4. Optimal reductions and linear logic; 5. Zig-zag; 6. Paths; 7. Read-back; 8. Other translations in sharing graphs; 9. Safe nodes; 10. Complexity; 11. Functional programming; 12. Source language; Bibliography; Index.
Details
Erscheinungsjahr: | 2010 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Inhalt: | Gebunden |
ISBN-13: | 9780521621120 |
ISBN-10: | 0521621127 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC gerader Rücken kaschiert |
Einband: | Gebunden |
Autor: | Asperti, Andrea |
Redaktion: | Rijsbergen, C. J. van |
Hersteller: | Cambridge University Press |
Maße: | 235 x 157 x 28 mm |
Von/Mit: | Andrea Asperti |
Erscheinungsdatum: | 02.06.2010 |
Gewicht: | 0,812 kg |
Inhaltsverzeichnis
1. Introduction; 2. Optimal reduction; 3. The full algorithm; 4. Optimal reductions and linear logic; 5. Zig-zag; 6. Paths; 7. Read-back; 8. Other translations in sharing graphs; 9. Safe nodes; 10. Complexity; 11. Functional programming; 12. Source language; Bibliography; Index.
Details
Erscheinungsjahr: | 2010 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
Inhalt: | Gebunden |
ISBN-13: | 9780521621120 |
ISBN-10: | 0521621127 |
Sprache: | Englisch |
Ausstattung / Beilage: | HC gerader Rücken kaschiert |
Einband: | Gebunden |
Autor: | Asperti, Andrea |
Redaktion: | Rijsbergen, C. J. van |
Hersteller: | Cambridge University Press |
Maße: | 235 x 157 x 28 mm |
Von/Mit: | Andrea Asperti |
Erscheinungsdatum: | 02.06.2010 |
Gewicht: | 0,812 kg |
Warnhinweis