*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Programming Languages: Implementations, Logics and Programs
    Programming Languages: Implementations, Logics and Programs
    Manuel Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the Seventh International Symposium on Programming Langu...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Programming Language Implementation and Logic Programming
    Programming Language Implementation and Logic Programming
    Manuel Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume constitutes the proceedings of the 6th International Symposium on Programming Languag...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Static Analysis
    Static Analysis
    Manuel Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Static Program Analysis via 3-Valued Logic.- Open Modeling in Multi-stakeholder Distributed Syste...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Practical Aspects of Declarative Languages
    Practical Aspects of Declarative Languages
    Manuel Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Building the World from First Principles: Declarative Machine Descriptions and Co...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Functional and Logic Programming
    Functional and Logic Programming
    Jacques Garrigue
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logic-Based Program Synthesis and Transformation
    Logic-Based Program Synthesis and Transformation
    Manuel V Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th Internation...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Prolog: The Next 50 Years
    Prolog: The Next 50 Years
    David S. Warren
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th annive...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Static Analysis
    Static Analysis
    Manuel V. Hermenegildo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Anal...

    87,73 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1