หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

Sebastian Hack & Helmut Seidl
Übersetzerbau [PDF ebook]
Band 3: Analyse und Transformation

สนับสนุน

ปกของ Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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.

€16.99

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา เยอรมัน ● รูป PDF ● ISBN 9783642033315 ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2009 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 2170927 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48,701 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Explanatory Model Analysis Explore, Explain and Examine Predictive Models is a set of methods and tools designed to build better predictive models and to monitor their behaviour in a changing environ …

ปกของ Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Tree-based Methods for Statistical Learning in R provides a thorough introduction to both individual decision tree algorithms (Part I) and ensembles thereof (Part II). Part I of the book brings sever …

ปกของ Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Numerical Methods and Methods of Approximation in Science and Engineering prepares students and other readers for advanced studies involving applied numerical and computational analysis. Focused on b …

ปกของ Alexander D. (The University of Alabama, Huntsville, USA) Poularikas: Signals and Systems Primer with MATLAB

Alexander D. (The University of Alabama, Huntsville, USA) Poularikas: Signals and Systems Primer with MATLAB

Signals and Systems Primer with MATLAB® equally emphasizes the fundamentals of both analog and digital signals and systems. To ensure insight into the basic concepts and methods, the text presents a …

ปกของ Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Based on the proceedings of the International Conference on Stochastic Partial Differential Equations and Applications-V held in Trento, Italy, this illuminating reference presents applications in fi …

ปกของ Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 par …

ปกของ Christopher J. A. Polachic & Chary Rangacharyulu: From Atoms to Higgs Bosons

Christopher J. A. Polachic & Chary Rangacharyulu: From Atoms to Higgs Bosons

The announcement in 2012 that the Higgs boson had been discovered was understood as a watershed moment for the Standard Model of particle physics. It was deemed a triumphant event in the reductionist …

ปกของ Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

This book treats the Atiyah-Singer index theorem using the heat equation, which gives a local formula for the index of any elliptic complex. Heat equation methods are also used to discuss Lefschetz f …

ปกของ Daniel B. Rowe: Multivariate Bayesian Statistics

Daniel B. Rowe: Multivariate Bayesian Statistics

Of the two primary approaches to the classic source separation problem, only one does not impose potentially unreasonable model and likelihood constraints: the Bayesian statistical approach. Bayesian …

ปกของ Luis Manuel Braga da Costa Campos: Classification and Examples of Differential Equations and their Applications

Luis Manuel Braga da Costa Campos: Classification and Examples of Differential Equations and their Applications

Classification and Examples of Differential Equations and their Applications is the sixth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. …

หน้าต่อไป >>>