Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Trends in Functional Programming, Volume 6 van Eekelen, Marko by van Eekelen, Marko Material type: Text; Format: print ; Literary form: Not fiction Publication details: Intellect Ltd. ; 2007 Online access: Click here to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. by Eekelen, Marko Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Eekelen, Marko Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG