11 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for Marko Van Eekelen

  1. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Marko Van Eekelen | Ugo Dal Lago
    Foundational and Practical Aspects of Resource Analysis
    4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
    09/2016
    Springer
    9783319465593 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Interactive Theorem Proving - Springer
    Marko Van Eekelen | Herman Geuvers | Julien Schmaltz
    Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    08/2011
    Springer
    9783642228636 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Ricardo Peña | Marko Van Eekelen | Olha Shkaravska
    Foundational and Practical Aspects of Resource Analysis
    Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
    07/2012
    Springer
    9783642324956 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  4. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Marko Van Eekelen | Olha Shkaravska
    Foundational and Practical Aspects of Resource Analysis
    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    09/2010
    Springer
    9783642153310 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Marko Van Eekelen | Olha Shkaravska
    Foundational and Practical Aspects of Resource Analysis
    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    09/2010
    1st EDN1st Edition
    Springer
    9783642153303 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Interactive Theorem Proving - Springer
    Marko Van Eekelen | Herman Geuvers | Julien Schmaltz
    Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    08/2011
    1st EDN1st Edition
    Springer
    9783642228629 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Marko Van Eekelen | Ugo Dal Lago
    Foundational and Practical Aspects of Resource Analysis
    4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
    09/2016
    Springer
    9783319465586 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Trends in Functional Programming Volume 6 - Intellect Books
    Marko Van Eekelen
    Trends in Functional Programming Volume 6
    06/2005
    1st EDN1st Edition
    Intellect Books
    9781841509907 (ISBN)
    E-Book
    ePUB
    Other editions
    €42.99
    Available for download
  9. Cover: Foundational and Practical Aspects of Resource Analysis - Springer
    Ricardo Peña | Marko Van Eekelen | Olha Shkaravska
    Foundational and Practical Aspects of Resource Analysis
    Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
    07/2012
    Springer
    9783642324949 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  10. This image is currently not available.
    Marko Van Eekelen
    Trends in Functional Programming Volume 6
    07/2013
    Intellect Books
    9781841501765 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.70
    Shipment within 3-4 weeks
  11. This image is currently not available.
    Rinus Plasmeijer | Marko Van Eekelen | Marco van Ekelen
    Functional Programming and Parallel Graph Rewriting
    04/1993
    Addison Wesley
    9780201416633 (ISBN)
    Book
    Paperback/Softback
    €32.13
    Exhausted; no reprint