Marko van Eekelen – författare
Visar alla böcker från författaren Marko van Eekelen.
5 produkter
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
Häftad, 2016
719 kr
Lägg i varukorg
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
Häftad, 2010
739 kr
Lägg i varukorg
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, 2011
739 kr
Lägg i varukorg
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, 2012
679 kr
Lägg i varukorg