Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications

    Dependable Software Engineering: Theories, Tools, and Applications

    Martin Fränzle
    Springer International Publishing, Springer International Publishing
    06.10.2016

    This book constitutes the refereed proceedings of the Second International Symposium on Dependabl...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theoretical Aspects of Computing - ICTAC 2017 Theoretical Aspects of Computing - ICTAC 2017

    Theoretical Aspects of Computing - ICTAC 2017

    Deepak Kapur
    Springer International Publishing, Springer Nature Switzerland
    17.09.2017

    This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...

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

    Automated Deduction - CADE-11

    Deepak Kapur
    Springer Berlin Heidelberg
    27.05.1992

    This volume contains the papers presented at the EleventhInternational Conference on Automated De...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Reasoning Automated Reasoning

    Automated Reasoning

    Stéphane Demri
    Springer International Publishing, Springer International Publishing
    04.08.2014

    This book constitutes the refereed proceedings of the 7th International Joint Conference on Autom...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Mathematics Computer Mathematics

    Computer Mathematics

    Deepak Kapur
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 80,24 €

    Jetzt 69,54 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1