Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Rewriting Techniques and Applications

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

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

Verlag: Springer Berlin, 348 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.07.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Rewriting Techniques and Applications

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 348 Seiten

Erscheinungsdatum: 14.05.1997

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Term Rewriting

French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

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

Verlag: Springer Berlin, 228 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.07.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Term Rewriting

French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 228 Seiten

Erscheinungsdatum: 25.04.1995

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Constraints in Computational Logics: Theory and Applications

International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

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

Verlag: Springer Berlin, 316 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.08.2003

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

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

Verlag: Springer Berlin, 522 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.05.2003

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Constraints in Computational Logics: Theory and Applications

International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 316 Seiten

Erscheinungsdatum: 18.04.2001

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 522 Seiten

Erscheinungsdatum: 04.07.2001

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Rewriting, Computation and Proof

Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

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

Verlag: Springer Berlin, 276 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.08.2007

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Rewriting, Computation and Proof

Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 276 Seiten

Erscheinungsdatum: 22.06.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel