Marko van Eekelenの本 - BookPine

Trends in Functional Programming Volume 6

Trends in Functional Programming Volume 6

Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Ricardo Pena

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

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

Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ...

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ...

Marko van Eekelen

Trends in Functional Programming - Volume 6

Trends in Functional Programming - Volume 6

Marko van Eekelen