Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 1183 Treffer.


Reversible Computation

4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 241 Seiten

Erscheinungsdatum: 04.01.2013

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Aliasing in Object-Oriented Programming

Types, Analysis and Verification

Produktform: Buch / Einband - flex.(Paperback)


This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.

Verlag: Springer Berlin, Auflage 1, 515 Seiten

Erscheinungsdatum: 26.03.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

ECOOP - Object-Oriented Programming

21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 625 Seiten

Erscheinungsdatum: 27.07.2007

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Component-Based Software Engineering

10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 285 Seiten

Erscheinungsdatum: 29.06.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods and Stochastic Models for Performance Evaluation

Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 239 Seiten

Erscheinungsdatum: 12.06.2006

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 251 Seiten

Erscheinungsdatum: 19.07.2012

49,22 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Principles and Practice of Constraint Programing-CP 2013

19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 898 Seiten

Erscheinungsdatum: 21.08.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Component-Based Software Engineering

11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 351 Seiten

Erscheinungsdatum: 06.10.2008

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 620 Seiten

Erscheinungsdatum: 20.02.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Principles and Practice of Constraint Programming - CP 2007

13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 887 Seiten

Erscheinungsdatum: 06.09.2007

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel