Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Algebraic and Logic Programming Algebraic and Logic Programming

    Algebraic and Logic Programming

    Giorgio Levi
    Springer, Springer
    24.08.1994

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Static Analysis Static Analysis

    Static Analysis

    Giorgio Levi
    Springer, Springer
    02.09.1998

    This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebraic and Logic Programming Algebraic and Logic Programming

    Algebraic and Logic Programming

    Helene Kirchner
    Springer, Springer
    19.08.1992

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Bernhard Steffen
    Springer, Springer
    07.01.2004

    This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Ch...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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

    TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pis

    Hartmut Ehrig
    Springer, Springer
    27.02.1987

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

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Foundations of Logic and Functional Programming Foundations of Logic and Functional Programming

    Foundations of Logic and Functional Programming

    Mauro Boscarol
    Springer, Springer
    27.04.1988

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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

    TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pis

    Hartmut Ehrig
    Springer, Springer
    27.02.1987

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

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Miedo a la libertad Miedo a la libertad

    Miedo a la libertad

    Giorgio Agamben
    Altamarea Ediciones
    28.02.2020

    1939, Europa es azotada por siniestros vientos de guerra. Mientras las divisiones acorazadas alem...

    Taschenbuch
    24,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1