Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 1183 Treffer.


Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 313 Seiten

Erscheinungsdatum: 01.12.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer Safety, Reliability, and Security

28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 343 Seiten

Erscheinungsdatum: 07.09.2009

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Foundations of Health Information Engineering and Systems

Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 223 Seiten

Erscheinungsdatum: 18.07.2013

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Architecting Dependable Systems VII

Produktform: Buch / Einband - flex.(Paperback)


Here are papers based on selected contributions to the Workshop on Architecting Dependable Systems (WADS 2009), and invited papers by renowned experts. Covers mobile and ubiquitous systems, architecting systems, fault management and experience and vision.

Verlag: Springer Berlin, Auflage 1, 324 Seiten

Erscheinungsdatum: 16.11.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 169 Seiten

Erscheinungsdatum: 10.02.2011

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Grid and Cooperative Computing - GCC 2005

4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 1203 Seiten

Erscheinungsdatum: 24.11.2005

160,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 219 Seiten

Erscheinungsdatum: 30.05.2006

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Modelling Foundations and Applications

6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 364 Seiten

Erscheinungsdatum: 01.06.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 215 Seiten

Erscheinungsdatum: 01.12.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Advances in Software Engineering Techniques

4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 276 Seiten

Erscheinungsdatum: 16.01.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel