Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Übersetzerbau. Bd.3

Name: Übersetzerbau. Bd.3
Brand: Springer, Berlin
SKU: 01650209
Price: 23.71 EUR
Availability: InStock
Author: Helmut Seidl
ISBN: 9783642033292

Analyse und Transformation

Helmut Seidl

Reinhard Wilhelm

Sebastian Hack

Jezik

Njemački

Knjiga Meki uvez

Libristo kod: 01650209

Nakladnici Springer, Berlin, studeni 2009

Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Ef... Cijeli opis

Libristo kod: 01650209

57 b

23.71 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Lovers' Saint Ruth'sand Three Other Tales Louise Imogen Guiney

Meki uvez

12.61 €

Reservations James Richardson

Tvrdi uvez

105.36 €

Vie de Franklin, ecrite par lui-meme - Tome I Suivie de ses oeuvres morales, politiques et litteraires Benjamin Franklin

Meki uvez

13.51 €

Introduction to Axiomatic Set Theory J.L. Krivine

Meki uvez

102.73 €

Houses and Households Richard E. Blanton

Meki uvez

102.73 €

Ranciere and Film Paul Bowman

Tvrdi uvez

130.19 €

Childhoods Real and Imagined Priscilla Alderson

Tvrdi uvez

239.19 €

Advances in Perinatal Medicine E. Friedman

Meki uvez

51.56 €

Supermathematics and its Applications in Statistical Physics Franz Wegner

Meki uvez

71.95 €

Doctor Who Robbie Morrison

Tvrdi uvez

17.25 €

Small Rooms & Hidden Places Ronald W. Wohlauer

Tvrdi uvez

28.15 €

Seven Rabbits Timothy King

Meki uvez

11.70 €

Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse der Programme überprüft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einführung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen.