Erweiterte Suche

Grid  List

  1. Perspectives of System Informatics Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer International Publishing, Springer International Publishing
    14.12.2019

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Distributed Computing and Internet Technology Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    Nikolaj Bjorner
    Springer International Publishing, Springer International Publishing
    25.12.2015

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

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. FM 2015: Formal Methods FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank de Boer
    Springer International Publishing, Springer International Publishing
    02.06.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Deduction -- CADE-23 Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Nikolaj Bjørner
    Springer, Berlin, Springer Berlin Heidelberg, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Nikolaj Bjørner
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the proceedings of the 18th International Conference on Logic for Programmi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1