Grid   List

  1. Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Nikolaj Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Nikolaj Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 18...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. FM 2015: Formal Methods

    FM 2015: Formal Methods

    Nikolaj Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    Nikolaj Bjorner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This bookconstitutes the proceedings of the 12t...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    Nikolaj Bjorner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the proceedings of the 12t...

    51,36 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank de Boer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

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