Agility für Fortgeschrittene Kynos Sport und Spiel Autor Werner Damm 4 oct 2012 Hardback Preț: 122.97 lei 17-23 zile | 5-11 zile
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings Lecture Notes in Computer Science, nr. 4590 Editat de Werner Damm et al. 2 iul 2007 Paperback Preț: 343.16 lei 428.96 lei 43-57 zile -20%
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report Lecture Notes in Computer Science, nr. 3147 Editat de Hartmut Ehrig et al. 22 sep 2004 Paperback Preț: 342.52 lei 428.15 lei 43-57 zile -20%
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings Lecture Notes in Computer Science, nr. 2469 Editat de Werner Damm et al. 28 aug 2002 Paperback Preț: 335.08 lei 418.85 lei 43-57 zile -20%
Practical Formal Methods for Hardware Design Research Reports Esprit Editat de Carlos Delgado Kloos et al. 28 mai 1997 Paperback Preț: 326.34 lei 407.93 lei 43-57 zile -20%
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Informatik-Fachberichte, nr. 146 Autor Werner Damm 23 sep 1987 Paperback Preț: 357.97 lei 447.46 lei 43-57 zile -20%
Kommunikation und Konfliktaustragung Veröffentlichungen des Instituts für Europäische Verfassungswissenschaften, nr. 7 Editat de Werner Damm et al. 31 ian 2010 Hardback Preț: 326.01 lei Indisponibil temporar