Profisuche

nikolaj bjørner

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 of the 23rd International Conference on Automated ...

    53,49 €
    Alle Preise inkl. MwSt
  2. Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. 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 18th International Conference on Logic for Programmi...

    53,49 €
    Alle Preise inkl. MwSt
  4. 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...

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

    50,28 €
    Alle Preise inkl. MwSt
  6. FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank de Boer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    Nikolaj Bjorner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 16-20

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

    51,36 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1