Werner Damm

W. Damm · Werner Daum · Werner Diem · Werner Dunau

Titel ISBN-13Erschei-
nungsjahr
andere Autoren
Agility für Fortgeschrittene: Erfolgreich führen mit Körpersprache 978-3-938071-01-42008
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings 978-3-540-73367-62007
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
978-0-387-18320-61987
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... Notes in Computer Science, Band 2469) 978-3-540-44165-62008Ernst-Rüdiger Olderog
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation Final Report 978-3-540-23135-62004Hartmut Ehrig · Jörg Desel · Martin Große-Rhode · Wolfgang Reif · Eckehard Schnieder · Engelbert Westkämper
Kommunikation und Konfliktaustragung: Verfassungskultur als Faktor politischer und gesellschaftlicher Machtverhältnisse 978-3-8305-1733-72010Kathrin S. Hartmann · Simon Palaoro · Bärbel Sunderbrink (Hrsg.)
Practical Formal Methods for Hardware Design 978-3-540-62007-51997Carlos Delgado Kloos

Berliner Wissenschafts-Verlag · Kynos · Springer

 

Werner Damson