*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    Mark D. Aagaard
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Compu...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Mark Aagaard
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume is the proceedings of the 13th International Conference on Theo­ rem Proving in Highe...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Oxford Handbook of Sound and Imagination, Volume 2
    Oxford Handbook of Sound and Imagination, Volume 2
    Mark Grimshaw-Aagaard
    OXFORD UNIV PR
    Buch
    BOD - 7 Tage

    Whether social, cultural, or individual, the act of imagination always derives from a pre-existin...

    262,70 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Oxford Handbook of Sound and Imagination, Volume 1
    Oxford Handbook of Sound and Imagination, Volume 1
    Mark Grimshaw-Aagaard
    OXFORD UNIV PR
    Buch
    BOD - 7 Tage

    Whether social, cultural, or individual, the act of imagination always derives from a pre-existin...

    275,31 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1