*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
    TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
    Giorgio Levi
    Springer
    Taschenbuch
    BOD - 2 Tage

    Models and equality for logical programming.- Fifth generation computer project: Current research...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Foundations of Logic and Functional Programming
    Foundations of Logic and Functional Programming
    Mauro Boscarol
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume consists of some of the papers that were delivered during the workshop on 'Foundation...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebraic and Logic Programming
    Algebraic and Logic Programming
    Giorgio Levi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume constitutes the proceedings of the Fourth International Conference on Algebraic and L...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Static Analysis
    Static Analysis
    Giorgio Levi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Data-Flow Analysis.- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.- On a New...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Bernhard Steffen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- Hi...

    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. TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
    TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
    Giorgio Levi
    Springer
    Taschenbuch
    BOD - 2 Tage

    On the complexity of branching programs and decision trees for clique functions.- Average complex...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1