search result

Cover von Programming Languages and Systems
21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7211
Media group: MONOGRAPHIE
Cover von Praktische Programmverifikation durch statische Analyse

Praktische Programmverifikation durch statische Analyse

Author: Seidl, Helmut
Year: 2010
Media group: ARTICLE
Cover von Foundations of software science and computational structures
10th international conference, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4423
Media group: MONOGRAPHIE
Cover von Computing the Longest Common Prefix of a Context-free Language in Polynomial Time

Computing the Longest Common Prefix of a Context-free Language in Polynomial Time

Year: 2018
Media group: LIPIcs
Cover von Compiler Design
Virtual Machines
Author: Wilhelm, Reinhard; Seidl, Helmut Search for this author
Year: 2010
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Band 1.; Virtuelle Maschinen
Author: Wilhelm, Reinhard; Seidl, Helmut Search for this author
Year: 2007
Publisher: Berlin, Springer
Übersetzerbau
Volume: Band 1.
Series: eXamen.press
Media group: MONOGRAPHIE
Cover von Übersetzerbau

Übersetzerbau

Berlin, Springer
Media group: MONOGRAPHIE
Volumes loading
Cover von Proceedings of the 
2022 Joint Workshop of the German Research Training Groups in Computer Science
June 12 - June 15, 2022, Schloss Dagstuhl
Search for this author
Year: 2022
Publisher: Bonn, DFG
Media group: OPENACCESS
Cover von When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

Year: 2020
Media group: LIPIcs
Cover von Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11 - 13, 2014 : Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 8723
Media group: MONOGRAPHIE
OPEN V 11.1.0.0