Grid   List

  1. Interactive Theorem Proving

    Interactive Theorem Proving

    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Serge Autexier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the joint refereed procee...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. The Seventeen Provers of the World

    The Seventeen Provers of the World

    Freek Wiedijk
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Commemorating the 50th anniversary of the first...

    58,84 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Types for Proofs and Programs

    Types for Proofs and Programs

    Herman Geuvers
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    These proceedings contain a refereed selection ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the Six...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Logics and Type Systems in Theory and Practice

    Logics and Type Systems in Theory and Practice

    Venanzio Capretta
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Herman Geuvers o...

    128,39 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Serge Autexier
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the joint refereed procee...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Types for Proofs and Programs

    Types for Proofs and Programs

    Freek Wiedijk
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    These proceedings contain a refereed selection ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the Six...

    106,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Logics and Type Systems in Theory and Practice

    Logics and Type Systems in Theory and Practice

    Venanzio Capretta
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This Festschrift, dedicated to Herman Geuvers o...

    128,39 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga