Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Deine Suchergebnisse für

Filtern und Sortieren

Sortierung
Meine Präferenzen

Mit einem Klick zum persönlichen Suchergebnis
Kategorie
Sprachen (1)
Preis
Lieferbarkeit
Autorinnen / Autoren
Reihen
Click & Collect:

matt kaufmann: 2 Treffer

  • Interactive Theorem Proving Produktbild: Interactive Theorem Proving

    Interactive Theorem Proving
    Band 6172

    Buch (Taschenbuch) + weitere

    Fr. 147.00

    Versandfertig innert 6 Wochen

  • Computer-Aided Reasoning Produktbild: Computer-Aided Reasoning

    Computer-Aided Reasoning
    Band 4

    eBook (PDF) + weitere

    Fr. 250.90

    Sofort per Download lieferbar

von 2 Treffern werden angezeigt