Home Advanced Search

Advanced Search - Page 1

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ugo Dal Lago, Paolo Parisen Toldin (auth.), Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.)
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ugo Dal Lago, Paolo Parisen Toldin (auth.), Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.)
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (eds.)
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (eds.)
Trends in Functional Programming
  • PDF
  • English
  • Year: 2007
  • Author: Van Eekelen, Marko
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Maarten de Mol, Marko van Eekelen (auth.), Peter Achten, Pieter Koopman (eds.)
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Rinus Plasmeijer, Marko van Eekelen (auth.), Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
Functional Programming and Parallel Graph Rewriting
  • PDF
  • english
  • Year: 1993
  • Author: Rinus Plasmeijer, Marko van Eekelen
Clean Language Report 2.2
  • PDF
  • English
  • Year: 2011
  • Author: Rinus Plasmeijer, Marko van Eekelen, John van Groningen
search