Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Rewriting, Computation and Proof Rewriting, Computation and Proof

    Rewriting, Computation and Proof

    Hubert Comon-Lundh
    Springer, Springer
    22.06.2007

    Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal to Practical Security Formal to Practical Security

    Formal to Practical Security

    Véronique Cortier
    Springer, Springer
    25.05.2009

    The security issues set by the global digitization of our society have had, and will continue to ...

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

    Automated Deduction - CADE-15

    Claude Kirchner
    Springer, Springer
    24.06.1998

    This book constitutes the refereed proceedings of the 15th International Conference on Automated ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Samson Abramsky
    Springer, Berlin, Springer

    ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Samson Abramsky
    Springer, Berlin, Springer

    ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 129,99 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1