Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Christel Baier
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 21st International Conference on Tools and Algorithm...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Description Logic, Theory Combination, and All That
    Description Logic, Theory Combination, and All That
    Cesare Tinelli
    Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebra...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Deduction - CADE 29
    Automated Deduction - CADE 29
    Brigitte Pientka
    Springer
    Taschenbuch
    BOD - 2 Tage

    This open access book constitutes the proceedings of the 29th International Conference on Automat...

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