Marko van Eekelen – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

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
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
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
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
Trends in Functional Programming Volume 6
AvMarko Van Eekelen
Häftad, Engelska, 2013
659 kr
Tillfälligt slut