mehr als bücher

Grid  List

  1. ESOP ’88
    ESOP ’88
    Harald Ganzinger
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Logic Programming and Automated Reasoning
    Logic Programming and Automated Reasoning
    Harald Ganzinger
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Harald Ganzinger
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeRewrite-based automated reasoning: Challenges ahead.- Fine-grained concurrent comple...

    53,49 €*
  4. Programs as Data Objects
    Programs as Data Objects
    Harald Ganzinger
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeStrictness analysis and polymorphic invariance.- Convergent term rewriting systems c...

    37,44 €*
  5. Informatik
    Informatik
    Harald Ganzinger
    Springer Vieweg
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Codeselektion. 121 Michael J. Fischer, Sophia A. Paleologou: Decision Making in the Presence of N...

    49,99 €*
  6. Automated Deduction - CADE-16
    Automated Deduction - CADE-16
    Harald Ganzinger
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1