Agility für Fortgeschrittene Kynos Sport und Spiel Autor Werner Damm 4 oct 2012 Hardback Preț: 122.97 lei 17-23 zile | 7-13 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ț: 350.21 lei 437.76 lei 6-8 săpt. -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ț: 349.55 lei 436.94 lei 6-8 săpt. -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ț: 341.95 lei 427.44 lei 6-8 săpt. -20%
Practical Formal Methods for Hardware Design Research Reports Esprit Editat de Carlos Delgado Kloos et al. 28 mai 1997 Paperback Preț: 333.04 lei 416.30 lei 6-8 săpt. -20%
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Informatik-Fachberichte, nr. 146 Autor Werner Damm 23 sep 1987 Paperback Preț: 365.33 lei 456.66 lei 6-8 săpt. -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