Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 1183 Treffer.


Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 405 Seiten

Erscheinungsdatum: 19.09.2005

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 430 Seiten

Erscheinungsdatum: 06.10.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Applications of Graph Transformations with Industrial Relevance

Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 594 Seiten

Erscheinungsdatum: 15.10.2008

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Berlin, Auflage 1, 527 Seiten

Erscheinungsdatum: 03.06.2011

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Software Engineering for Resilient Systems

Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 181 Seiten

Erscheinungsdatum: 10.08.2012

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Runtime Verification

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 458 Seiten

Erscheinungsdatum: 11.05.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 404 Seiten

Erscheinungsdatum: 22.04.2009

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Analytical and Stochastic Modeling Techniques and Applications

19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 303 Seiten

Erscheinungsdatum: 21.05.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Berlin, Auflage 1, 267 Seiten

Erscheinungsdatum: 06.11.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Middleware 2005

ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 454 Seiten

Erscheinungsdatum: 21.11.2005

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel