Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Theory and Applications of Satisfiability Testing -- SAT 2015
    Theory and Applications of Satisfiability Testing -- SAT 2015
    Sean Weaver
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 18th International Conference on Theory and...

    68,48 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Reasoning
    Automated Reasoning
    Marijn J. H. Heule
    Springer
    Taschenbuch
    BOD - 2 Tage

    Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the p...

    79,17 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Reasoning
    Automated Reasoning
    Christoph Benzmüller
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Join...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marijn Heule
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Inte...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marijn Heule
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Inte...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marijn Heule
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st Inte...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1