Zimmermann, Wolf
VIAF ID: 30082550 ( Personal )
Permalink: http://viaf.org/viaf/30082550
Preferred Forms
- 100 1 _ ‡a Zimmermann, Wolf
- 100 1 _ ‡a Zimmermann, Wolf
- 100 1 _ ‡a Zimmermann, Wolf
- 100 1 _ ‡a Zimmermann, Wolf
- 100 1 0 ‡a Zimmermann, Wolf
-
-
-
-
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings | |
ASM 2004 | |
The automatic complexity analysis of divide-and-conquer algorithms | |
Automatische Komplexitätsanalyse funktionaler Programme, 1990: | |
Deadlockanalyse Service-orientierter Softwaresysteme | |
ECOWS 2007 | |
ESOCC 2018 | |
Planbare Algorithmen eine Methode zum maschinenunabhängigen parallelen Programmieren | |
PRAM-Simulationen | |
Proceedings of the Fifth IEEE European Conference on Web Services, 26-28 November 2007, Halle, Germany | |
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings | |
SHEP: An Innovative Language to create and evaluate Optimization Programs for Pump Systems | |
Verwendung mehrwertiger und nicht-monotoner Logiken zur Programmkonstruktion | |
Vorlesungen über Informatik |