Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Formal Methods in Computer-Aided Design
    Formal Methods in Computer-Aided Design
    John W. O’Leary
    Springer Vieweg
    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
    Martin Knakkergaard
    OXFORD UNIV PR
    Buch
    BOD - 7 Tage

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

    268,75 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Oxford Handbook of Sound and Imagination, Volume 1
    Oxford Handbook of Sound and Imagination, Volume 1
    Martin Knakkergaard
    OXFORD UNIV PR
    Buch
    BOD - 7 Tage

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

    282,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1