Вы здесь

Главная

Van Eekelen M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compositional Model-Views with Generic Graphical User Interfaces 2004 Achten P., Van Eekelen M., Plasmeijer R. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Graph Rewriting Semantics for Functional Programming Languages 1997 Van Eekelen M., Smetsers S., Plasmeijer R. Lecture Notes in Computer Science 18.07.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/4th International Workshop, FOPARA 2015, London, UK, April 2015 2016 Lecture Notes in Computer Science
  1. Van Eekelen M.
  2. Lago U. D.
 09.11.2016
СБ Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/2nd International Workshop, FOPARA 2011, Madrid, Spain, May 2011 2012 Lecture Notes in Computer Science
  1. Pena R.
  2. Van Eekelen M.
  3. Shkaravska O.
 03.09.2012
СБ Interactive Theorem Proving: Proc./2nd International Conference, ITP 2011, Berg en Dal, The Netherlands, August 2011 2011 Lecture Notes in Computer Science
  1. Van Eekelen M.
  2. Geuvers H.
  3. Schmaltz J.
  4. Wiedijk F.
 18.10.2011
СБ Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 2009 2010 Lecture Notes in Computer Science
  1. Van Eekelen M.
  2. Shkaravska O.
 12.01.2011