Knygos pagal Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Marko van Eekelen, Ugo Dal Lago

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

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

Marko van Eekelen, Olha Shkaravska

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

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

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Turime sandėlyje pas mūsų tiekėją

Į krepšelį