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 Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 21...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Frontiers of Combining Systems

    Frontiers of Combining Systems

    Cesare Tinelli
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Description Logic, Theory Combination, and All That

    Description Logic, Theory Combination, and All That

    Carsten Lutz
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift has been put together on the o...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Description Logic, Theory Combination, and All That

    Description Logic, Theory Combination, and All That

    Carsten Lutz
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift has been put together on the o...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Cesare Tinelli
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 21...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  6. Automated Deduction ¿ CADE 29

    Automated Deduction ¿ CADE 29

    Cesare Tinelli
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedin...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga