Detailsuche

Grid  List

  1. FM 2015: Formal Methods
    0 %
    FM 2015: Formal Methods
    Nikolaj Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

    Unser bisheriger Preis:ORGPRICE: 83,29 €

    Jetzt 83,28 €Ebook
    Alle Preise inkl. MwSt
  2. Distributed Computing and Internet Technology
    0 %
    Distributed Computing and Internet Technology
    Nikolaj Bjorner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing...

    Unser bisheriger Preis:ORGPRICE: 49,94 €

    Jetzt 49,93 €Ebook
    Alle Preise inkl. MwSt
  3. Automated Deduction -- CADE-23
    0 %
    Automated Deduction -- CADE-23
    Nikolaj Bjorner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 23rd International Conference on Automated ...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €Ebook
    Alle Preise inkl. MwSt
  4. Perspectives of System Informatics
    0 %
    Perspectives of System Informatics
    Nikolaj Bjorner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informa...

    Unser bisheriger Preis:ORGPRICE: 55,82 €

    Jetzt 55,81 €Ebook
    Alle Preise inkl. MwSt
  5. FM 2015: Formal Methods
    0 %
    FM 2015: Formal Methods
    Frank de Boer
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Distributed Computing and Internet Technology
    0 %
    Distributed Computing and Internet Technology
    Nikolaj Bjorner
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the proceedings of the 12th International Conference on DistributedComput...

    Unser bisheriger Preis:ORGPRICE: 51,36 €

    Jetzt 51,35 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Perspectives of System Informatics
    0 %
    Perspectives of System Informatics
    Nikolaj Bjørner
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informa...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Automated Deduction -- CADE-23
    0 %
    Automated Deduction -- CADE-23
    Nikolaj Bjørner
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 23rd International Conference on Automated ...

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1