Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 1183 Treffer.


Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 272 Seiten

Erscheinungsdatum: 14.01.2005

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Software Language Engineering

Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 417 Seiten

Erscheinungsdatum: 23.02.2011

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 341 Seiten

Erscheinungsdatum: 09.01.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Ada 2005 Reference Manual. Language and Standard Libraries

International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 765 Seiten

Erscheinungsdatum: 22.12.2006

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 339 Seiten

Erscheinungsdatum: 04.01.2011

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Practical Aspects of Declarative Languages

10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 342 Seiten

Erscheinungsdatum: 18.12.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 414 Seiten

Erscheinungsdatum: 29.09.2009

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Self-Sustaining Systems

First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 157 Seiten

Erscheinungsdatum: 22.10.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

ECOOP 2009 -- Object-Oriented Programming

23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 631 Seiten

Erscheinungsdatum: 30.06.2009

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Tools for Practical Software Verification

International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 183 Seiten

Erscheinungsdatum: 30.11.2012

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel