Detailsuche

Grid  List

  1. FM 2015: Formal Methods
    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...

    83,29 €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: 51,09 €

    Jetzt 51,08 €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: 57,37 €

    Jetzt 57,36 €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: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  5. 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 of the 20th International Symposium on Formal Meth...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. 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 12th International Conference on DistributedComput...

    51,36 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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 of the 12th International Andrei P. Ershov Informa...

    53,49 €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