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 Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 contributions in this volume cover a wide range of topics from theory, formal aspects of functional progra...
    45,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011....
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Foundational and Practical Aspects of Resource Analysis
    Foundational and Practical Aspects of Resource Analysis
    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Foundational and Practical Aspects of Resource Analysis
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Practical Aspects of Resource Analysis,FOPARA 2015, held in London, UK, in April 2015. The 6 papersp...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Foundational and Practical Aspects of Resource Analysis
    Foundational and Practical Aspects of Resource Analysis
    Marko van Eekelen
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Nicht lieferbar
    This book constitutes the proceedings of the 4th InternationalWorkshop on Foundational and Practical Aspects of Resource Analysis,FOPARA 2015, held in London, UK, in April 2015. The 6 papersp...
    54,07 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>