Marko Van Eekelen - Böcker

Visar alla böcker från författaren Marko Van Eekelen.

5 produkter

Kategorier

5 produkter

Trends in Functional Programming Volume 6

Av Marko Van Eekelen

Häftad, Engelska, 2013

659 kr

Tillfälligt slut

Foundational and Practical Aspects of Resource Analysis

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

Av Marko van Eekelen, Ugo Dal Lago m. fl

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

Av Marko van Eekelen, Olha Shkaravska m. fl

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

Av Marko Van Eekelen, Herman Geuvers m. 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

Av Ricardo Peña, Marko van Eekelen m. fl

Häftad, Engelska, 2012

679 kr

Skickas inom 10-15 vardagar