*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Programs as Data Objects
    Programs as Data Objects
    Neil Jones
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used fo...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. ESOP ’88
    ESOP ’88
    Harald Ganzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 198...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic Programming and Automated Reasoning
    Logic Programming and Automated Reasoning
    Harald Ganzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

    93,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Harald Ganzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 7th International Conference on Rewriting T...

    93,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Deduction - CADE-16
    Automated Deduction - CADE-16
    Harald Ganzinger
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the papers presented at the Sixteenth International Conference on Automated ...

    93,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Informatik
    Informatik
    Harald Ganzinger
    Vieweg+Teubner Verlag
    Taschenbuch
    Print on Demand

    Codeselektion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

    49,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1