Grid   List

  1. Tests and Proofs

    Tests and Proofs

    Laura Kovács
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 16...

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

    Intelligent Computer Mathematics

    Andrea Kohlhase
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    117,69 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Reachability Problems

    Reachability Problems

    Laura Kovács
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 18...

    62,05 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Integrated Formal Methods

    Integrated Formal Methods

    Nikolai Kosmatov
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This volume LNCS constitutes the refereed proce...

    139,09 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Tests and Proofs

    Tests and Proofs

    Karl Meinke
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 16...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Automated Reasoning

    Automated Reasoning

    Jasmin Blanchette
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume, LNAI 13385, constitutes the refere...

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  7. Mikrohullámú Sütés kezd¿knek

    Mikrohullámú Sütés kezd¿knek

    Laura Kovács
    Laura Kovács
    Taschenbuch
    Print on Demand

    Üdvözöljük a mikrohullámú sütés izgalmas világá...

    47,35 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    The open access book 3-volume set LNCS 14570-14...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    The open access book 3-volume set LNCS 14570-14...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    The open access book 3-volume set LNCS 14570-14...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Laura Kovács
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    70,61 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Reachability Problems

    Reachability Problems

    Ana Sokolova
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 18...

    62,05 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga