Profisuche

marko van eekelen

Grid   List

  1. Interactive Theorem Proving

    Interactive Theorem Proving

    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the Second International Conference on Interact...

    53,49 €
    Alle Preise inkl. MwSt
  2. Trends in Functional Programming Volume 6

    Trends in Functional Programming Volume 6

    Marko Van Eekelen
    Intellect Books
    Ebook
    Sofort lieferbar

    This book presents latest research developments in the area of functional programming. The contri...

    44,99 €
    Alle Preise inkl. MwSt
  3. Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Ricardo Peña
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed post-proceedings of the Second International Workshop on Found...

    48,14 €
    Alle Preise inkl. MwSt
  4. Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
  5. Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Marko Van Eekelen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 4th InternationalWorkshop on Foundational and Prac...

    53,49 €
    Alle Preise inkl. MwSt
  6. Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Ricardo Peña
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the refereed post-proceedings of the Second International Workshop on Found...

    49,22 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Marko van Eekelen
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Bezug 11-15

    This book constitutes the proceedings of the 4th InternationalWorkshop on Foundational and Prac...

    64,23 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1