Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 12 Treffer.


Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 438 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.07.2003

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

ESOP '88

2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 383 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.07.2005

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 440 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 14.07.2005

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

ESOP '88

2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 383 Seiten

Erscheinungsdatum: 09.03.1988

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 440 Seiten

Erscheinungsdatum: 01.07.1996

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 438 Seiten

Erscheinungsdatum: 23.06.1999

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Programs as Data Objects

Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 325 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.06.2005

37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Programs as Data Objects

Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 325 Seiten

Erscheinungsdatum: 01.03.1986

37,44 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Vieweg & Teubner, 508 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.07.2013

33,26 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 404 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 12.07.2007

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel