*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Handbuch Kreislaufwirtschaft
    Handbuch Kreislaufwirtschaft
    Sascha Titze
    Linde Verlag
    Buch
    Sofort lieferbar

    Das lineare Wirtschaftsmodell führt zu steigendem Ressourcenverbrauch, Müllbergen, hohen CO2-Emis...

    139,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting, Computation and Proof
    Rewriting, Computation and Proof
    Hubert Comon-Lundh
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Frontiers of Combining Systems
    Frontiers of Combining Systems
    Helene Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Paper.- Combining Logic and Optimization in Cutting Plane Theory.- Session 1.- Towards Co...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Algebraic and Logic Programming
    Algebraic and Logic Programming
    Helene Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid impl...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Trees in Algebra and Programming - CAAP ’96
    Trees in Algebra and Programming - CAAP ’96
    Helene Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in A...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Algebraic and Logic Programming
    Algebraic and Logic Programming
    Helene Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the proceedings of the ThirdInternational Conferenceon Algebraic and Logic...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Automated Deduction - CADE-15
    Automated Deduction - CADE-15
    Claude Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    Helene Kirchner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic...

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