search result

Cover von Compiler Design
Analysis and Transformation
Author: Seidl, Helmut; Wilhelm, Reinhard; Hack, Sebastian Search for this author
Year: 2012
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Band 3.; Analyse und Transformation
Author: Seidl, Helmut; Wilhelm, Reinhard; Hack, Sebastian Search for this author
Year: 2010
Publisher: Berlin, Springer
Übersetzerbau
Volume: Band 3.
Series: eXamen.press
Media group: MONOGRAPHIE
Cover von Program analysis and compilation, theory and practice
essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 4444
Media group: MONOGRAPHIE
Cover von Resource Bound Analysis; 7
pp. 72-87
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
Cover von Teaching WCET Analysis in Academia and Industry

Teaching WCET Analysis in Academia and Industry

A Panel Discussion
Year: 2009
Media group: ARTICLE
Cover von Quo vadis, Informatik; 6
Innovation dank Informatik : Teil 4 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 458-459
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 6
Media group: ARTICLE
Cover von Quo vadis, Informatik; 5
Innovation dank Informatik : Teil 3 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 374-377
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 5
Media group: ARTICLE
Cover von Quo vadis, Informatik; 4
Innovation dank Informatik : Teil 2 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 291-296
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 4
Media group: ARTICLE
Cover von Quo vadis, Informatik; 3
Innovation dank Informatik : Teil 1 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 207-211
Search for this author
Year: 2007
Publisher: Berlin, Springer
Informatik Spektrum
Count: 3
Media group: ARTICLE
Cover von Modeling, Analysis, and Verification; 1
The Formal Methods Manifesto 2010 : pp. 21-40
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Manifestos
Count: 1
Media group: DAGSTUHL-MANIFESTOS
OPEN V 11.1.0.0