Computer aided verification
: 19th international conference ; proceedings / CAV 2007, Berlin, Germany, July 3 - 7, 2007. Werner Damm ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4590)
ISBN 978-3-540-73368-3
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)
ISBN 978-3-540-45739-8
Lizenzpflichtig
Quelle: DNB
Wo aber bleibt die Seele?
: interdisziplinäre Annäherungen / Werner Wasmuth (Hg.). Mit Beitr. von W. Damm .... - Münster : Lit, 2004. - 149 S. : Ill.; 24 cm - (Symposion; Bd. 7)
ISBN 978-3-8258-7221-2 / 3-8258-7221-1 kart. : EUR 14.90
Quelle: DNB Verlagsmeldungen
