Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 77 Treffer.


5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 388 Seiten

Erscheinungsdatum: 01.06.1980

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Künstliche Intelligenz

Frühjahrsschule Teisendorf, 15.–24. März 1982

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 387 Seiten

Erscheinungsdatum: 01.12.1982

54,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

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

Verlag: Springer Berlin, 248 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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

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

Verlag: Springer Netherland, 335 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

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

Verlag: Springer Netherland, 434 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 248 Seiten

Erscheinungsdatum: 01.06.1986

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

320,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel