Van Eekelen, Marko books & textbook
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Programming and Software Engineering)
van Eekelen, Marko Dal Lago, Ugo
Springer /2016-09-27 Paperback / 136 Pages
isbn-10: 3319465589 / isbn-13: 9783319465586
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7177)
Peña, Ricardo van Eekelen, Marko Shkaravska, Olha
Springer /2012-07-13 Paperback / 150 Pages
isbn-10: 3642324940 / isbn-13: 9783642324949
Functional Programming and Parallel Graph Rewriting (International Computer Science Series)
Plasmeijer, M. J. Van Eekelen, Marko Plasmeijer, Rinus Eekelen, M. C. J. D. Van
Addison-Wesley /1993T Hardcover / 592 Pages
isbn-10: 0201416638 / isbn-13: 9780201416633
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
Van Eekelen, Marko Geuvers, Herman Schmaltz, Julien Wiedijk, Freek
Springer /2011-08-02 Paperback / 394 Pages
isbn-10: 3642228623 / isbn-13: 9783642228629
Trends in Functional Programming Volume 6 (Trends in Functional Programming, 6)
Intellect Ltd /2013-07-07 Paperback
isbn-10: 184150176X / isbn-13: 9781841501765
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)
van Eekelen, Marko Shkaravska, Olha
Springer /2010-09-09 Paperback / 170 Pages
isbn-10: 3642153305 / isbn-13: 9783642153303
