Ihre Suche ergab 12 Treffer.
The Seventeen Provers of the World
Foreword by Dana S. Scott
Produktform: E-Buch Text Elektronisches Buch in proprietärem
58,84 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
The Seventeen Provers of the World
Foreword by Dana S. Scott
Produktform: Buch / Einband - flex.(Paperback)
58,84 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
128,39 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
128,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, 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
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage