Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. FM 2015: Formal Methods

    FM 2015: Formal Methods

    Nikolaj Bjørner
    Springer Verlag GmbH 02.06.2015 - 2015
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    Nikolaj Bjorner
    Springer Verlag GmbH 25.12.2015 - 2015
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    50,40 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjørner
    Springer Verlag GmbH 14.12.2019 - 2019
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Automated Deduction - CADE-23
    -0 %

    Automated Deduction - CADE-23

    Nikolaj Bjørner
    Springer Verlag GmbH 12.07.2011 - 2011
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 88,31 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Logic for Programming, Artificial Intelligence, and Reasoning
    -0 %

    Logic for Programming, Artificial Intelligence, and Reasoning

    Nikolaj Bjørner
    Springer Verlag GmbH 24.02.2012 - 2012
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 73,49 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1