Detailsuche

Grid  List

  1. Logic Programming and Automated Reasoning
    0 %
    Logic Programming and Automated Reasoning
    Harald Ganzinger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,89 €

    Jetzt 56,88 €Ebook
    Alle Preise inkl. MwSt
  2. Informatik
    0 %
    Informatik
    Harald Ganzinger
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 33,26 €

    Jetzt 33,25 €Ebook
    Alle Preise inkl. MwSt
  3. Automated Deduction - CADE-16
    0 %
    Automated Deduction - CADE-16
    Harald Ganzinger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,64 €

    Jetzt 56,63 €Ebook
    Alle Preise inkl. MwSt
  4. Informatik
    Informatik
    Johannes Buchmann
    Vieweg+Teubner, Vieweg+Teubner Verlag
    Taschenbuch
    Print on Demand

    Dieser Band erscheint aus Anlafi des sechzigsten Geburtstags von Gunter Hotz. Er enthiilt Arbeite...

    49,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic Programming and Automated Reasoning
    0 %
    Logic Programming and Automated Reasoning
    Harald Ganzinger
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. ESOP ’88
    0 %
    ESOP ’88
    Harald Ganzinger
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Rewriting Techniques and Applications
    0 %
    Rewriting Techniques and Applications
    Harald Ganzinger
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Programs as Data Objects
    Programs as Data Objects
    Harald Ganzinger
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    37,44 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Automated Deduction - CADE-16
    0 %
    Automated Deduction - CADE-16
    Harald Ganzinger
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1