Hoppa till sidans huvudinnehåll

Marko van Eekelen – författare

Visar alla böcker från författaren Marko van Eekelen.
5 produkter
Marko van Eekelen, Ugo Dal Lago - Foundational and Practical Aspects of Resource Analysis, Häftad

Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

AvMarko van Eekelen,Ugo Dal Lago

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Marko van Eekelen, Olha Shkaravska - Foundational and Practical Aspects of Resource Analysis, Häftad

Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

AvMarko van Eekelen,Olha Shkaravska

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

AvMarko Van Eekelen,Herman Geuversm. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Ricardo Peña, Marko van Eekelen, Olha Shkaravska - Foundational and Practical Aspects of Resource Analysis, Häftad

Foundational and Practical Aspects of Resource Analysis

Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

AvRicardo Peña,Marko van Eekelenm. fl.

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

Marko Van Eekelen - Trends in Functional Programming Volume 6, Häftad

Trends in Functional Programming Volume 6

AvMarko Van Eekelen

Häftad, Engelska, 2013

659 kr

Tillfälligt slut