mehr als bücher

Grid  List

  1. FM 2015: Formal Methods
    FM 2015: Formal Methods
    Nikolaj Bjørner
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Distributed Computing and Internet Technology
    Distributed Computing and Internet Technology
    Nikolaj Bjorner
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    51,36 €*
  3. Automated Deduction - CADE-23
    Automated Deduction - CADE-23
    Nikolaj Bjørner
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Nikolaj Bjørner
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  5. Perspectives of System Informatics
    Perspectives of System Informatics
    Nikolaj Bjørner
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    53,49 €*
  1. 1