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
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
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
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Programs as Data Objects
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Produktform: E-Buch Text Elektronisches Buch in proprietärem
37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Programs as Data Objects
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Produktform: Buch / Einband - flex.(Paperback)
37,44 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Produktform: E-Buch Text Elektronisches Buch in proprietärem
33,26 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
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
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage