Marko van Eekelen – författare
Visar alla böcker från författaren Marko van Eekelen.
5 produkter
5 produkter
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Häftad, Engelska, 2016
699 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
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Häftad, Engelska, 2011
719 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
Häftad, Engelska, 2012
659 kr
Skickas inom 10-15 vardagar
659 kr
Tillfälligt slut